CONSTITUTION D’UN BANC DE TEST POUR L’INTERFACE GRAPHIQUE DE L’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 :
- Autoformation B et Atelier B.
- Prise en main des principes de test automatique d’interfaces graphiques (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.