SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models

  • Manel TekayaEmail author
  • Mohamed Taha Bennani
  • Nedra Ebdelli
  • Samir Ben Ahmed
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9688)


Safety-critical applications require complete high-coverage testing, which is not always guaranteed by model-based test generation techniques. Recently, automatic test generation by model checking has been reported to improve the efficiency of test suites over conventional test generation techniques. This study introduces our novel tool SimAutoGen, which employs the model checking technique (as a formal verification technique) to derive test vectors from Simulink models of automotive controllers according to structural coverage metrics. Model checking based on test generation is challenging for two reasons. First, the input model to the model checker requires conversion into a formal language. Second, standard tools have limited ability to generate test vectors for large-scale Simulink models because the state-space explodes with increasing model size. Our proposed SimAutoGen avoids the first problem by expressing the properties to be verified, which correspond to a structural coverage metric, in the Simulink language. To solve the state-space explosion problem, we developed a new algorithm that slices the Simulink model into hierarchical levels.


  1. 1.
    Simullink Design Verifer 1: User’ Guide. Mathworks, Inc (2012)Google Scholar
  2. 2.
    Getting Started Guide: R2014b. Mathworks, Inc (2014)Google Scholar
  3. 3.
    Fraser, G., Wotawa, F., Ammann, P.: Issues in using model checkers for test case generation. J. Syst. Softw. 82(9), 1403–1418 (2009). ElsevierCrossRefGoogle Scholar
  4. 4.
    Gadkari, A., Yeolekar, A., Suresh, J., Ramesh, S., Mohalik, S., Shashidhar, K.: Automatic test case generation from simulink/stateflow models using model checking. Softw. Test. Verification Reliab. 24(2), 155–180 (2014). Wiley Online LibraryCrossRefGoogle Scholar
  5. 5.
    Tekaya, M., Bennani, M.T., Alagui, M.A., Ben Ahmed, S.: Aspect-oriented test case generation from Matlab/Simulink models. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Theory and Engineering of Complex Systems and Dependability. AISC, vol. 365, pp. 495–504. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  6. 6.
    Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)Google Scholar
  7. 7.
    Reicherdt, R., Glesner, S.: Slicing MATLAB simulink models. In: 34th International conference on software engineering (ICSE), pp. 551–561. IEEE (2012)Google Scholar
  8. 8.
    Bahrami, D., Faivre, A., Lapitre, A.: DIVERSITY-TG : Automatic test case generation from Matlab/Simulink models. In: Embedded real time software and systems (2012)Google Scholar
  9. 9.
    Peranandam, P., Raviram, S., Satpathy, M., Yeolekar, A., Gadkari, A., Ramesh, S.: An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 308–311. IEEE (2012)Google Scholar
  10. 10.
    Hamon, G., De Moura, L., Rushby, J.: Automated test generation with SAL. In: CSL Technical Note, p. 15 (2005)Google Scholar
  11. 11.
    Kirner, R.: Towards preserving model coverage, structural code coverage. EURASIP J. Embedded Syst. 2006(6), 1–15 (2009). Hindawi Publishing CorpCrossRefGoogle Scholar
  12. 12.
    Sheeran, M.: Prover Technology - Prover plug-in documentation (2000)Google Scholar
  13. 13.
    Chilenski, J., Miller, S.P.: Applicability of modified condition/decision coverage to software testing. Softw. Eng. J. 9(5), 193–200 (1994)CrossRefGoogle Scholar
  14. 14.
    Rajan, A., Whalen, M., Heimdahl, M.: The effect of program and model structure on MC/DC test adequacy coverage. In: ACM/IEEE 30th International Conference on Software Engineering ICSE 2008, pp. 161–170. IEEE (2008)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2016

Authors and Affiliations

  • Manel Tekaya
    • 1
    Email author
  • Mohamed Taha Bennani
    • 3
  • Nedra Ebdelli
    • 2
  • Samir Ben Ahmed
    • 3
  1. 1.TELNET Innovation LabsUniversity of CarthageTunisTunisia
  2. 2.University of MannoubaManoubaTunisia
  3. 3.University of Tunis El ManarTunisTunisia

Personalised recommendations