1 Scope
2
Normative references
2.1 Conformance testing
2.2 Formal description techniques
3
Definitions
3.1 Terms from other related standards
3.2 Terms defined in this Recommendation
4
Abbreviations
5
Mathematical concepts and notation conventions
5.1 Sets
5.2 Logic
5.3 Relations
5.4 Functions
6
The meaning of conformance
6.1 Introduction
6.2 Specifications
6.3 Implementations
6.4 Conformance of an implementation to a formal specification
7
Testing concepts
7.1 Introduction
7.2 Test architecture
7.3 Formal model of the test architecture
7.4 Test execution
8
Conformance testing
8.1 Introduction
8.2 Definition of conformance testing
8.3 Test generation
8.4 Test suite size reduction
8.5 Fault coverage
8.6 Test suite cost
9
Compliance
9.1 Introduction
9.2 Compliance with clause 6: The meaning of conformance
9.3 Compliance with clause 7: Testing concepts
9.4 Compliance with clause 8: Conformance testing
Annex A
A.1 Specifications
A.2 Implementation options and instantiated specifications
A.3 Implementations and models of implementations
A.4 Conformance by implementation relations
A.5 Conformance by requirements
A.6 Test architecture
A.7 Specifications of tests
A.8 References