M00043469
New product
METHODS FOR TESTING AND SPECIFICATION (MTS); OVERVIEW OF VALIDATION TECHNIQUES FOR EUROPEAN TELECOMMUNICATION STANDARDS (ETSS) CONTAINING SDL
European Telecommunications Standards Institute
In stock
Warning: Last items in stock!
Availability date: 11/06/2021
1 Scope
2 References
3 Definitions and abbreviations
3.1 Definitions
3.2 Abbreviations
4 A framework for validation
4.1 The benefits of validation
4.2 The requirement for validation of ETSs
4.3 International validation activities
4.4 The elements of an ETS
4.5 Validation of an ETS against ETSI rules
5 Validation of a formal model
5.1 Analysis of a formal model
5.2 SDL - specific requirements for validation tools
6 The validation process
6.1 The validation model
6.2 Validation of performance
6.3 Relationship between validation and the specification of
conformance test suites
6.4 Planning for validation
7 Requirements for a validation methodology
7.1 Scope of validation
7.2 Compatibility with the methodology for development
7.3 Activities in the methodology
7.4 Documentation of validation results
7.5 Skill basis
Annex A: Validation and SDL development
A.1 Relationship between validation methods and SDL
methodology
A.2 Testability and validation rules
Annex B: Machine readable standards
History
Describes future standardization work items necessary to support the implementation of a formal validation process into the production of all European Telecommunication Standards (ETSs) having a functional content expressed using the Specification and Description Language (SDL).
Published | |
Document Type | Standard |
Status | Current |
Publisher | European Telecommunications Standards Institute |
Pages | |
ISBN | |
Committee | MTS |