ITU-T Z.500-1997 Framework on Formal Methods in Conformance Testing Series Z: Programming Languages Methods for Validation and Testing Study Group 10; 49 pp
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 te
ITU-T Z.500-1997 history
1997ITU-T Z.500-1997 Framework on Formal Methods in Conformance Testing Series Z: Programming Languages Methods for Validation and Testing Study Group 10; 49 pp