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

Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm  

Park, Han Gon (아주대학교 전자공학과)
Chung, Ki Hyun (아주대학교 전자공학과)
Choi, Kyung Hee (아주대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.5, no.12, 2016 , pp. 653-662 More about this Journal
Abstract
This paper describes a test case generation algorithm for Simulink/Stateflow models based on the Rapidly exploring Random Tree (RRT) algorithm that has been successfully applied to path finding. An important factor influencing the performance of the RRT algorithm is the metric used for calculating the distance between the nodes in the RRT space. Since a test case for a Simulink/Stateflow (SL/SF) model is an input sequence to check a specific condition (called a test target in this paper) at a specific status of the model, it is necessary to drive the model to the status before checking the condition. A status maps to a node of the RRT. It is usually necessary to check various conditions at a specific status. For example, when the specific status represents an SL/SF model state from which multiple transitions are made, we must check multiple conditions to measure the transition coverage. We propose a unique distance calculation metric, based on the observation that the test targets are gathered around some specific status such as an SL/SF state, named key nodes in this paper. The proposed metric increases the probability that an RRT is extended from key nodes by imposing penalties to non-key nodes. A test case generation algorithm utilizing the proposed metric is proposed. Three models of Electrical Control Units (ECUs) embedded in a commercial vehicle are used for the performance evaluation. The performances are evaluated in terms of penalties and compared with those of the algorithm using a typical RRT algorithm.
Keywords
Test Case Generation; Simulink/Stateflow; Rapidly Exploring Random Tree; ECU;
Citations & Related Records
연도 인용수 순위
  • Reference
1 R. Alur, "Model checking of hierarchical state machines," in Proceedings of the 6th ACM SIGSOFT FSE, Vol.23, Iss.6, pp.175-188, 1998.
2 T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, "What's Decidable About Hybrid Automata?" Journal of Computer and System Sciences, Vol.57, Iss.1. pp.94-124, 1998.   DOI
3 T. Brihaye, "A note on the undecidability of the reach-ability problem for o-minimal dynamical systems," in Mathematical Logic Quarterly, Vol.52, Iss.2 pp.165-170, 2006.   DOI
4 S. M. LaValle, "Rapidly-Exploring Random Trees: A New Tool for Path Planning," TR 98-11 Computer Science Dept., Iowa State Univ. , 1998.
5 J. M. Esposito, J. Kim, and V. Kumar, "A Probabilistic Approach to Automated Test Case Generation for Hybrid Systems," in Hybrid Systems: Computation and Control, 2004.
6 M. Satpathy, A. Yeolekar, and 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 The Yices SMT Solver [Internet], http://www.csl.sri.com.
8 C. S. Pasareanu, "Model Based Analysis and Test Gen-eration for Flight Software," in SMC-IT 2009, Third IEEE International Conference, pp.83-90, 2009.
9 C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. G. Burlet, M. Lowry, S. Person, and M. Pape, "Combining unit level symbolic execution and system level concrete execution for testing," in Proc. ISSTA'08 (to appear), NASA Softwrae, 2008.
10 H. S. Hong, I. S. Lee, O. Sokolsky, and 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 K. L. McMillan, "Symbolic Model Checking - an Ap-proach to the State Explosion Problem," Kluwer Academic Publishers, 1993.
12 E. M. Clarke, E. A. Emerson, and 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
13 C. Dougsa-ard, K. Dahal, A. Hossain, and T. Suwannasart, "GA-based Automatic Test Data Generation for UML State Diagrams with Parallel Paths," Advanced design and manufacture to gain a competitive edge, pp.147-156, 2008.
14 S. Kansomkeat and W. Rivepiboon, "Automated-Generating Test Case Using UML Statechart Diagrams," Proceedings of the 2003 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement Through Technology, pp.296-300, 2003.
15 P. Samuel, R. Mall, and A. K. Bothra, "Automatic test case generation using unified model language (UML) state diagrams," IET Software, Vol.2, Iss.2, pp.79-93, 2008.   DOI
16 MATLAB Simulink Stateflow, The MathWorks, Inc. [Internet], http://www.mathworks.com/products/stateflow/ 1994-2013.
17 S. K. Swain, D. P. Mohapatra, and R. Mall, "Test case Generation Based on State and Activity Models," Journal of Object Technology, Vol.9, Iss.5, pp.1-27, 2010.   DOI
18 P. Roy and N. Shankar, "SimCheck: a contract type system for Simulink," Journal of Innovations in Systems and Software Engineering, Vol.7, Iss.2, pp.73-83, 2011.   DOI
19 Reactis, Reactive Systems, Inc. [Internet], http://www.reactive-systems.com/products.msp.
20 T-VEC tester, T-VEC Technologies, Inc. [Internet], http://www.t-vec.com/solutions/products.php.
21 Design Verifier, Mathworks, Inc. [Internet], http://www.mathworks.com/products/sldesignverifier/.
22 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.
23 SAV Solving In General [Internet], http://www.satisfiability.org/.
24 T. A. Henzinger, "The Theory of Hybrid Automata," in Proceedings of Logic in Computer Science, Eleventh Annual IEEE Symposium, pp.278-292, 1996.
25 A. Agrawal, G. Simun, and 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.
26 T. Dang and T. Nahhal, "Coverage-guided test generation for continuous and hybrid systems," Formal Methods in System Design, Vol.34, No.2, pp.183-213, 2009.   DOI
27 S. N. Ahmadyan, J. A. Kumar, and S. Vasudevan, "Goaloriented stimulus generation for analog circuits," Design Automation Conference, pp.1018-1023, 2012.
28 M. S. Branicky, M. M. Curtiss, and J. A. Levine, "RRTs for nonlinear, discrete, and hybrid planning and control," Proceedings 42nd IEEE conference Decision and Control, Vol.1, pp.657-663, 2003.
29 J. C. Gower "A general coefficient of similarity and some of its properties," Biometrics, Vol.27, pp.857-871, 1971.   DOI