Table of Contents
1Scope
2Normativereferences
2.1Conformancetesting
2.2Formaldescriptiontechniques
3Definitions
3.1Termsfromotherrelatedstandards
3.2TermsdefinedinthisRecommendation
4Abbreviations
5Mathematicalconceptsandnotationconventions
5.1Sets
5.2Logic
5.3Relations
5.4Functions
6Themeaningofconformance
6.1Introduction
6.2Specifications
6.3Implementations
6.4Conformanceofanimplementationtoaformal
specification
7Testingconcepts
7.1Introduction
7.2Testarchitecture
7.3Formalmodelofthetestarchitecture
7.4Testexecution
8Conformancetesting
8.1Introduction
8.2Definitionofconformancetesting
8.3Testgeneration
8.4Testsuitesizereduction
8.5Faultcoverage
8.6Testsuitecost
9Compliance
9.1Introduction
9.2Compliancewithclause6:Themeaningof
conformance
9.3Compliancewithclause7:Testingconcepts
9.4Compliancewithclause8:Conformancetesting
AnnexA
A.1Specifications
A.2Implementationoptionsandinstantiated
specifications
A.3Implementationsandmodelsofimplementations
A.4Conformancebyimplementationrelations
A.5Conformancebyrequirements
A.6Testarchitecture
A.7Specificationoftests
A.8References Abstract
Specifies a framework, but not any particular test case generation procedure, nor any specified conformance relation between a formal specification and implementation. Applies where a formal specification of a communication protocol or service exists, from where a conformance test suite can be developed.
