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...

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...

À 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...

**Politique de confidentialité**: **Responsable procédure et banc de tests F/H/X**: - Date de publication: 12 déc. 2024 - Réf. Non: 523257 - Emplacement: Aix en Provence, FR **Bienvenue chez Eviden, acteur clé du numérique de prochaine génération et leader mondial du cloud, du calcul avancé et de la sécurité !** Eviden opère dans tous les...

Vous êtes Testeur(se) et souhaitez relever de nouveaux défis dans le domaine des tests automatisés ? Rejoignez notre équipe et **jouez un rôle clé** dans la réussite des projets de nos clients ! En tant que **Testeur(se) Automatisé**, vous aurez pour responsabilités de: - **Collaborer étroitement avec les équipes métier et les développeurs**...

Une entreprise du secteur défense recherche un(e) Ingénieur banc de test électronique / IVVQ à Aix-en-Provence. Le candidat idéal est titulaire d'un diplôme d'ingénieur et possède plus de 6 ans d'expérience dans les activités de banc de test hardware. Il doit maîtriser l'architecture des bancs de tests et les outils de National Instruments, tout...