Untitled

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 .