Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Mastering SIMULINK
Testing Computer Software
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Experience report: the reactis validation tool
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Signal Generation for Search-Based Testing of Continuous Systems
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Predicate expression cost functions to guide evolutionary search for test data
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
The state problem for evolutionary testing
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Considering Signal Constraints in Search-Based Testing of Continuous Systems
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Analysis and testing of matlab simulink models: a systematic mapping study
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
| Hi-index | 0.00 |
This paper proposes an effective method for automating the test data generation process aiming at structurally covering Stateflow statecharts, while assuring the generation of suitable and - most notably - realistic and meaningful system inputs. For this purpose the principles of evolutionary structural testing have been adapted both for the application to statecharts and for the consideration of continuous signals. The approach is evaluated using a complex industrial case study in comparison to random testing. The results demonstrate the value of this approach in industrial settings due to both its search effectiveness and its high degree of automation, potentially contributing to an improvement in quality assurance of embedded software systems.