A formal framework for black-box conformance testing of distributed real-time systems Online publication date: Tue, 24-Jan-2012
by Moez Krichen
International Journal of Critical Computer-Based Systems (IJCCBS), Vol. 3, No. 1/2, 2012
Abstract: We extend our previous work on model-based conformance testing (Bensalem et al., 2007; Krichen and Tripakis, 2009). We propose a formal framework for black-box conformance testing for distributed real-time systems. Our framework is based on the model of partially-observable, non-deterministic timed automata. A given distributed system can be modelled either as a single timed automaton or a network of timed automata. We recall the definition of the timed input-output conformance relation tioco. We consider two types of tests: analogue-clock tests and digital-clock tests. Our algorithm for generating analogue-clock tests is based on an on-the-fly determinisation of the specification automaton during the execution of the test, which in turn relies on reachability computations. We also provide algorithms for static or on-the-fly generation of digital-clock tests. These tests measure time only with finite-precision digital clocks. Our testing architecture may be either centralised or not.
Online publication date: Tue, 24-Jan-2012
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Critical Computer-Based Systems (IJCCBS):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email firstname.lastname@example.org