A Guided Method for Testing Timed Input Output Automata

  • Abdeslam En-Nouaary
  • Rachida Dssouli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2644)


Real-time systems are those systems whose behaviors are time dependent. Reliability is one of the characteristics of such systems and testing is one of the techniques that can be used to ensure reliable real-time systems. This paper presents a method for testing real-time systems specified by Timed Input Output Automata (TIOA). Our method is based on the concept of test purposes. The use of test purposes helps reduce the number of test cases generated since an exhaustive testing of a TIOA causes the well-known state explosion problem. The approach we present in this paper consists of three main steps. First, a synchronous product of the specification and test purpose is computed. Then, a sub-automaton (called Grid Automata) representing a subset of the state space of this product is derived. Finally, test cases are generated from the resulting grid automata. The test cases generated by our method are executable and can easily be represented in TTCN (Tabular Tree Combined Notation).


Real-Time Systems Timed Input Output Automata Testing Test Purposes 


  1. AD94.
    R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183–235, 1994.zbMATHCrossRefMathSciNetGoogle Scholar
  2. BGRS01.
    P. Baker, J. Grabowski, E. Rudolph, and I. Schieferdecker. A Message Sequence Chart-profile for Graphical Test Specification, Development and Tracing. In 18th International Conference and Exposition on Testing Computer Software, Washington, DC. USA, June 2001.Google Scholar
  3. CL97.
    D. Clarke and I. Lee. Automatic Generation of Tests for Timing Constraints from Requirements. In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, February 1997.Google Scholar
  4. COG98.
    Rachel Cardell-Oliver and Tim Glover. A Practical and Complete Algorithm for Testing Real-Time Systems. In FTRTFT1998 — Formal Techniques for Real-Time Fault Tolerant Systems, Lyngby, Danmark, 1998.Google Scholar
  5. EEN98.
    A. Elqortobi and A. En-Nouaary. Dénombrement du Nombre des Régions dans un Automate Temporisé. Technical Report TR-1116, Département IRO, Universite de Montréal, Montréal, Canada, January 1998.Google Scholar
  6. EN02.
    A. En-Nouaary. Testing Real-Time Systems using Test Purposes. In International Workshop on Communication Software Engineering (IWCSE), Marrakech, Morocco, December 2002.Google Scholar
  7. ENDK02.
    A. En-Nouaary, R. Dssouli, and F. Khendek. Timed Wp-Method: Testing Real-Time Systems. IEEE Transactions on Software Engineering, November, November 2002.Google Scholar
  8. ENDKE98.
    A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed Test Cases Generation Based on State Characterisation Technique. In 19th IEEE Real-Time Systems Symposium (RTSS’98), Madrid, Spain, December, 2–4 1998.Google Scholar
  9. FAUD00.
    M. A. Fecko, P. D. Amer, M. U. Uyar, and A. Y. Duale. Test Generation in the presence of Conflicting Timers. In TESTCOM Ottawa, Canada, August–September 2000.Google Scholar
  10. GHN93.
    J. Grabowski, D. Hogrefe, and R. Nahm. Test Case Generation with Test Purpose Specification by MSCs. In SDL’93, October 1993.Google Scholar
  11. HNTC99.
    T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli. Generating Test Cases for a Timed I/O Automaton Model. In Proceedings of the International Workshop on Testing Communicating Systems (IWTCS’99), Budapest, Hungary, 1999.Google Scholar
  12. Hog01.
    D. Hogrefe. Some Implications of MSC, SDL and TTCN Time Extensions for Computer-aided Test Generation. In 10th SDL-Forum, Copenhagen, Danemark, June 2001.Google Scholar
  13. ISO91.
    ISO. Conformance Testing Methodology and Framework. International Standard IS-9646 9646, International Organization for Standardization — Information Technology — Open Systems Interconnection, Genéve, 1991.Google Scholar
  14. KAD+00.
    A. Khoumsi, M. Akalay, R. Dssouli, A. En-Nouaary, and L. Granger. An Approach For Testing Real-Time Protocols. In TESTCOM Ottawa, Canada, August–September 2000.Google Scholar
  15. Kan95.
    I. Kang. CTSM A Formalism for Real-Time System Analysis based on State-Space Exploration. PhD Thesis, University of Pennsylvania 1995.Google Scholar
  16. KC00.
    Osmane Koné and Richard Castanet. Test Generation for Internetworking Systems. Computer Communications, 23:642–652, 2000.CrossRefGoogle Scholar
  17. KENDA00.
    A. Khoumsi, A. En-Nouaary, R. Dssouli, and M. Akalay. A New Method for Testing Real-Time Systems. In RTCSA, Cheju Island, South Korea, December 2000.Google Scholar
  18. KLC98.
    Osmane Koné Patrice Laurencot and Richard Castanet. On the Fly Test Generation for Real-Time Protocols. In International Conference on Computer Communications and Networks, Louisiane, USA, 1998.Google Scholar
  19. LA92.
    N.A. Lynch and H. Attiya. Using Mappings to Prove Timing Properties. Distributed Computing, 6(2):121–139, 1992.zbMATHCrossRefMathSciNetGoogle Scholar
  20. LY93.
    K.G. Larsen and W. Yi. Time Abstracted Bisimulation: Implicit Specification and Decidability. In Proceedings Mathematical Foundations of Programming Semantics (MFPS 9), volume 802 of Lecture Notes in Computer Science, New Orleans, USA, April 1993. Springer-Verlag.Google Scholar
  21. MMM95.
    D. Mandrioli, S. Morasca, and A. Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems, 13(4):365–398, November 1995.CrossRefGoogle Scholar
  22. NS98.
    Brian Nielsen and Arne Skou. Automated Test Generation from Timed Automata. In 5th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems FTRTFT’98, September 1998.Google Scholar
  23. NSY92.
    Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. Compiling Real-Time Specifications into Extended Automata. IEEE transactions on Software Engineering, 18(9):794–804, September 1992.CrossRefGoogle Scholar
  24. SPF01.
    Sébastien Salva, Eric Petitjean, and Hacène Fouchal. A Simple Approach to Testing Timed Systems. In Proceedings of the Workshop on Formal Approaches to Testing of Software, (FATES’01), Aalborg, Denmark, Aug 2001.Google Scholar
  25. SV96.
    J. Springintveld and F. Vaandrager. Minimizable Timed Automata. In B. Jonsson and J. Parrow, editors, Proceedings of the 4th International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala, Sweden, volume 1135 of Lecture Notes in Computer Science. Springer-Verlag, 1996.Google Scholar
  26. SVD01.
    J. Springintveld, F. Vaadranger, and P. Dargenio. Testing Timed Automata. Theoretical Computer Science, 254:225–257, 2001.zbMATHCrossRefMathSciNetGoogle Scholar
  27. Tre92.
    J. Tretmans. A Formal Approach to Conformance Testing. PhD Thesis, University of Twente, August 1992.Google Scholar

Copyright information

© IFIP 2003

Authors and Affiliations

  • Abdeslam En-Nouaary
    • 1
  • Rachida Dssouli
    • 1
  1. 1.Department of Electrical and Computer EngineeringConcordia UniversityMontréalCanada

Personalised recommendations