CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller

Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

Reference : CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/17887

Title :	CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller
Language :	English
Author, co-author :	Matinnejad, Reza [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Nejati, Shiva [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Briand, Lionel [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]
Publication date :	Sep-2014
Main document title :	International Conference on Automated Software Engineering (ASE 2014)
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
Event date :	from 15-9-2014 to 19-9-2014
Keywords :	[en] Search-based testing ; continuous controllers ; automotive software systems ; MATLAB/Simulink models
Abstract :	[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.
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Permalink :	http://hdl.handle.net/10993/17887

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	paper.pdf		Author postprint	1.12 MB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices