Automated repair of feature interaction failures in automated driving systems

Abstract

In the past years, several automated repair strategies have been proposed to fix bugs in individual software programs without any human intervention. There has been, however, little work on how automated repair techniques can resolve failures that arise at the system-level and are caused by undesired interactions among different system components or functions. Feature interaction failures are common in complex systems such as autonomous cars that are typically built as a composition of independent features (i.e., units of functionality). In this paper, we propose a repair technique to automatically resolve undesired feature interaction failures in automated driving systems (ADS) that lead to the violation of system safety requirements. Our repair strategy achieves its goal by (1) localizing faults spanning several lines of code, (2) simultaneously resolving multiple interaction failures caused by independent faults, (3) scaling repair strategies from the unit-level to the system-level, and (4) resolving failures based on their order of severity. We have evaluated our approach using two industrial ADS containing four features. Our results show that our repair strategy resolves the undesired interaction failures in these two systems in less than 16h and outperforms existing automated repair techniques. CCS CONCEPTS • Software and its engineering → Software verification and validation; Search-based software engineering.

Optimal priority assignment for real-time systems: a coevolution-based approach

“…Coevolutionary analysis in software engineering. Despite the success of search-based software engineering (SBSE) in many application domains including software testing (Wegener et al 1997;Wegener and Grochtmann 1998;Lin et al 2009;Arcuri et al 2010;Shin et al 2018), program repair (Weimer et al 2009;Tan et al 2016;Abdessalem et al 2020), and self-adaptation (Andrade and Macêdo 2013;Chen et al 2018;Shin et al 2020), coevolutionary algorithms have been applied in only a few prior studies (Wilkerson and Tauritz 2010;Wilkerson et al 2012;Boussaa et al 2013). Wilkerson et al (2010Wilkerson et al ( , 2012 present a coevolution-based approach to automatically correct software.…”

“…Search-based software engineering (SBSE) has been successfully applied in many application domains, including software testing (Wegener et al 1997;Wegener and Grochtmann 1998;Lin et al 2009;Arcuri et al 2010;Shin et al 2018), program repair (Weimer et al 2009;Tan et al 2016;Abdessalem et al 2020), and self-adaptation (Andrade and Macêdo 2013;Chen et al 2018;Shin et al 2020), where the search spaces are very large. Despite the success of SBSE, engineering problems in real-time systems have received much less attention in the SBSE community.…”

Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach

“…Coevolutionary analysis in software engineering. Despite the success of search-based software engineering (SBSE) in many application domains including software testing (Wegener et al, 1997;Wegener and Grochtmann, 1998;Lin et al, 2009;Arcuri et al, 2010;Shin et al, 2018), program repair (Weimer et al, 2009;Tan et al, 2016;Abdessalem et al, 2020), and self-adaptation (Andrade and Macedo, 2013; Chen et al, 2018;Shin et al, 2020), coevolutionary algorithms have been applied in only a few prior studies (Wilkerson and Tauritz, 2010;Wilkerson et al, 2012;Boussaa et al, 2013). Wilkerson et al (2010Wilkerson et al ( , 2012 present a coevolution-based approach to automatically correct software.…”

“…Search-based software engineering (SBSE) has been successfully applied in many application domains, including software testing (Wegener et al, 1997;Wegener and Grochtmann, 1998;Lin et al, 2009;Arcuri et al, 2010;Shin et al, 2018), program repair (Weimer et al, 2009;Tan et al, 2016;Abdessalem et al, 2020), and self-adaptation (Andrade and Macedo, 2013;Chen et al, 2018;Shin et al, 2020), where the search spaces are very large. Despite the success of SBSE, engineering problems in real-time systems have received much less attention in the SBSE community.…”

Learning Feature Interactions With and Without Specifications

“…Unwanted feature interactions introduce unpredicted behavior, often escape testing, and add risk [42,10]. In safety-critical systems, they have caused multiple accidents [46,43,8,3] Specification of constraints on feature combinations takes many forms, including feature models [14], source code, user guides and operational manuals. However, such documentation is often poorly maintained, partial, inconsistent with the code, and quickly outdated [47,48,2,59].…”