Abstract
This paper presents 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 techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization 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 give some directions for future work on FMCT.
Original language | English |
---|---|
Title of host publication | Testing of Communicating Systems |
Subtitle of host publication | IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996 |
Editors | B. Baumgarten, H.-J. Burkhardt, A. Giessler |
Place of Publication | Boston, MA |
Publisher | Springer |
Pages | 289-298 |
Number of pages | 10 |
ISBN (Electronic) | 978-0-387-35062-2 |
ISBN (Print) | 978-1-4757-6697-4 |
DOIs | |
Publication status | Published - 1996 |
Event | IFIP TC6 9th International Workshop on Testing of Communicating Systems 1996 - Darmstadt, Germany Duration: 9 Sep 1996 → 11 Sep 1996 |
Conference
Conference | IFIP TC6 9th International Workshop on Testing of Communicating Systems 1996 |
---|---|
Country/Territory | Germany |
City | Darmstadt |
Period | 9/09/96 → 11/09/96 |
Keywords
- FMT-TESTING
- Conformance testing
- Formal methods
- Standardization