ITU-T Z.500 SPANISH-1997
Framework on formal methods in conformance testing

Standard No.
ITU-T Z.500 SPANISH-1997
Release Date
1997
Published By
International Telecommunication Union (ITU)
Latest
ITU-T Z.500 SPANISH-1997
Scope
This Recommendation is applicable where a formal specification of a communication protocol or service exists, from which a conformance test suite shall be developed. It can guide the manual process as well as the development of tools for computer aided test case generation.

ITU-T Z.500 SPANISH-1997 Referenced Document

  • ITU-T X.290-1995 OSI Conformance Testing Methodology and Framework for Protocol Recommendations for ITU-T Applications - General Concepts - Data Networks and Open System Communications Open Systems Interconnection - Conformance Testing (Study Group 7) 62 pp
  • ITU-T X.291-1995 OSI Conformance Testing Methodology and Framework for Protocol Recommendations for ITU-T Applications - Abstract Test Suite Specification - Data Networks and Open System Communications - Open Systems Interconnection - Conformance Testing (Study Group 7) 4
  • ITU-T X.292-1992 OSI Conformance Testing Methodology and Framework for Protocol Recommendations for CCITT Applications - The Tree and Tabular Combined Notation (TTCN) - Data Communication Networks (Study Group XII; 217 pp)
  • ITU-T X.293-1995 OSI Conformance Testing Methodology and Framework for Protocol Recommendations for ITU-T Applications - Test Realization - Data Networks and Open System Communications - Open Systems Interconnection - Conformance Testing (Study Group 7) 22 pp
  • ITU-T X.294-1995 OSI Conformance Testing Methodology and Framework for Protocol Recommendations for ITU-T Applications - Requirements on Test Laboratories and Clients for the Conformance Assessment Process - Data Networks and Open System Communications Open Systems Interc
  • ITU-T X.295-1995 OSI Conformance Testing Methodology and Framework for Protocol Recommendations for ITU-T Applications - Protocol Profile Test Specification - Data Networks and Open System Communications - Open Systems Interconnection - Conformance Testing (Study Group 7)
  • ITU-T X.296-1995 OSI Conformance Testing Methodology and Framework for Protocol Recommendations for ITU-T Applications - Implementation Conformance Statements - Data Networks and Open System Communications Public Data Networks - Interfaces (Study Group 7) 65 pp
  • ITU-T Z.100-1993 CCITT Specification and Description Language (SDL) - Programming Languages (Study Group X) 244 pp
  • ITU-T Z.120-1996 Message Sequence Chart (MSC) - Series Z: Programming Languages Criteria for the Use and Applicability of Formal Description Techniques (Study Group 10)

ITU-T Z.500 SPANISH-1997 history




Copyright ©2024 All Rights Reserved