Abstract
In this paper, we deal with semantic problems of test specification in the OSI Conformance Testing Methodology and Framework, especially in the test notation TTCN. They concern mainly the PCO model and the test purpose/ test verdict complex. In either case, we identify several open questions. We show up merits and disadvantages of various ways to fill the remaining gaps in standardization, and recommend some specific solutions.
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
ISO/IEC IS 9646: Information Technology — Open Systems Interconnection — Conformance Testing Methodology and Framework, 5 parts, 1991/2
ISO/IEC IS 9646–3: Information Technology — Open Systems Interconnection — Conformance Testing Methodology and Framework, Part 3: The Tree and Tabular Combined Notation, 1992
B. Baumgarten, A. Giessler: OSI Conformance Testing Methodology and TTCN, to be published, Elsevier, 1994
A. Wiles: The Tree and Tabular Combined Notation — A Tutorial, Telia research, Uppsala, 1992
ISO/IEC DIS 7498–1: Information Technology — Open Systems Interconnection — Reference Model, Part 1: Basic Reference Model, 1992 (Revision of 1984’s IS 7498)
ISO/IEC JTC 1, IS 10731: Information Technology — Open Systems Interconnection — Basic Reference Model — Conventions for the definition of OSI services, 1994
C.A. Vissers, L. Logrippo: The Importance of the Service Concept in the Design of Data Communication Protocols, Protocol Specification, Testing, and Verification,V, North-Holland, 1986, 3–17
U. Bär: OSI-Konformitätstests: Validierung u. qualitative Bewertung, VDI-Verlag, 1994
B. Baumgarten: Structural Prerequisites for Unambiguous Conformance Testing, 2nd ISIIS, INTAP,Tokyo, 1988, pp 283–290
R. Gotzhein: On Conformance in the Context of Open Systems, 12th ICDCS, Yokohama, 1992, 236–243
M. Phalippou: The Limited Power of Testing, Protocol Test Systems, V, North-Holland, 1993, 43–54
J.G. Tretmans• A Formal Approach to Conformance Testing, CIP - Gegevens Koninklijke Bibliotheek, Den Haag, 1992
ISO/IEC IS 8072: Information Technology — Open Systems Interconnection — Transport Service Definition, 1986
G. v. Bochmann, C.S. He: Ferry approaches to protocol testing and service interfaces, 2nd ISIIS, INTAP,Tokyo, 1988, pp 283–290
S. T. Chanson, Qin Li: On Inconclusive Verdict in Conformance Testing, Protocol Test Systems, V, North-Holland, 1993, 81–92
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
Baumgarten, B. (1995). Open Issues in Conformance Test Specification. 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_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive