Reference : Automated Model-in-the-Loop Testing of Continuous Controllers using Search

	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/2198

Title :	Automated Model-in-the-Loop Testing of Continuous Controllers using Search
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]
	Poull, Claude [Delphi Automotive Systems]
Publication date :	Aug-2013
Main document title :	5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science
Pages :	141-157
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	The 5th Symposium on Search-Based Software Engineering (SSBSE 2013)
Event date :	from 24-8-2013 to 26-8-2013
Event place (city) :	Saint Petersburg
Event country :	Russia
Abstract :	[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.
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Permalink :	http://hdl.handle.net/10993/2198

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access paper.pdf Author postprint 983.77 kB Request a copy

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

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map