A Simple Testing Technique for Embedded Systems

  • Hacène Fouchal
  • Antoine Rollet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3144)


Embedded systems are constrained and critical. They need to be validated before their development. They handle time constraints to model important aspects (delays, timeouts). This issue has to be taken into account in every step during its development life cycle, in particular in the testing step. This paper presents a methodology for the development of reliable embedded systems. A system is described as a timed automaton. It details an efficient derivation algorithm of test sequences able to identify controllable states on the system. Most of known errors of such systems are collected. They are automatically integrated on the derived sequences which are submitted to the implementation. If the system behaves correctly after this submission, the system is considered as robust.


Test Sequence Robustness Testing Input Action Generate Test Case Outgoing Transition 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AD94]
    Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  2. [AENK02]
    Dssouli, R., En-Nouaary, A., Khendek, F.: Timed wpmethod: Testing real-time systems. IEEE Transactions on Software Engineering (TSE) 28(11), 1023–1038 (2002)CrossRefGoogle Scholar
  3. [Cas02]
    Castanet, R.: Les enjeux du test de robustesse. In: Journées du Réseau Thématique Prioritaire SECC (November 2002)Google Scholar
  4. [CL97]
    Clarke, D., Lee, I.: 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
  5. [COG98]
    Cardel-Oliver, R., Glover, T.: A practical and complete algorithm for testing real-time systems. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, pp. 251–261. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  6. [DNH84]
    De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science 34, 83–133 (1984)zbMATHCrossRefMathSciNetGoogle Scholar
  7. [HNTC01]
    Hogashino, T., Nakata, A., Taniguchi, K., Cavalli, A.R.: Generating Test Cases for a Timed I/O Automaton Model. In: Proceedings of the 13th International Workshop on Test of Communicating Systems 2001, Beinjin, China (October 2001)Google Scholar
  8. [LV92]
    Lynch, N.A., Vaandrager, F.W.: Forward and backward simulations for timing-based systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 397–446. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  9. [NS01]
    Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 343–357. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  10. [PF99]
    Petitjean, E., Fouchal, H.: From Timed Automata to Testable Untimeed Automata. In: 24th IFAC/IFIP International Workshop on Real- Time Programming, Schloss Dagstuhl, Germany (1999)Google Scholar
  11. [RNHW98]
    Raymond, P., Nicollin, X., Halbwatchs, N., Waber, D.: Automatic testing of reactive systems, madrid, spain. In: Proceedings of the 1998 IEEE Real-Time Systems Symposium, RTSS 1998, December 1998, pp. 200–209. IEEE Computer Society Press, Los Alamitos (1998)Google Scholar
  12. [SVD01]
    Springintveld, J., Vaandrager, F.W., D’Argenio, P.R.: Timed Testing Automata. Theoretical Computer Science 254(254), 225–257 (2001)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Hacène Fouchal
    • 1
  • Antoine Rollet
    • 1
  1. 1.LICA,Université de Reims Champagne-Ardenne, Moulin de la HousseReims Cedex 2France

Personalised recommendations