Randomized directed testing (REDIRECT) for Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Hi-index | 0.00 |
Our work concerns with test case generation for structural coverage of Simulink/Stateflow (SL/SF) models. We have developed a tool called SmartTestGen which integrates multiple test generation techniques; experiments show that this tool performs better than some commercial tools. In this paper, we discuss a novel experiment. SmartTestGen uses random testing as one of the testing techniques. The random testing component first generates random test cases; the tool then extends these test cases to cover the uncovered targets. In our experiment, instead of using the random test cases as the initial seed, we use the test cases of an existing test suite. We have evaluated the impact of this modified testing process by considering 20 industrial strength SL/SF models.