Standardization of formal methods in conformance testing of communication protocols

This paper presents the work developed by the joint ISO/ITU-T working group on “Formal Methods in Conformance Testing” (FMCT) in order to obtain a future standard. It concerns several areas of conformance testing: terminology, testing concepts, test architecture, specification languages for tests and test generation methods. The influence of FMCT on testing methodology is also analysed and future trends in the area are addressed.