Overview


CoCoTest or Continuous Controller Tester is a tool for testing dynamic continuous controllers. It has been developed as part of

YouTube Video

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.
CoCoTest enables automated testing of continuous controller models designed and developed in MATLAB/Simulink. It provides users with the following main functions:
  • Generating HeatMap diagrams to provide an overview of the behavior of continuous controllers with respect to controller requirements over their input search space
  • Identifying worst-case test scenarios
  • Running arbitrary test cases over the controller input space
  • Storing, retrieving, exporting and importing the test results
If you are interested to know more about CoCoTest, watch the CoCoTest Demo video above, or read the CoCoTest introduction slides from here.                                                                                                                               

Publications

  • Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann, Claude Poull, "Automated Model-in-the-Loop Testing of Continuous Controllers Using Search", 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Pages 141-158, Aug 2013. (Nominated for the best paper award) [Download]
  • Reza MatinnejadShiva Nejati, Lionel Briand, Thomas Bruckmann, "MiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014),  September 2014.(Received the ACM/IEEE distinguished paper award[Download]
  • Reza MatinnejadShiva Nejati, Lionel Briand, Thomas Bruckmann, "CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controllers", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014-Tool Track),  September 2014. [Download]
  • Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann, Claude Poull, "Search-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies",  Information and Software Technology Journal, Volume 57, Pages 705-722, 2015. [Download]

System Prerequisites

CoCoTest has been tested on Windows XP/7.

To be able to run CoCoTest, you need the following software installed and operational: 

  • MATLAB/Simulink 2007 b
  • .NET Framework 4.0 or later

Tool Availability

A package to test and run CoCoTest with an example model is available at https://github.com/matinnejad/CoCoTest-Package.

Tool Maturity

CoCoTest has been evaluated using an industrial case study from Delphi Automotive Systems.

For further information about CoCoTest, please contact nejati@svv.lu  Or  matinnejad@svv.lu .