Presentation / Exposé :
La génération de tests pour les protocoles,
à l'aide la technologie de la vérification
Conférence Software TESTING'96.
Organisé par le Cercle Fiabilité et Test
du
Club Génie Logiciel.
13-14 juin 1996. Espace Champerret.Paris
Fichier PostScript (236K)
Thierry Jéron. Pampa/IRISA/INRIA
Dans cette présentation nous décrivons nos travaux sur la génération de
séquences de tests pour les protocoles.
Le problème concerne le test de type boîte noire où un testeur
doit stimuler une implantation d'un protocole pour se prononcer sur
sa conformité par rapport à une spécification.
Ces travaux s'appuient sur l'utilisation de méthodes formelles
pour la modélisation de la spécification, de l'implantation,
des objectifs de tests et des séquences de tests
et pour la définition des relations entre ces objets.
Nous proposons un algorithme de génération de séquences de test
dont les principes sont issus du domaine de la vérification
à la volée de propriétés.
Cet algorithme a été développé dans un prototype
et expérimenté sur un protocole de taille industrielle.