Stage - Developpement Banc de Tests Automatise

**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

Constitution d’un banc de test pour l’interface graphique de Atelier B **Objectif **:mettre en place un banc de test automatique pour cette interface graphique utilisant Ranorex et à l’intégrer dans le processus d’intégration continue gitlab de Atelier B. **Contexte**: La méthode B est utilisée pour développer formellement des composants...

**Objectif du stage **:Dans le pôle de validation formelles de données critiques, l’extraction des data du client est vérifiée manuellement. Afin d’accélérer le processus, il faut repenser et voir ce qui peut être automatisé pour tester et valider cette tâche. Le stage consistera à concevoir une nouvelle méthode afin de tester et vérifier...

**Objectif du stage **:Dans le pôle de validation formelles de données critiques, l’extraction des data du client est vérifiée manuellement. Afin d’accélérer le processus, il faut repenser et voir ce qui peut être automatisé pour tester et valider cette tâche. Le stage consistera à concevoir une nouvelle méthode afin de tester et vérifier...

À propos de nousNotre groupe est auservice de la transformation digitale des entreprisesdepuis 20 ans.De l'étude à la réalisation en passant par le conseil, nous travaillons sur des projets de refonte d'infrastructure, de Cloud, d'Intelligence artificielle, de Cybersécurité, d'équipements « Endpoint », de Smartcity ou encore en développement web et...

Nous poursuivons notre développement dans le Sud-Est et recrutons un(e)Ingénieur banc de test électronique / IVVQ (Intégration Vérification Validation Qualification) confirmépour l'un de nos clients dusecteur de la Défensesitué à Aix-en-Provence.Mission :Intégré à un plateau en charge de la réalisation de moyens d'essais dans le domaine de la...