Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Cavalli, A., et al: Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications, Proceedings of the IFIP 5th International Workshop on Protocol Test Systems, Montreal, Canada, September 1992.
Ek, A., Ellesberger, J., Wiles, A.: Computer supported Test Generation from SDL Specifications, Technical Report, Telia Research, Sweden, 1993.
ISO/ITU-T: Formal Methods in Conformance Testing, Working Draft, July 1994.
Hogrefe, D.: Automatic generation of test cases from SDL specifications, SDL Newsletter, no. 12, 1988.
Hogrefe, D.: OSI formal specification case study: the INRES protocol and service, report IAM-91–012, University of Bern, 1991.
Hogrefe, D., Grabowski, J., Nahm, R.: Test case generation with test purpose specification by MSCs, (in O. Faergemand: 6th SDL Forum, SDL’93), North-Holland, 1993.
ISO TC97/SC21: LOTOS: Language for the temporal ordering specification of observational behavior, 1991.
ISO TC97/SC21: ESTELLE: A formal description technique based on an extended state transition model, 1991.
ISO/IEC: Information Technology - OSI conformance testing methodology and framework, IS 9646, 1989.
ITU-T SG 10: Recommendation Z.100: Specification and Description Language SDL, 1992.
Phalippou, M., Groz, R.: From Estelle specifications to industrial test suites, (in J. Quemada: FORTE’90), North-Holland, 1991.
ISO TC97/SC21: Guidelines for the application of Estelle, LOTOS and SDL, technical report TR 10167, 1990.
Ural, H., Williams, A.: Test generation by exposing control and data dependencies within system specifications in SDL, (in R. Tenney: FORTE’93), North-Holland, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hogrefe, D. (1995). Framework for formal methods in conformance testing. In: Mizuno, T., Higashino, T., Shiratori, N. (eds) Protocol Test Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34883-4_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive