Advertisement

Template-Based Monte-Carlo Test Generation for Simulink Models

  • Takashi TomitaEmail author
  • Daisuke Ishii
  • Toru Murakami
  • Shigeki Takeuchi
  • Toshiaki Aoki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11267)

Abstract

In this paper, we propose a Monte-Carlo test generation method that is able to conduct decision, condition and MC/DC coverage testing for practical Simulink models. To generate a test suite efficiently for models with dozens of thousands blocks, we introduce several techniques. Firstly, we propose using templates of input signals, which characterize shapes of entire waveforms of the signals with a few parameters. By using templates, we can easily generate candidate test cases and reduce a search space to plausible one. Secondly, we propose biased sampling framework to get efficiently test cases meeting uncovered objectives. In the framework, a biased distribution generating new candidate test cases is iteratively refined based on fitness values of the previous candidates. We performed two experiments for each of the techniques and confirmed that they are effective enough for Simulink models which cannot be dealt with a de-facto standard tool SLDV.

References

  1. 1.
    Godefroid, P., Klarlund, N., Sen, K.: Dart: directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2005, pp. 213–223. ACM, New York (2005)Google Scholar
  2. 2.
    Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: Proceedings of the 29th International Conference on Software Engineering, ICSE 2007, pp. 75–84. IEEE Computer Society, Washington, DC (2007)Google Scholar
  3. 3.
    Chen, T.Y., Leung, H., Mak, I.K.: Adaptive random testing. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol. 3321, pp. 320–329. Springer, Heidelberg (2004).  https://doi.org/10.1007/978-3-540-30502-6_23CrossRefGoogle Scholar
  4. 4.
    Sims, S., DuVarney, D.C.: Experience report: the reactis validation tool. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, pp. 137–140. ACM, New York (2007)Google Scholar
  5. 5.
    Satpathy, M., Yeolekar, A., Ramesh, S.: Randomized directed testing (REDIRECT) for Simulink/Stateflow models. In: Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT 2008, pp. 217–226. ACM, New York (2008)Google Scholar
  6. 6.
    Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Automated test suite generation for time-continuous Simulink models. In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, pp. 595–606. ACM, New York (2016)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Takashi Tomita
    • 1
    Email author
  • Daisuke Ishii
    • 2
  • Toru Murakami
    • 3
  • Shigeki Takeuchi
    • 3
  • Toshiaki Aoki
    • 1
  1. 1.Japan Advanced Institute of Science and TechnologyNomiJapan
  2. 2.University of FukuiFukuiJapan
  3. 3.Gaio Technology Co., Ltd.TokyoJapan

Personalised recommendations