A Method for Testing the Conformance of Real Time Systems

  • Ahmed Khoumsi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2469)


The aim of conformance testing is to check whether an implementation conforms to a specification. We consider the case where the specification contains timing constraints and is described by a model called Timed Automata (TA). The state space of a TA can be infinite due to the infinite number of time values. In a recent work, we proposed a method to finitely represent the state space. The proposed method transforms a TA into an equivalent finite state automaton using two special types of events, Set and Exp, and denoted se-FSA.

In the present article, we propose a conformance testing method which is applicable when the specification is described by a TA. First, we use the above-mentioned transformation procedure for representing the specification by a se-FSA. Second, we propose a procedure for generating test sequences from the se-FSA describing the specification. And third, we propose a simple architecture for executing the generated test sequences.


Real-time systems Conformance testing Generalized Wp-Method Timed Automata (TA) se-FSA Set Exp Test cases generation Test architecture 


  1. 1.
    R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    A. Khoumsi, G.v. Bochmann, and R. Dssouli. Protocol synthesis for real-time applications. In Proc. PSTV/FORTE, Beijing, China, October 1999. Also available in
  3. 3.
    R. Alur, C. Courcoubetis, and D. Dill. Model checking for real-time systems. In Proc. IEEE Symposium on Logic in Computer Science, 1990.Google Scholar
  4. 4.
    F. Liu. Test generation based on an FSM model with timers and counters. Master’s thesis, University of Montreal, Department IRO, 1993.Google Scholar
  5. 5.
    D. Mandrioli, S. Morasca, and A. Morzenti. Generating test cases for realtime systems from logic specifications. ACM Transactions on Computer Systems, 13(4):365–398, November 1995.Google Scholar
  6. 6.
    D. Clarke and I. Lee. Automatic generation of tests for timing constraints from requirements. In Proc. 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, February 1997.Google Scholar
  7. 7.
    A. En-Nouaary, R. Dssouli, and A. Elqortobi. Génération de tests temporisés. In Proc. 6th Colloque Francophone de l’Ingénierie des Protocoles. HERMES, 1997.Google Scholar
  8. 8.
    J. Springintveld, F. Vaadranger, and P. Dargenio. Testing timed automata. Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands, 1997.Google Scholar
  9. 9.
    A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed test generation based on state characterization technique. In Proc. 19th IEEE Real-Time Systems Symposium (RTSS), Madrid, Spain, December 1998.Google Scholar
  10. 10.
    A. Khoumsi, M. Akalay, R. Dssouli, A. En-Nouaary, and L. Granger. An approach for testing real time protocol entities. In Proc. 13th Intern. Workshop. on Testing of Communicating Systems (TestCom), Ottawa, Canada, Aug.-Sept. 2000. Kluwer Academic Publishers. Also available in
  11. 11.
    A. Khoumsi, A. En-Nouaary, R. Dssouli, and M. Akalay. A new method for testing real time systems. In Proc. 7th Intern. Conf. on Real-Time Computing Systems (RTCSA), Cheju Island, South Korea, December 2000. Also available in
  12. 12.
    B. Nielsen and A. Skou. Automated test generation timed automata. In Work in Progress-Session of the 21st IEEE Real-Time Systems Symposium (RTSS), Walt Disney World, Orlando, Florida, USA, November 2000.Google Scholar
  13. 13.
    B. Nielsen and A. Skou. Automated test generation timed automata. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 343–357, Genova, Italy, April 2001.Google Scholar
  14. 14.
    B. Nielsen and A. Skou. Test generation for time critical systems: Tool and case study. In Proc. 13th Euromicro Conf. on Real-Time Systems, pages 155–162, Delft, The Netherlands, June 2001.Google Scholar
  15. 15.
    A. Khoumsi. A new transformation of timed automata into finite state automata. In Submitted to the 23rd IEEE Real-Time Systems Symposium (RTSS), 2002.Google Scholar
  16. 16.
    R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of timed transitions systems. In CONCUR, pages 340–354. Springer-Verlag LNCS 630, 1992.CrossRefGoogle Scholar
  17. 17.
    M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In Proc. 5th Conf. on Computer Aided Verification, pages 210–224. Springer-Verlag LNCS 697, 1993.Google Scholar
  18. 18.
    I. Kang and I. Lee. State minimization for concurrent system analysis based on state space exploration. In Proc. Conf. On Computer Assurance, pages 123–134, 1994.Google Scholar
  19. 19.
    I. Kang and I. Lee. An efficient state space generation for analysis of real-time systems. In Proc. Intern. Symposium on Software Testing and Analysis (ISSTA’ 96), 1996.Google Scholar
  20. 20.
    S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In Proc. 8th Intern. Conf. on Computer Aided Verification, pages 229–242. Springer-Verlag LNCS 1102, 1995.Google Scholar
  21. 21.
    R. Alur. Timed automata. In Proc. 11th Intern. Conf. on Computer Aided Verification, pages 8–22. Springer-Verlag LNCS 1633, 1999.CrossRefGoogle Scholar
  22. 22.
    A. En-Nouaary, F. Khendek, and R. Dssouli. Fault coverage in testing real-time systems. In Proc. 6th Intern. Conf. on Real-Time Computing Systems and Applications (RTCSA), Hong-Kong, December 1999.Google Scholar
  23. 23.
    G. Luo, R. Dssouli, G.v. Bochmann, P. Venkataram, and A. Ghedamsi. Test generation with respect to distributed interfaces. Computer Standards and Interfaces, 16:119–132, 1994.CrossRefGoogle Scholar
  24. 24.
    G. Luo, G. v. Bochmann, and A. Petrenko. Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method. IEEE Transactions on Software Engineering, 20(2):149–162, 1994.CrossRefGoogle Scholar
  25. 25.
    S. Fujiwara and G. v. Bochmann. Testing nondeterministic finite-state machine with fault-coverage. In Proc. 4th Intern. Workshop on Protocol Test Systems (WPTS), pages 267–280. North-Holland, 1992.Google Scholar
  26. 26.
    J. Tretmans. A Formal Approach to Conformance Testing. PhD thesis, University of Twente, The Netherlands, December 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Ahmed Khoumsi
    • 1
  1. 1.Dep. GEGIUniversity of SherbrookeSherbrookeCanada

Personalised recommendations