Report on hte standardization project 'Formal methods in conformance testing'

摘要

This paper presetns the latest developments in the "Formal Methods in COnformance Testing" (FMCT) project of ISO and ITU-T. The project has been initiated to study the role of formal description techniuqes in the ocnformance testing process.The goal is to develop a standard that defines the meanin of ocnformance in the context of formal description techiuqes.We give an account of the current status of FMCT in the standardiation process as well as an overview of the technical status of the proposed standard.Moreover,we indicate some of its strong and weak points,and we gie some directions for future work on FMCT.