ADVANCED TESTING METHODS (ATM) - STATE OF RESEARCH IN THE AREA OF FORMAL TEST SPECIFICATION METHODS

Available format(s)

Hardcopy , PDF

Language(s)

English

Publisher

European Telecommunications Standards Institute

Foreword
PART 1: The fundamental problems in conformance testing
1.1 Protocol specification
1.2 Protocol testing
1.3 Generation of abstract test suites
1.4 Establishing a testing environment
1.5 Test execution and verdict
PART 2: Research approaches in conformance testing
2.1 Standardised specification languages
2.2 Test suite generation approaches
PART 3: Dictionary
3.1 Abbreviations
3.2 Vocabulary of research related terms used in this paper
3.3 References used in this paper
3.4 Research centres, principal researchers and approaches
History

To develop a state of the art report on the most advanced technologies under development in the area of Conformance Testing (Formal Method Automatic Tools...) and standardisation issues

Committee	ATM 1
DocumentType	Standard
Pages	52
PublisherName	European Telecommunications Standards Institute
Status	Current

ISO/IEC 9646-2:1994	Information technology Open Systems Interconnection Conformance testing methodology and framework Part 2: Abstract Test Suite specification
ISO/IEC 9646-4:1994	Information technology Open Systems Interconnection Conformance testing methodology and framework Part 4: Test realization
ISO/IEC 9646-5:1994	Information technology Open Systems Interconnection Conformance testing methodology and framework Part 5: Requirements on test laboratories and clients for the conformance assessment process
ISO/IEC 9646-1:1994	Information technology Open Systems Interconnection Conformance testing methodology and framework Part 1: General concepts
ISO 8807:1989	Information processing systems Open Systems Interconnection LOTOS A formal description technique based on the temporal ordering of observational behaviour
ISO/IEC 9646-3:1998	Information technology Open Systems Interconnection Conformance testing methodology and framework Part 3: The Tree and Tabular Combined Notation (TTCN)