CRÉATION D’UNE API DE GESTION DE PROJETS DE DÉVELOPPEMENT AVEC LA MÉTHODE B

Objectif : Développer une bibliothèque qui regroupe l’ensemble des fonctionnalités actuelles pour manipuler un projet B, afin de pouvoir remplacer, dans l’interface graphique, la couche d’appel à l’interface en ligne de commandes par des appels directs à cette bibliothèque.

Contexte :

La méthode B est utilisée pour développer formellement des composants logiciels et des modèles de systèmes critiques. Atelier B est un environnement de développement intégré (IDE) pour la méthode B qui est maintenue et développée par CLEARSY. Atelier B fournit à la fois une interface graphique et une interface en ligne de commande pour gérer le développement. Il n’existe actuellement pas d’API permettant d’accéder programmatiquement à l’état d’un projet pour le consulter ou le manipuler. En effet, l’interface graphique opère en créant des processus qui instancient l’interface en ligne de commandes et en communiquant avec ces processus.

Le stage est structuré comme suit :

• Rédiger une spécification détaillée de l’API à développer : celle-ci sera un entrant pour développer la bibliothèque et son banc de test. Le stagiaire aura accès à la documentation de l’interface en ligne de commande actuelle.
• Définir un calendrier par étapes de la mise en œuvre de la bibliothèque, de sa documentation, et de son banc de test (développement itératif).
• Réalisation des différentes étapes du calendrier.
• Créer une nouvelle interface en ligne de commandes.

Contraintes technologiques :

• Le stagiaire devra savoir naviguer confortablement dans le code C et C++ existant.
• La bibliothèque devra être accessible depuis l’interface graphique (C++), et avoir une efficacité comparable à celle de l’interface en ligne de commandes actuelle.
• La bibliothèque sera amenée à accéder au système de fichiers et à faire des appels à des outils externes (communication interprocessus).
• La bibliothèque devra être développée dans un langage pouvant être compilé et exécuté dans des environnements Windows, Linux, macOS, en ayant un minimum de dépendances externes.
• L’utilisation d’IA générative est possible lorsque les résultats obtenus peuvent être validés.

Compétences recherchées :

• Solides connaissances de C/C++
• Rigueur et autonomie