Stage - Developpement Banc de Tests Automatise - Aix-en-Provence, France - CLEARSY
Description
**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 formé d'un cœur, ensemble d'outils assurant les activités liées à la preuve logicielle, et d'interfaces humain-machine (IHM), permettant d'orchestrer les outils du cœur.Dans le cadre de sa démarche qualité logicielle, Clearsy cherche à mettre en place un banc de tests automatisé des IHM de l'Atelier B.
**Livrables attendus**:
- Documentation
- Banc de test
- Evaluation des différentes solutions
**Compétences recherchées**:
- C++/Qt
- Rigueur, autonomie, force de propositions
- Une première expérience avec l'outil Squish serait un plus
**Localisation** : Aix en Provence
**Durée** : 6 mois
**Niveau** : Bac +5
Type d'emploi : Temps plein, Stage
Salaire : à partir de 1 650,00€ par mois
Avantages:
- Prise en charge du transport quotidien
Programmation:
- Du lundi au vendredi
- Horaires flexibles
- Travail en journée
Lieu du poste : En présentiel
Plus d'emplois de CLEARSY
-
Extension Du Compilateur B Pour Permettre La
Aix-en-Provence, France - il y a 2 semaines
-
Stage - Developpement Banc de Tests Automatise
Aix-en-Provence, France - il y a 2 semaines
-
Extension Du Compilateur B Pour Permettre La
Aix-en-Provence, France - il y a 1 semaine
-
Assistant(E) Administratif Et Gestion
Lyon e, France - il y a 3 semaines
-
Stage - Developpement Banc de Tests Automatise
Aix-en-Provence, France - il y a 1 semaine
-
Developpement D'un Environnement Permettant de
Aix-en-Provence, France - il y a 1 semaine