Construction of Test Cases for Electronic Controllers Based on Timed Automata

  • Xiaojian LiuEmail author
  • Junmin Li
  • Ting Jiang
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 553)


In the verification and testing of electronic embedded controllers, one of the main difficulties is how to generate a collection of consistent and complete test-cases, and how to implement the test process in an automatic means. In this paper, we propose an approach to generating test-cases based on the timed automata–the formal models of controllers. The main contribution of this work is that we present a number of rules, which can be used to guide the generation of test-cases and to reduce their total number. Furthermore, we prove that the presented rules enjoy the completeness property in the sense that the set of the test-cases is able to cover all the functionalities of controllers which formally specified with timed automata.


Software testing Generation of test cases Timed automata Embedded controllers 


  1. 1.
    Lamberg K, Richert J, Rasche R. A New Environment for Integrated Development and Management of ECU Tests. USA: SAE International (2003)Google Scholar
  2. 2.
    Sangiovanni-Vincentelli A, Martin G. Platform-based Design and Software Design Methodology for Embedded Systems. Design & Test of Computers IEEE, 18(6):23–33 (2001)Google Scholar
  3. 3.
    Canoe Test Feature Set Tutorial.
  4. 4.
    Wang Z, Shang Y, Liu J, et al. A Labview Based Automatic Test System for Sieving Chips. Measurement, 46(1):402–410 (2012)Google Scholar
  5. 5.
    Luo G, Liu W, Song K, et al. dSPACE Based Permanent Magnet Motor HIL Simulation and Test Bench. Industrial Technology, ICIT2008. IEEE International Conference on. IEEE, 1–4 (2008)Google Scholar
  6. 6.
    T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson and Wang Yi. TIMES - A Tool for Modelling and Implementation of Embedded Systems. Proceeding of TACAS2002, LNCS(2280): 460–464. Springer-Verlag (2002)Google Scholar
  7. 7.
    R. Alur and D. L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2):183–235, Elsevier Science (1994)Google Scholar
  8. 8.
    Rhanoui M, El Asri B. A Multilevel Contract Model for Dependable Feature-oriented Components Intelligent Systems: Theories and Applications (SITA-14), 9th International Conference on. IEEE, 1–7 (2014)Google Scholar
  9. 9.
    G. Schellhorn. ASM Refinement and Generalizations of Forward Simulation In Data Refinement: A Comparison. Theoretical Computer Science, 336(2–3):403-435, Elsevier Science (2005)Google Scholar
  10. 10.
    Cavalcanti A, Gaudel M C. Testing for Refinement In Circus. Acta Informatica, 48(2):97–147 (2011)Google Scholar

Copyright information

© Springer Nature Singapore Pte Ltd. 2017

Authors and Affiliations

  1. 1.Computer SchoolXi’an University of Science and TechnologyXi’anPeople’s Republic of China

Personalised recommendations