DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
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 |
Simulink/Stateflow (SL/SF) is the primary modeling notation for the development of control systems in automotive and aerospace industries. In model based testing, test cases derived from a design model are used to show model-code conformance. Safety standards such as ISO 26262 recommend model based testing to show the conformance of a software with the corresponding model. From our experiments with various test generation techniques, we have observed that their coverage capabilities are complementary in nature. With this observation in mind, we have developed a new tool called SmartTestGen which integrates different test generation techniques. In this paper, we discuss SmartTestGen and the different test generation techniques utilized -- random testing, constraint solving, model checking and heuristics. We experimented with 20 production-quality SL/SF models and compared the performance of our tool with that of two prominent commercial tools.