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.

       

      Location
      • Aix en Provence
      • Paris
      • Strasbourg
      Duration 6 mois
      Level Bac +5

      Postuler à cette offre de stage d'ingénieur

      Pour postuler merci d’envoyer
      un CV et une lettre de motivation
      à l’adresse :

      stages-ingenieurs@clearsy.com