Stage - Automatisation D’un Banc de Tests de

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

**La société** LANTEAS, PME de 20 collaborateurs, est éditeur de progiciels à destination des acteurs publics et spécialiste des services en ligne par internet au travers d'une gamme de produits basés sur un CRM et Wordpress pour la gestion des Subventions, de l'Enfance, de la Relation Usagers et des Collèges & Lycées. Nous sommes présents en...

**Politique de confidentialité**: **Automatisation des Tests - Stage F/H**: - Date de publication: 16 oct. 2025 - Réf. Non: 537650 - Emplacement: Aix en Provence, FR **À propos du Groupe Atos** Le Groupe Atos est un leader international de la transformation digitale avec près de 70 000 collaborateurs et un chiffre d’affaires annuel de près de 10...

À propos du Groupe AtosLe Groupe Atos est un leader international de la transformation digitale avec près de 70 000 collaborateurs et un chiffre d’affaires annuel de près de 10 milliards d’euros. Présent dans 67 pays, il exerce ses activités sous deux marques Atos pour les services et Eviden pour les produits. Numéro un européen de la...

Chez Atos, nous contribuons à façonner un avenir numérique enrichi par l'intelligence artificielle. Notre mission réunir les meilleurs talents, technologies et partenaires, pour faire progresser la transformation digitale au quotidien.Des environnements critiques aux services cloud et de cybersécurité, nous guidons nos clients pour les amener là où...