Report on the standardization project “Formal methods in conformance testing”

Dieter Hogrefe; Stefan Heymer; Jan Tretmans

doi:10.1007/978-0-387-35062-2_21

Report on the standardization project “Formal methods in conformance testing”

Dieter Hogrefe, Stefan Heymer, Jan Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

92 Downloads (Pure)

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	https://doi.org/10.1007/978-0-387-35062-2_21
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	Germany
City	Darmstadt
Period	9/09/96 → 11/09/96

Keywords

FMT-TESTING
Conformance testing
Formal methods
Standardization

Access to Document

10.1007/978-0-387-35062-2_21

Hogrefe1996report
open
Accepted author version, 98.9 KB
Hogrefe1996reportFinal published version, 1.07 MB

Fingerprint Dive into the research topics of 'Report on the standardization project “Formal methods in conformance testing”'. Together they form a unique fingerprint.

Cite this

Hogrefe, D., Heymer, S., & Tretmans, J. (1996). Report on the standardization project “Formal methods in conformance testing”. In B. Baumgarten, H-J. Burkhardt, & A. Giessler (Eds.), Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996 (pp. 289-298). Springer. https://doi.org/10.1007/978-0-387-35062-2_21

Hogrefe, Dieter ; Heymer, Stefan ; Tretmans, Jan. / Report on the standardization project “Formal methods in conformance testing”. Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996. editor / B. Baumgarten ; H.-J. Burkhardt ; A. Giessler. Boston, MA : Springer, 1996. pp. 289-298

@inproceedings{17c2480aa3064f159912e6e4752e8e6c,

title = "Report on the standardization project “Formal methods in conformance testing”",

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.",

keywords = "FMT-TESTING, Conformance testing, Formal methods, Standardization",

author = "Dieter Hogrefe and Stefan Heymer and Jan Tretmans",

year = "1996",

doi = "10.1007/978-0-387-35062-2_21",

language = "English",

isbn = "978-1-4757-6697-4",

pages = "289--298",

editor = "B. Baumgarten and H.-J. Burkhardt and A. Giessler",

booktitle = "Testing of Communicating Systems",

publisher = "Springer",

address = "Netherlands",

note = "IFIP TC6 9th International Workshop on Testing of Communicating Systems 1996 ; Conference date: 09-09-1996 Through 11-09-1996",

}

Hogrefe, D, Heymer, S & Tretmans, J 1996, Report on the standardization project “Formal methods in conformance testing”. in B Baumgarten, H-J Burkhardt & A Giessler (eds), Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996. Springer, Boston, MA, pp. 289-298, IFIP TC6 9th International Workshop on Testing of Communicating Systems 1996, Darmstadt, Germany, 9/09/96. https://doi.org/10.1007/978-0-387-35062-2_21

Report on the standardization project “Formal methods in conformance testing”. / Hogrefe, Dieter; Heymer, Stefan; Tretmans, Jan.

Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996. ed. / B. Baumgarten; H.-J. Burkhardt; A. Giessler. Boston, MA : Springer, 1996. p. 289-298.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Report on the standardization project “Formal methods in conformance testing”

AU - Hogrefe, Dieter

AU - Heymer, Stefan

AU - Tretmans, Jan

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

KW - FMT-TESTING

KW - Conformance testing

KW - Formal methods

KW - Standardization

U2 - 10.1007/978-0-387-35062-2_21

DO - 10.1007/978-0-387-35062-2_21

M3 - Conference contribution

SN - 978-1-4757-6697-4

SP - 289

EP - 298

BT - Testing of Communicating Systems

A2 - Baumgarten, B.

A2 - Burkhardt, H.-J.

A2 - Giessler, A.

PB - Springer

CY - Boston, MA

T2 - IFIP TC6 9th International Workshop on Testing of Communicating Systems 1996

Y2 - 9 September 1996 through 11 September 1996

ER -

Hogrefe D, Heymer S, Tretmans J. Report on the standardization project “Formal methods in conformance testing”. In Baumgarten B, Burkhardt H-J, Giessler A, editors, Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996. Boston, MA: Springer. 1996. p. 289-298 https://doi.org/10.1007/978-0-387-35062-2_21