Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel AuGuSTe
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

Logiciels et brevets
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes