Presentation / Exposé :
Génération automatique de séquences de test
par la technologie de la vérification.
Conférence
MOVEP'96
Modélisation et VErification des
Processus Parallèles.
18-21 juin 1996. Ecole Centrale de Nantes
Fichier PostScript (264K)
Thierry Jéron. Pampa/IRISA/INRIA
Dans cette présentation, nous décrivons une partie de
nos travaux sur la génération automatique de séquences de tests.
Après une description succinte du problème,
nous présentons le modèle des systèmes de transition à entrée/sortie (IOLTS)
servant à modéliser la spécification, l'implantation sous test,
l'objectif de test et les cas de tests produits.
Nous décrivons ensuite par l'exemple les algorithmes de génération
et présentons les résultats théoriques.
Enfin nous décrivons quelques aspects pratiques du test
ainsi que les résultats obtenus lors d'une expérimentation.