论文信息 - Framework for formal methods in conformance testing

Framework for formal methods in conformance testing

This paper presents the latest developments in the Formal Methods in Conformance Testing (FMCT) project of ITU and ISO. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of FDTs. A general framework which has been developed in the FMCT project will be presented.

Dieter Hogrefe | D. Hogrefe

[1] Roland Groz,et al. From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach , 1990, FORTE.

[2] Hasan Ural,et al. Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL , 1993, FORTE.

[3] Ana R. Cavalli,et al. Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications , 1992, Protocol Test Systems.