Automated model-in-the-loop testing of continuous controllers using search

Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann, Claude Poull

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

Abstract

The number and the complexity of software components embedded in today's vehicles is rapidly increasing. A large group of these components monitor and control the operating conditions of physical devices (e.g., components controlling engines, brakes, and airbags). These controllers are known as continuous controllers. In this paper, we study testing of continuous controllers at the Model-in-Loop (MiL) level where both the controller and the environment are represented by models and connected in a closed feedback loop system. We identify a set of common requirements characterizing the desired behavior of continuous controllers, and develop a search-based technique to automatically generate test cases for these requirements. We evaluated our approach by applying it to a real automotive air compressor module. Our experience shows that our approach automatically generates several test cases for which the MiL level simulations indicate potential violations of the system requirements. Further, not only do our approach generates better test cases faster than random test case generation, but we also achieve better results than test scenarios devised by domain experts.

Original languageEnglish
Title of host publicationSearch Based Software Engineering - 5th International Symposium, SSBSE 2013, Proceedings
Pages141-157
Number of pages17
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event5th International Symposium on Search-Based Software Engineering, SSBSE 2013 - St. Petersburg, Russian Federation
Duration: 24 Aug 201326 Aug 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8084 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Symposium on Search-Based Software Engineering, SSBSE 2013
Country/TerritoryRussian Federation
CitySt. Petersburg
Period24/08/1326/08/13

Fingerprint

Dive into the research topics of 'Automated model-in-the-loop testing of continuous controllers using search'. Together they form a unique fingerprint.

Cite this