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


KIPS Transactions on Software and Data Engineering, Vol. 2, No. 7, pp. 471-478, Jul. 2013
10.3745/KTSDE.2013.2.7.471, Full Text:

Abstract

This paper propose 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 bolack-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 redycuing 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.


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. S. Park and K. H. Choi, "Test-case Generation for Simulink/Stateflow Model using a Sparated RRT Space," KIPS Transactions on Software and Data Engineering, vol. 2, no. 7, pp. 471-478, 2013. DOI: 10.3745/KTSDE.2013.2.7.471.

[ACM Style]
Hyeon Sang Park and Kyung Hee Choi. 2013. Test-case Generation for Simulink/Stateflow Model using a Sparated RRT Space. KIPS Transactions on Software and Data Engineering, 2, 7, (2013), 471-478. DOI: 10.3745/KTSDE.2013.2.7.471.