1
Domaine d'application
2
Références normatives
2.1 Tests de conformité
2.2 Techniques de description formelle
3
Définitions
3.1 Termes d'autres normes apparentées
3.2 Termes définis dans la présente Recommandation
4
Abréviations
5
Concepts mathématiques et conventions de notation
5.1 Ensembles
5.2 Logique
5.3 Relations
5.4 Fonctions
6
La signification de la conformité
6.1 Introduction
6.2 Spécifications
6.3 Implémentations
6.4 Conformité d'une implémentation à une spécification formelle
7
Concepts de test
7.1 Introduction
7.2 Architecture de test
7.3 Modèle formel de l'architecture de test
7.4 Exécution des tests
8
Test de conformité
8.1 Introduction
8.2 Définition des tests de conformité
8.3 Génération de tests
8.4 Réduction de la taille de suite de tests
8.5 Couverture de défaut
8.6 Coût de suite de tests
9
Conformité
9.1 Introduction
9.2 Paragraphe 6: la signification de la conformité
9.3 Paragraphe 7: concepts de test
9.4 Paragraphe 8: test de conformité
Annexe A
A.1 Spécifications
A.2 Options d'implémentation et spécifications instanciées
A.3 Implémentations et modèles d'implémentations
A.4 Conformité par relations d'implémentation
A.5 Conformité par exigences
A.6 Architecture de test
A.7 Spécifications des tests
A.8 Références