Stage - Developpement Banc de Tests Automatise - Aix-en-Provence, France - CLEARSY

CLEARSY

Entreprise vérifiée

Aix-en-Provence, France

il y a 2 semaines

Posté par:

Sophie Dupont

beBee Recruiter

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

Rémunération : à partir de 1 650,00€ par mois

Avantages:

- Horaires flexibles
- Prise en charge du transport quotidien

Programmation:

- Du lundi au vendredi
- Travail en journée

Lieu du poste : En présentiel