Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1016/S0169-7552(96)00015-3 | Computer Networks and ISDN Systems |
Keywords | Field | DocType |
formal method,communication protocol,conformance testing,standardization,working group,testing theory,specification language | Architecture,Telecommunications,Software engineering,Terminology,Computer science,Test theory,Computer network,Conformance testing,Formal methods,Standardization,Test strategy,Communications protocol | Journal |
Volume | Issue | ISSN |
29 | 1 | 0169-7552 |
Citations | PageRank | References |
12 | 1.10 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ana R. Cavalli | 1 | 671 | 76.11 |
Jean Philippe Favreau | 2 | 44 | 7.16 |
Marc Phalippou | 3 | 51 | 7.73 |