A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models
- 1 May 2019
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)
Abstract
MATLAB/Simulink is the de facto standard tool for the model-based development (MBD) of control software for automotive systems. A model developed in MBD is called a Simulink model and, for real automotive systems, involves complex computation as well as tens of thousands of blocks. In this paper, we propose an automated test generation tool for such large and complex Simulink models. The tool provides functions for (1) automatically generating high-coverage test-suites for practical models, which cannot be handled by Simulink Design Verifier (SLDV), and (2) measuring decision, condition and MC/DC coverage much more efficiently than Simulink Coverage (SLC). This automatic test-suite generation adopts a Monte-Carlo method with templates of test cases. Our experimental evaluation shows that the tool can provide test suites against practical implementation models with higher coverage and shorter execution times than SLDV.Keywords
This publication has 8 references indexed in Scilit:
- Incremental bounded model checking for embedded softwareFormal Aspects of Computing, 2017
- Automated test suite generation for time-continuous simulink modelsPublished by Association for Computing Machinery (ACM) ,2016
- Automatic test case generation from Simulink/Stateflow models using model checkingSoftware Testing, Verification and Reliability, 2013
- An integrated test generation tool for enhanced coverage of Simulink/Stateflow modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- SmartTestGen+: A Test Suite Booster for Enhanced Structural CoverageLecture Notes in Computer Science, 2012
- Mutation-Based Test Case Generation for Simulink ModelsLecture Notes in Computer Science, 2010
- Randomized directed testing (REDIRECT) for Simulink/Stateflow modelsPublished by Association for Computing Machinery (ACM) ,2008
- Experience reportPublished by Association for Computing Machinery (ACM) ,2007