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 [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 [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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
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.