zbMATH — the first resource for mathematics

Black-box conformance testing for real-time systems. (English) Zbl 1125.68370
Graf, Susanne (ed.) et al., Model checking software. 11th international SPIN workshop, Barcelona, Spain, April 1–3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21314-7/pbk). Lecture Notes in Computer Science 2989, 109-126 (2004).
Summary: We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as non-deterministic and partially-observable timed automata. We argue that such a model is essential for ease of modeling and expressiveness of specifications. The conformance relation is a timed extension of the input-output conformance relation of [J. Tretmans, “Testing comcurrent systems: A formal approach”, Lect. Notes Comput. Sci. 1664, 46–65 (1999)]. We argue that it is better suited for testing than previously considered relations such as bisimulation, must/may preorder or trace inclusion. We propose algorithms to generate two types of tests for this setting: analog-clock tests which measure dense time precisely and digital-clock tests which measure time with a periodic clock. The latter are essential for implementability, since only finite-precision clocks are available in practice. We report on a prototype tool and a small case study.
For the entire collection see [Zbl 1046.68006].

68N99 Theory of software
68M15 Reliability, testing and fault tolerance of networks and computer systems
Full Text: DOI