CONSTITUTION D’UN BANC DE TEST POUR L’INTERFACE GRAPHIQUE DE L’ATELIER B
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 logiciels et des modèles de systèmes critiques (B événementiel).
Atelier B est un environnement de développement intégré (IDE) pour la méthode B et le B événementiel qui est maintenu et développé par CLEARSY.
Le banc de test d’Atelier B ne comporte actuellement pas de section dédiée à son interface graphique.
Le stage est structuré comme suit:
- Auto-formation B et Atelier B.
- Prise en main des principes de test automatique d’interfaces graphique (Squish, Ranorex).
- Mise en place d’un banc de test minimal et automatisé pour l’interface graphique d’Atelier B utilisant Ranorex.
- Validation du banc de test (insertion de régressions et vérification de la détection de ces régressions)
- Ajout de ce banc de test dans le pipeline gitlab d’intégration continue d’Atelier B.
- Extension incrémentale du banc de test aux différents composants de l’interface graphique.
Compétences recherchées :
- Bonnes connaissances de C++.
- Programmation d’interfaces graphiques avec Qt.
- Gestion de configuration avec Git.
Localisation : Aix, Paris ou Strasbourg
Durée : 6 mois
Niveau : Bac +5
Pour postuler merci d’envoyer un Cv et une Lettre de motivation à l’adresse :