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

Test-case Generation for Simulink/Stateflow Model using a Separated RRT Space  

Park, Hyeon Sang (아주대학교 정보통신전문대학원 정보통신공학과)
Choi, Kyung Hee (아주대학교 정보통신전문대학원)
Chung, Ki Hyun (아주대학교 전자공학부)
Publication Information
KIPS Transactions on Software and Data Engineering / v.2, no.7, 2013 , pp. 471-478 More about this Journal
Abstract
This paper proposes a black-box based test case generation method for Simulink/Stateflow model utilizing the RRT algorithm which is a method to efficiently solve the path planning for complicated systems. The proposed method in the paper tries to solve the reachability problem with the RRT algorithm, which has to be solved for black-box based test case generations. A major problem of the RRT based test case generation algorithms is that the cost such as running time and required memory size is too much for complicated Stateflow model. The typical RRT algorithm expands rapidly-exploring random tree (RRT) in a single state space. But the proposed method expands it in dynamic state space based on the state of Simulink model, consequently reducing the cost. In the paper, a new definition of RRT state space, a distance measure and a test case generation algorithm are proposed. The performance of proposed method is verified through the experiment against Stateflow model.
Keywords
Black-box Testing; Model Based Testing; RRT; Simulink/Stateflow; Test Case Generation;
Citations & Related Records
연도 인용수 순위
  • Reference
1 MATLAB Simulink Stateflow http://www.mathworks.com/products/stateflow/1994-2012 The MathWorks, Inc.
2 Reactis http://www.reactive-systems.com/products.msp Reactive Systems,Inc
3 T-VEC tester http://www.t-vec.com/solutions/products.php T-VEC Technologies, Inc.
4 Design Verifier http://www.mathworks.com/products/sldesignverifier/ Mathworks, Inc.
5 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.
6 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.
7 C.S. Pasareanu, "Model Based Analysis and Test Generation for Flight Software" in SMC-IT 2009, Third IEEE International Conference pp.83-90, 2009.
8 J. S. Oh, M. Harman, S. Yoo, "Transition coverage Testing for Simulink/Stateflow Models Using Messy Genetic Algorithms" in Proceedings of the 13th annual conference on Genetic and evolutionary computation pp.1851-1858, 2011.
9 P. Peranandam, S. Raviram, M. Satpathy, "An Integrated Test Generation Tool for Enhanced Coverage of Simulink/ Stateflow Models", Design, Automation & Test in Europe Conference & Exhibition, pp.308-311, 2012.
10 R. Alur, "Model checking of hierarchical state machines" in Proceedings of the 6th ACM SIGSOFT FSE, Vol.23, Issue 6, pp.175-188, 1998.
11 A. Agrawal, G. Simun, G. Karsai, "Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations" in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques Vol.109, pp.43-56, 2004.
12 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
13 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
14 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.
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 T. Dang, T. Nahhal, "Coverage-guided test generation for continuous and hybrid systems" in Formal Methods in System Design Vol.34, No.2, pp.183-213, 2009.   DOI
17 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.
18 J. Kim, "Adaptive Sample Bias for Rapidly-exploring Random Trees with Applications to Test Generation" in American Control Conference, Proceedings Vol.2, pp.1166-1172, 2005.
19 S. M. LaValle, J. J. Kuffner. In B. R. Donald, K. M. Lynch, D. Rus, "Rapidly-exploring random trees: Progress and prospects.", Algorithmic and Computational Robotics: New Directions, pp.293-308. A K Peters, Wellesley, MA, 2001.
20 T. Nahhal, T. Dang, "Test Generation For Analog And Mixed-Signal Circuits using Hybrid system models" in International Journal of VLSI Design & Communication Systems Vol.2, Issue.3, pp.21-38, 2011.   DOI
21 MATLAB Simulink, Modeling an Automatic Transmission Controller, http://www.mathworks.co.kr/products/simulink/examples.html?file=/products/demos/shipping/simulink/sldemo_autotrans.html
22 SAV Solving In General, http://www.satisfiability.org/
23 K. L. McMillan, "Symbolic Model Checking-an Approach to the State Explosion Problem" Kluwer Academic Publishers, 1993.
24 E.M. Clarke, E.A. Emerson, A.P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications", ACM Transitions on Programming Languages and Systems, Vol.8, No.2, pp.244-263, 1986   DOI   ScienceOn
25 C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. G. Burlet, M. Lowry, S. Person, M. Pape, "Combining unit level symbolic execution and system level concrete execution for testing" NASA softwrae. In Proc. ISSTA'08 (to appear), 2008.
26 T.A. Henzinger, "The Theory of Hybrid Automata" in Proceedings of Logic in Computer Science, Eleventh Annual IEEE Symposium pp.278-292, 1996.
27 "Star Discrepancy." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/StarDiscrepancy.html
28 J. C. Gower "A general coefficient of similarity and some of its properties" in Biometrics, Vol.27, pp.857-871, 1971.   DOI   ScienceOn
29 K. J. Hayhurst, D. S. Veerhusen, J. J. Chilenski, L. K. Rierson, "A Practical Tutorial on Modified Condition/ Decision Coverage", NASA, 2001.