Browse > Article
http://dx.doi.org/10.3745/KTSDE.2013.2.12.829

Generating Test Cases of Simulink/Stateflow Model Based on RRT Algorithm Using Heuristic Input Analysis  

Park, Hyeon Sang (아주대학교 정보통신전문대학원 정보통신공학과)
Choi, Kyung Hee (아주대학교 정보통신전문대학원 정보통신공학과)
Chung, Ki Hyun (아주대학교 전자공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.2, no.12, 2013 , pp. 829-840 More about this Journal
Abstract
This paper proposes a modified RRT (Rapidly exploring Random Tree) algorithm utilizing a heuristic input analysis and suggests a test case generation method from Simulink/Stateflow model using the proposed RRT algorithm. Though the typical RRT algorithm is an efficient method to solve the reachability problem to definitely be resolved for generating test cases of model in a black box manner, it has a drawback, an inefficiency of test case generation that comes from generating random inputs without considering the internal states and the test targets of model. The proposed test case generation method increases efficiency of test case generation by analyzing the test targets to be satisfied at the current state and heuristically deciding the inputs of model based on the analysis during expanding an RRT, while maintaining the merit of RRT algorithm. The proposed method is evaluated with the models of ECUs embedded in a commercial passenger's car. The performance is compared with that of the typical RRT algorithm.
Keywords
Model Based Testing; Rapidly-Exploring Random Tree; Simulink/Stateflow; Test Case Generation; Satisfiability Modulo Theory;
Citations & Related Records
연도 인용수 순위
  • Reference
1 J. Zander, I. Schieferdecker, P. J. Mosterman, "Model-based Testing for Embedded systems", Vol.13, CRC Press, 2012.
2 K. Forsberg, H. Mooz, "The Relationship of System Engineering to the Project Cycle", in Proceedings of the First Annual Symposium of National Council on System Engineering, pp.57-65, 1991.
3 MATLAB Simulink Stateflow http://www.mathworks.com/products/stateflow/ 1994-2013 The MathWorks, Inc.
4 R. Alur, "Model checking of hierarchical state machines" in Proceedings of the 6th ACM SIGSOFT FSE, Vol.23, Issue 6, pp.175-188, 1998.
5 T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya, "What's Decidable About Hybrid Automata?", Journal of Computer and System Sciences Vol.57, Issue 1, pp.94-124, 1998.   DOI   ScienceOn
6 T. Brihaye, "A note on the undecidability of the reachability problem for o-minimal dynamical systems" in Mathematical Logic Quarterly, Vol.52, Issue 2, pp.165-170, 2006.   DOI   ScienceOn
7 J.M. Esposito, J. Kim, V. Kumar "A Probabilistic Approach to Automated Test Case Generation for Hybrid Systems" in Hybrid Systems: Computation and Control, 2004.
8 Reactis http://www.reactive-systems.com/products.msp Reactive Systems, Inc
9 Design Verifier http://www.mathworks.com/products/sldeignverifier/ Mathworks, Inc.
10 H. S. Hong, I. S. Lee, O. Sokolsky, S. D. Cha, "Automatic Test Generation From Statecharts Using Model Checking" in Technical Report, Department of Computer & Information Science University of Pennsylvania MS-CIS-01-07, 2001.
11 M. Satpathy, A. Yeolekar, S. Ramesh, "Randomized Directed Testing(REDIRECT) for Simulink/Stateflow Models" in Proceedings of the 8th ACM international conference on Embedded software, pp.217-226, 2008.
12 T.A. Henzinger, "The Theory of Hybrid Automata" in Proceedings of Logic in Computer Science, Eleventh Annual IEEE Symposium, pp.278-292, 1996.
13 K. L. McMillan, "Symbolic Model Checking - an Approach to the State Explosion Problem" Kluwer Academic Publishers, 1993.
14 L. de Moura, "SMT Solvers", 2006.
15 S. M. LaValle, "Rapidly-Exploring Random Trees: A New Tool for Path Planning" TR 98-11 Computer Science Dept., Iowa State Univ. , 1998.
16 J. M. Esposito, "Randomized Test Case Generation for Hybrid Systems: metric selection" in System Theory, Proceedings of the Thirty-Sixth Southeastern Symposium, pp.236-240, 2004.
17 W., C, Barret, R. Sebastiani, S. A. Seshia, C. Tinelli, "Satisfiability Modulo Theories", Handbook of satisfiability, pp.825-885, 2009.
18 D. R. Cok, A. Griggio, R. Bruttomesso, "The 2012 SMT Competition", 2012.
19 J. C. Gower "A general coefficient of similarity and some of its properties" in Biometrics, Vol.27, pp.857-871, 1971.   DOI   ScienceOn
20 T. Mason, D. Brown, "Lex & yacc", O'Reilly, 1992.
21 L. de Moura, N. Bjorner, "Z3: An efficient SMT solver.", Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.