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

Generating Test Cases of Stateflow Model Using Extended RRT Method Based on Test Goal  

Park, Hyeon Sang (아주대학교 정보통신전문대학원 정보통신공학과)
Choi, Kyung Hee (아주대학교 정보통신전문대학원 정보통신공학과)
Chung, Ki Hyun (아주대학교 일반대학원 전자공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.2, no.11, 2013 , pp. 765-778 More about this Journal
Abstract
This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.
Keywords
Black-Box Testing; Model Based Testing; RRT; Stateflow; Test Case Generation;
Citations & Related Records
연도 인용수 순위
  • Reference
1 MATLAB Simulink Stateflow http://www.mathworks.com/products/stateflow/ 1994-2012 The MathWorks, Inc.
2 M.Utting, B. Legeard, "Practical Model-Based Testing: A Tools Approach", Morgan Kaufmann, 2007.
3 R. Alur, "Model checking of hierarchical state machines" in Proceedings of the 6th ACM SIGSOFT FSE, Vol.23, Issue 6, pp.175-188, 1998.
4 T.A. Henzinger, "The Theory of Hybrid Automata" in Proceedings of Logic in Computer Science, Eleventh Annual IEEE Symposium, pp.278-292, 1996.
5 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.
6 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
7 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
8 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.
9 C.S. Pasareanu, "Model Based Analysis and Test Generation for Flight Software" in SMC-IT 2009, Third IEEE International Conference, pp.83-90, 2009.
10 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.
11 P. Roy, N. Shankar, "SimCheck: a contract type system for Simulink", in Journal of Innovations in Systems and Software Engineering, Vol.7, Issue 2, pp.73-83, 2011.   DOI
12 S. M. LaValle, "Rapidly-Exploring Random Trees: A New Tool for Path Planning" TR 98-11 Computer Science Dept., Iowa State Univ.
13 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.
14 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
15 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.
16 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.
17 S. N. Ahmadyan, "Goal-oriented stimulus generation for analog circuits", in Design Automation Conference, pp.1018-1023, 2012.
18 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.
19 K. J. Hayhurst, D. S. Veerhusen, J. J. Chilenski, L. K. Rierson, "A Practical Tutorial on Modified Condition/ Decision Coverage", NASA, 2001.
20 Reactis http://www.reactive-systems.com/products.msp Reactive Systems, Inc
21 Design Verifier http://www.mathworks.com/products/sldesignverifier/ Mathworks, Inc.
22 K. L. McMillan, "Symbolic Model Checking - an Approach to the State Explosion Problem" Kluwer Academic Publishers, 1993.
23 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
24 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.
25 The Yices SMT Solver, http://www.csl.sri.com
26 J. C. Gower "A general coefficient of similarity and some of its properties" in Biometrics, Vol.27, pp.857-871, 1971.   DOI   ScienceOn