Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)

Langue

anglais

Auteur

BEHNIA ; WAESELYNCK

Résumé / Abstract

Cet article présente une méthode de définition des critères de test pour un logiciel développé par la méthode B. Il porte sur la définition des critères de test structurel de modèles B. Notre approche unifie pour ces modèles, des critères basés sur la couverture des prédicats avant-après (définis pour les spécifications), et des critères basés sur la couverture du graphe de contrôle (définis pour les programmes).