Test Cases Generation for Nondeterministic Real-Time Systems

  • Ahmed Khoumsi
  • Thierry Jéron
  • Hervé Marchand
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2931)


We study the generation of test cases for nondeterministic real-time systems. We define a class of Determinizable Timed Automata (DTA), in order to specify the system under test. The principle of our test method consists of two steps. In Step 1, we express the problem in a non-real-time form, by transforming a DTA into an equivalent finite state automaton. The latter uses two additional types of events, Set and Exp. In Step 2, we adapt a non-real-time test generation method.


Real-time systems Conformance test cases generation Determinizable Timed Automata (DTA) Set-Exp-Automata (SEA) Test architecture 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8–22. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  2. 2.
    Khoumsi, A., Ouedraogo, L.: A new transformation of timed automata into finite state automata. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988. Springer, Heidelberg (2004)Google Scholar
  3. 3.
    Jard, C., Jéron, T.: TGV: theory, principles and algorithms. In: Proc. 6th World Conf. on Integ. Design and Process Technol (IDPT), Pasadena, California, USA (June 2002)Google Scholar
  4. 4.
    Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools 17 (1996)Google Scholar
  5. 5.
    Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Proc. PSTV/FORTE, Beijing, China (October 1999)Google Scholar
  6. 6.
    Khoumsi, A.: A method for testing the conformance of real time systems. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, p. 331. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Nielsen, B.: Specification and test of real-time systems. PhD thesis, Dept of Comput. Science, Faculty of Engin. and Sc., Aalborg University, Aalborg, Denmark (2000)Google Scholar
  8. 8.
    Cardell-Oliver, R.: Conformance testing of real-time systems with timed automata. Formal Aspects of Computing 12, 350–371 (2000)zbMATHCrossRefGoogle Scholar
  9. 9.
    Cardell-Oliver, R.: Conformance testing of real-time systems with timed automata. In: Nordic Workshop on Programming Theory (October 2000)Google Scholar
  10. 10.
    Clarke, D.: Testing real-time constraints. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, USA (1996)Google Scholar
  11. 11.
    Braberman, V., Felder, M., Massé, M.: Testing timing behaviors of real time software. In: Proc. Quality Week 1997, San Francisco, USA, April- May 1997, pp. 143–155 (1997)Google Scholar
  12. 12.
    Peleska, J., Amthor, P., Dick, S., Meyer, O., Siegel, M., Zahlten, C.: Testing reactive real-time systems. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486. Springer, Heidelberg (1998)Google Scholar
  13. 13.
    Springintveld, J., Vaandrager, F., D’Argenio, P.: Testing timed automata. Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands (1997)Google Scholar
  14. 14.
    En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed test generation based on state characterization technique. In: Proc. 19th IEEE Real-Time Systems Sympos (RTSS), Madrid, Spain (December 1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Ahmed Khoumsi
    • 1
  • Thierry Jéron
    • 2
  • Hervé Marchand
    • 2
  1. 1.University of SherbrookeCanada
  2. 2.IRISA, Campus de BeaulieuFrance

Personalised recommendations