Overview
SimCoTest or Simulink Controller Tester is a test generation tool for Simulink/Stateflow Controllers.
It has been developed as part of an ongoing PhD project, under the partnership between
Software Verification and Validation of the University of Luxembourg and Delphi Automotive Systems. The project is financially supported by a Pearl grant and an AFR PhD grant from National Research Fund of Luxembourg, and by Delphi Automotive Systems.
SimCoTest enables test suite generation for Simulink/Stateflow controllers. It provides users with the following main functions:
Generating effective test suites with high fault revealing power for Simulink/Stateflow models based on our failure-based and output-diversity test generation algorithms
Prioritizing the generated test suites based on their fault revealing likelihood
Performing static checks on Simulink/Stateflow models to identify suspicious blocks in the models
Running the generated test cases directly from the tool
Storing and retrieving the test results
If you are interested to know more about SimCoTest, please contact reza.matinnejad@uni.lu or read our publications below.
Publications
Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann, "Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers", 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), Sep 2015. (Received the ACM/IEEE distinguished paper award) [Download]
Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann, "Automated Test Suite Generation for Time-Continuous Simulink Models", 38th International Conference on Software Engineering (ICSE 2016), May 2016. [Download]
Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann, "SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers", 38th International Conference on Software Engineering (ICSE 2016-Tool track), May 2016. [Download]
System Prerequisites
SimCoTest has been tested on Windows XP/7.
To be able to run SimCoTest, you need the following software installed and operational:
MATLAB/Simulink 2011 b
.NET Framework 4.0 or later
Tool Availability
A package to test and run SimCoTest with an example model is available at: https://github.com/matinnejad/SimCoTest-Package.
Tool Maturity
SimCoTest has been evaluated using three industrial case study from Delphi Automotive Systems and three publicly available Simulink models from MathWorks.
For further information about SimCoTest, please contact nejati@svv.lu Or matinnejad@svv.lu .