Reference : Automated Model-in-the-Loop Testing of Continuous Controllers using Search
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/2198
Automated Model-in-the-Loop Testing of Continuous Controllers using Search
English
Matinnejad, Reza mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Nejati, Shiva mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Briand, Lionel mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > > ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Bruckmann, Thomas mailto [Delphi Automotive Systems]
Poull, Claude mailto [Delphi Automotive Systems]
Aug-2013
5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science
141-157
Yes
No
International
The 5th Symposium on Search-Based Software Engineering (SSBSE 2013)
from 24-8-2013 to 26-8-2013
Saint Petersburg
Russia
[en] 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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
http://hdl.handle.net/10993/2198

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
paper.pdfAuthor postprint983.77 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.