AuGuSTe - Test statistique de programmes C
Date de dernière version : 05 décembre 2005
Responsable :
VOISIN Frédéric
Le logiciel AuGuSTe (Automated Generation of Statistical Tests) est un logiciel de génération de tests statistiques, développé essentiellement en Objective Caml et utilisant des modules développés en C, Prolog, MuPAD et Java. Il a été écrit par Sandrine-Dominique Gouraud.
Le but du test logiciel est de vérifier qu'un logiciel sous test est conforme à ses spécifications initiales. Pour des logiciels industriels, la complexité du code interdit un test exhaustif de l'ensemble des entrées mais il faut toutefois proposer un ensemble significatif de tests qui permet d'évaluer la qualité des tests effcetués.
Pour en savoir plus: http://www.lri.fr/~fayolle/Auguste.html
Logiciel
Activités de recherche
Test formel basé sur les modèles
Membres
VOISIN Frédéric GOURAUD Sandrine
Equipe Vérification d'Algorithmes, Langages et Systèmes
