Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams

Authors:
Ramon Sagarna;Xin Yao
Affiliations:
-;-
Venue:
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Year:
2008

Citing 0
Cited 2

A cross-platform test system for evolutionary black-box testing of embedded systems

ACM SIGEVOlution
Transition coverage testing for simulink/stateflow models using messy genetic algorithms

Proceedings of the 13th annual conference on Genetic and evolutionary computation

Quantified Score

Hi-index	0.01

Visualization

Abstract

Evolutionary structural testing is an approach to generate test cases automatically that achieve high structural code coverage. This white box approach has been established for being used on the code level, but so far only little work has been done to apply it to system models, such as MATLAB/ SIMULINK/STATEFLOW models. The position taken in the research summarized here is that structural testing of real-world SIMULINK models containing STATEFLOW charts is possible. Ideas for necessary problem solutions are proposed.