Symbolic and on the Fly Testing with Real-Time Observers

  • Rachid Bouaziz
  • Ousmane Koné
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3964)


Analyzing real-time specifications involves new difficulties in the test generation process. In addition to usual combinatory explosion, issues like tests executability and controllability become more problematic. To deal with such issues, the new method proposed in this paper combines both on the fly computation (not on line) and optimized symbolic analysis with the underlying concept of real-time observers. A symbolic forward analysis is used for test executability and a backward analysis is performed to refine the tests controllability in view of avoiding inconclusive verdicts. The featured observers and the backward computation are the basis for a more targeted test selection. To illustrate the method, the work example is a process control communication system. Finally, we introduce Real-time Ethernet and the related tests produced with our method.


Test Purpose Test Selection Symbolic State Test Execution Reachability Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Analysis and VERification for the Reliability Of Embedded Systems,
  3. 3.
    Bouaziz, R., Koné, O.: Design principles and applications of the OOTEST tool. Technical Report, CNRS University of Toulouse (2006)Google Scholar
  4. 4.
    Clarke, L., Richardson, D.: Symbolic evaluation methods for program analysis. In: Muchnick, S., Jones, N. (eds.) Program Flow Analysis: Theory and Applications, pp. 79–101. Prentice-Hall, Englewood Cliffs (1981)Google Scholar
  5. 5.
    Clauss, Ph., Loechner, V.: PolyLib: A Library for Manipulating Parameterized Polyhedra. Technical Report, University of Strasbourg (1999)Google Scholar
  6. 6.
    Castanet, R., Koné, O., Laurencot, P.: On-the-Fly Test Generation for Real-Time Protocols. In: IEEE International Conference on Computer Communication and Networks, Lafayatte (1998)Google Scholar
  7. 7.
    En-Nouaary, A., Liu, G.: Timed Test Cases Generation Based on MSC-2000 Test Purposes. In: Workshop on Integrated-reliability with Telecommunications and UML Languages (WITUL 2004), part of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE), Rennes, France (November 2004)Google Scholar
  8. 8.
    Grabowski, J., Hogrefe, D., Nahm, R.: Test case generation with test purpose specifications by MSCs. In: 6th SDL Forum, pp. 253–266. Elsevier Science, North Holland (1993)Google Scholar
  9. 9.
    Larsen, K., Mikucionis, M., Nielsen, B.: On line Testing of Real-Time Systems. Formal Approaches To Testing of Software, Link2, Austria (September 2004)Google Scholar
  10. 10.
    Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating Test Cases for a Timed I/O Automaton Model. In: IFIP (IWTCS 1999), Budapest (1999)Google Scholar
  11. 11.
    Gaufillet, P.: The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEm Design. In: ERTS 2006 - 3rd Embedded Real Time Software Conference - Toulouse (January 2006),
  12. 12.
    Dhaussy, Ph., Roger, J.C., Bonin, H., Saves, E., Honnoré, J.: Experimentation of Timed Observers for Validation of an Avionics Software, Toulouse (January 2006)Google Scholar
  13. 13.
    Howden, W.E.: Methodology for the Generation of Program Test Data. IEEE Trans. Computers 24(5), 554–560 (1975)CrossRefMATHGoogle Scholar
  14. 14.
    Hinzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. Information and Computation 111(2), 193–244 (1994)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Koné, O.: A local approach to the testing of real-time systems. The Computer Journal, British Computer Society, Oxford Press 44(5) (2001)Google Scholar
  16. 16.
    Martinez, J.M., Harbour, M.G., Gutierrez, J.J.: RT-EP: Real-Time Ethernet for analyzable distributed application an a minimum real-time POXIS-kernel. In: 2nd International Workshop on Real-Time LANs in the Internet Age, RTLIA 2003 (2003)Google Scholar
  17. 17.
    McMillan, K.L.: Symbolic model-checking: An approach to the state explosion problem. Kluwer Academic, Dordrecht (1993)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Rachid Bouaziz
    • 1
  • Ousmane Koné
    • 1
  1. 1.University of Toulouse – CNRS IRITToulouseFrance

Personalised recommendations