Reference : CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/17887
CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller
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, Luxembourg]
Sep-2014
International Conference on Automated Software Engineering (ASE 2014)
Yes
No
International
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
from 15-9-2014 to 19-9-2014
[en] Search-based testing ; continuous controllers ; automotive software systems ; MATLAB/Simulink models
[en] We present CoCoTest, a tool for automated testing of continuous controllers at the Model-in-the-Loop stage. CoCoTest combines explorative and exploitative search algorithms to identify scenar- ios in the controller input space that violate or are likely to violate the controller requirements. This enables a scalable and systematic way to test continuous properties of such controllers. Our experi- ments show that CoCoTest identifies critical flaws in the controller design that are rarely found by manual testing and go unnoticed until late stages of embedded software system development.
http://hdl.handle.net/10993/17887

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
paper.pdfAuthor postprint1.12 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.