SimCoTest: A test suite generation tool for simulink/stateflow controllers

Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We present SimCoTest, a tool to generate small test suites with high fault revealing ability for Simulink/Stateflow controllers. SimCoTest uses meta-heuristic search to (1) maximize the likelihood of presence of specific failure patterns in output signals (failure-based test generation), and to (2) maximize diversity of output signal shapes (output diversity test generation). SimCoTest has been evaluated on industrial Simulink models and has been systematically compared with Simuilnk Design Verifier (SLDV), an alternative commercial Simulink testing tool. Our results show that the fault revealing ability of SimCoTest outperforms that of SLDV. Further, in contrast to SLDV, SimCoTest is applicable to Simulink/Stateflow models in their entirety.

Original languageEnglish
Title of host publicationProceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016
PublisherIEEE Computer Society
Pages585-588
Number of pages4
ISBN (Electronic)9781450341615, 9781450342056
DOIs
Publication statusPublished - 14 May 2016
Externally publishedYes
Event2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016 - Austin, United States
Duration: 14 May 201622 May 2016

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016
Country/TerritoryUnited States
CityAustin
Period14/05/1622/05/16

Keywords

  • Failure-based test generation
  • Output diversity
  • Search-based software testing
  • Simulink design verifier (SLDV)
  • Simulink/stateflow models
  • Software testing

Fingerprint

Dive into the research topics of 'SimCoTest: A test suite generation tool for simulink/stateflow controllers'. Together they form a unique fingerprint.

Cite this