Abstract
A formal framework for conformance testing is a prerequisite for the verification as well as for the correct generation of test cases. In this paper, we develop a formal view of systems, behaviour, and testing, that includes aspects of time. It deals on a semantic level with systems cooperating via timed input/output rendezvous and was developed with a view to the OSI architecture, service and conformance testing concepts. We outline a theoretical framework for testing, in which many important informal notions of conformance testing are reconstructed as formal notions with clear relationships among them. In the process, some of these notions are refined and new ones are added. The verdict concept is clarified by the introduction of the notions of evidence function, verdict strategies, and additional parameters.
Chapter PDF
Similar content being viewed by others
References
R. Mur, D.L. Dill: A theory of timed automata, Theoretical Computer Science 126, 1994, 183–235
U. Bär: OSI-Konformitätstests: Validierung und qualitative Bewertung, VDI Verlag, 1994
B. Baumgarten: Petri-Netze, Grundlagen und Anwendungen, B.I. Wissenschaftsverlag, 1990
B. Baumgarten: Open Issues in Conformance Test Specification, 7th IFIP WG6.1 International Workshop on Protocol Test Systems, Proceedings, Tokyo, 1994
B. Baumgarten, A. Giessler: OSI Conformance Testing Methodology and TTCN, North-Holland, 1994
E. Brinksma et al.: A Formal Approach to Conformance Testing, Protocol Test Systems, North-Holland, 1989
B. Baumgarten, H. Wiland: What is a correct test case? Elements of a Petri net oriented theory of protocol testing, Petri Nets applied to Protocols, Proceedings of a Workshop of the 16th ICATPN, Torino, 1995
S. T. Chanson, Qin Li: On Inconclusive Verdict in Conformance Testing, Protocol Test Systems, V, North-Holland, 1993, 81–92
H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications,Vol. 1, Springer, 1985
ISO/IEC IS 9646: Information Technology — Open Systems Interconnection — Conformance Testing Methodology and Framework, 5 parts, 1991/2
ISO/IEC DIS 7498–1: Information Technology — Open Systems Interconnection — Reference Model, Part 1: Basic Reference Model, 1992 (Revision of 1984 IS 7498)
ISO/IEC JTC 1, IS 10731: Information Technology — Open Systems Interconnection — Basic Reference Model — Conventions for the definition of OSI services, 1994
ISO/IEC IS 9646: Information Technology — Open Systems Interconnection — Conformance Testing Methodology and Framework, 7 parts, 1994–19XX
ISO/IEC JTC1/SC21/P.54.1: Framework: Formal Methods in Conformance Testing, Interim version, 1995
K. Knightson: OSI Protocol Conformance Testing, McGraw-Hill, 1993
P.M. Merlin: A Study of the Recoverability of Computing Systems, Irvine; Univ. California, Dept. of Information and Computer Science, TR 58, 1974
M. Phalippou: Executable testers, Protocol Test Systems, VI, North-Holland, 1994
C. Ramchandani: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, MIT, Project MAC, Technical Report 120, Feb. 1974
J.G. Tretmans: A Formal Approach to Conformance Testing, CIP - Gegevens Koninldijke Bibliotheek, Den Haag, 1992
J.G. Tretmans: A Formal Approach to Conformance Testing, Protocol Test Systems, VI, North-Holland, 1994
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Baumgarten, B. (1996). Timed systems behaviour and conformance testing — a mathematical framework. In: Cavalli, A., Budkowski, S. (eds) Protocol Test Systems VIII. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34988-6_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-34988-6_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6312-6
Online ISBN: 978-0-387-34988-6
eBook Packages: Springer Book Archive