Le but de ce projet est d'améliorer la qualité, la sûreté et la sécurité des logiciels critiques écrits en Ada utilisés dans l'industrie civile et militaire, en maximisant la détection d'erreurs dans le code source. Le livrable principal sera un démonstrateur permettant la génération automatique de tests pour Ada. Le caractère innovant du projet réside dans la collaboration de différentes techniques de génération de tests individuellement à l'état de l'art : génération guidée par les types de données, fuzzing, exécution symbolique. À ce jour, le langage Ada, très utilisé dans les entités du groupe Thales, ne bénéficie pas de ces techniques. Leur combinaison permettra d'atteindre une large couverture du code source et des spécifications par les tests, tout en minimisant l'effort humain. Le projet s'attachera à tirer le meilleur parti de chacune de ces techniques pour le langage Ada, qui offre un contexte particulièrement propice par la richesse de ses types de données et la présence d'un langage de spécification interne.