A formal framework for black-box conformance testing of distributed real-time systems. (1st January 2012)

• Record Type: Journal Article
• Authors: Krichen, Moez
• Is Part Of: International journal of critical computer-based systems. Volume 3:Number 1/2(2012)
• Page Start: 26
• Page End: 43
• Publication Date: 2012-01-01
• Subjects: black-box -- model-based -- conformance-testing -- real-time -- distributed -- conformance relation -- analogue-clock -- digital-clock -- centralised -- testing architecture; Computer systems -- Periodicals; Computer architecture -- Periodicals; 004
• Languages: English
• ISSNs: 1757-8779

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.