A Formal Framework for Conformance Testing of Distributed Real-Time Systems

  • Moez Krichen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6490)


We extend our previous work on model-based testing [2]. 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 modeled either as a single timed automaton or a network of timed automata. Our algorithm for generating test suites is based on an on-the-fly determinization of the specification automaton. Our testing architecture may be either centralized or not.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Methods in System Design 34(3), 238–304 (2009)CrossRefMATHGoogle Scholar
  3. 3.
    Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Moez Krichen
    • 1
  1. 1.Research Unit of Development and Control of Distributed ApplicationsHigher Institute of Computer Science and Multimedia of SfaxSfaxTunisia

Personalised recommendations