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

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

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

Mission Nous recherchons un Ingénieur Tests Automatisés pour rejoindre notre équipe de développement. Vous serez en charge de réaliser les tests d'intégration et les tests système automatisés pour nos applications.

Présentation du posteDIGWAY recherche un Développeur de Tests Automatisés pour rejoindre son équipe de développement de logiciels de santé connectée. Vous serez chargé de développer et de maintenir des tests automatisés pour garantir la qualité et la performance des applications de santé.Vos missionsDévelopper et maintenir des tests automatisés...

Contexte du posteDans le cadre de notre équipe de développement, nous recherchons un Développeur de Tests Automatisés pour contribuer à la qualité de nos solutions en santé connectée.MissionsConcevoir et développer des tests automatisés pour garantir la qualité et la performance de nos applications de santé.Analyser les résultats des tests et...

#JoinOurCrew Mission Vous rejoindrez notre service R&D de la division Navigation et serez rattaché à léquipe électronique (qui compte un responsable, 6 ingénieurs, 1 apprenti et un technicien), en interaction avec des équipes multi-métiers (mécanique, algorithmie, software, capteurs, qualification). Vos missions :   L'objectif de ce...

MissionNous sommes à la recherche d'un ingénieur testeur automatisé pour rejoindre notre équipe de développement logiciel. En tant que spécialiste en assurance qualité logicielle, vous serez responsable de mesurer et de garantir la qualité logicielle tout au long du cycle de développement.FonctionVos principales missions consisteront à :Rédiger la...

MissionNous recherchons un ingénieur en tests automatisés pour rejoindre notre équipe d'experts en technologies de l'information et de la communication.Compétences requisesPour réussir dans ce rôle, vous devez avoir une solide expérience en tests automatisés, ainsi que des compétences en développement logiciel et en analyse de...

**L'offre**: **Quel sera votre premier challenge ?** - Mise en place d’un plan de stratégie de test, - Rédaction de documentation technique, - Planification des revues de conception des cas de tests, - Accompagnement de l’équipe sur la réalisation de cas de tests, - Réalisation de la campagne manuelle et/ou automatisée, - Réalisation de documents...

Automatisation de TestsAlstom recherche un stagiaire pour travailler sur l'automatisation des tests de nos logiciels. Nous utilisons GitLab CI/CD pour automatiser nos pipelines.Votre objectif sera de poursuivre l'automatisation initiée lors d'un précédent stage, en prenant en compte les retours des utilisateurs et en étendant les pipelines...

place - Aix-en-Provence- , Francework_history Experience 2 à 5 ans CDI - dans le secteur IT-Télécoms**L'offre**: **Quel sera votre premier challenge ?** - Mise en place d’un plan de stratégie de test, - Rédaction de documentation technique, - Planification des revues de conception des cas de tests, - Accompagnement de l’équipe sur la réalisation...