Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search
Ben Abdessalem (helali), Raja; Panichella, Annibale; Nejati, Shiva et al.
2018In Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018)
Peer reviewed
 

Files


Full Text
paper-ASE 2018.pdf
Author postprint (2.03 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Search-based Software Testing; Many-Objective Optimization; Automotive Systems; Feature Interaction Problem
Abstract :
[en] Complex systems such as autonomous cars are typically built as a composition of features that are independent units of functionality. Features tend to interact and impact one another’s behavior in unknown ways. A challenge is to detect and manage feature interactions, in particular, those that violate system requirements, hence leading to failures. In this paper, we propose a technique to detect feature interaction failures by casting our approach into a search-based test generation problem. We define a set of hybrid test objectives (distance functions) that combine traditional coverage-based heuristics with new heuristics specifically aimed at revealing feature interaction failures. We develop a new search-based test generation algorithm, called FITEST, that is guided by our hybrid test objectives. FITEST extends recently proposed many-objective evolutionary algorithms to reduce the time required to compute fitness values. We evaluate our approach using two versions of an industrial self-driving system. Our results show that our hybrid test objectives are able to identify more than twice as many feature interaction failures as two baseline test objectives used in the software testing literature (i.e., coverage-based and failure-based test objectives). Further, the feedback from domain experts indicates that the detected feature interaction failures represent real faults in their systems that were not previously identified based on analysis of the system features and their requirements.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Ben Abdessalem (helali), Raja ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Panichella, Annibale;  [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)
Stifter, Thomas;  [International Electronics & Engineering (IEE), Contern, Luxembourg]
External co-authors :
no
Language :
English
Title :
Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search
Publication date :
2018
Event name :
33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018)
Event place :
Montpellier, France
Event date :
from 03-09-2018 to 07-09-2018
Audience :
International
Main work title :
Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018)
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 06 July 2018

Statistics


Number of views
572 (80 by Unilu)
Number of downloads
841 (63 by Unilu)

OpenCitations
 
54

Bibliography


Similar publications



Contact ORBilu