AdaControl est un logiciel libre, écrit et diffusé par Adalog, permettant de vérifier l’application de règles de codage dans des programmes Ada.

Nature du travail

Plusieurs axes de développements sont envisagés autour d’AdaControl. Le travail à réaliser sera déterminé en accord avec le stagiaire, selon ses domaines d’intérêt et le temps disponible pour le stage.

Les principaux axes sont les suivants :

• Vérification et optimisation d’AdaControl. Mesure de performances, détermination de goulots d’étranglement, mesures correctives. Exécution d’AdaControl sur la suite de validation (ACATS).

• Développement d’une interface graphique avec GTK/Ada pour créer les fichiers de règles, lancer l’exécution et dépouiller les résultats. Etude de la possibilité de faire la même chose sous forme de plug-in Eclipse.

• Développement et test de nouvelles règles.

Connaissances requises (selon axe)

• Ada

• IHM, GTK, GTK/Ada

• Notions de compilation, ASIS.

Durée

3-4 mois ou plus.

Candidature par E-mail à : recrutement@adalog.fr