Reference : Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies

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

Title :	Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies
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) > >]
Publication date :	2017
Main document title :	Proceedings of 11TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2017)
Publisher :	ACM
Pages :	938-943
Peer reviewed :	Yes
Event name :	11TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
Event date :	04-09-2017 to 08-09-2017
Event place (city) :	PADERBORN
Event country :	GERMANY
Keywords :	[en] Automotive software systems ; Matlab/Simulink ; testing
Abstract :	[en] We present the results of applying our approach for testing Simulink controllers to one public and one proprietary model, both industrial. Our approach combines explorative and exploitative search algorithms to visualize the controller behavior over its input space and to identify test scenarios in the controller input space that violate or are likely to violate the controller requirements. The engineers' feedback shows that our approach is easy to use in practice and gives them confidence about the behavior of their models.
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/31603
DOI :	10.1145/3106237.3117770
Framework Programme / European Project :	H2020 ; 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access paper.pdf Author postprint 1.38 MB View/Open

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

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map