Transition Coverage Testing for Simulink/Stateflow Models Using Messy Genetic Algorithms

This paper introduces a messy-GA for transition coverage of Simulink/StateFlow models. We introduce a tool that implements our approach and evaluate it on three bench-mark embedded system Simulink models. Our messy-GA is able to achieve statistically significantly better coverage when compared to both random search and to a commercial tool for Simulink/StateFlow model Testing. Categories and Subject Descriptor