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


KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 653-662, Dec. 2016
10.3745/KTSDE.2016.5.12.653,   PDF Download:
Keywords: test case generation, Simulink/Stateflow, ECU
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.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
H. G. Park, K. H. Chung, K. H. Choi, "Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm," KIPS Transactions on Software and Data Engineering, vol. 5, no. 12, pp. 653-662, 2016. DOI: 10.3745/KTSDE.2016.5.12.653.

[ACM Style]
Han Gon Park, Ki Hyun Chung, and Kyung Hee Choi. 2016. Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm. KIPS Transactions on Software and Data Engineering, 5, 12, (2016), 653-662. DOI: 10.3745/KTSDE.2016.5.12.653.