arrow
返回

Feature causality

delete2024-03-01
delete2
delete
OA
AI
C
Clemens Dubslaff *
K
Kallistos Weis
C
Christel Baier
S
Sven Apel
DOI:10.1016/j.jss.2023.111915delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
The detection and understanding of reasons for defects and inadvertent behavior in software is challenging due to its ever increasing complexity. One major aspect contributing to this complexity is the multitude of features a user might select from in configurable systems. In this article, we tackle this challenge by introducing the notion of feature causality that identifies features and their interactions which are the reasons for a system showing certain functional and non-functional properties seen as effects. Feature causality operates at the level of system configurations and is based on counterfactual reasoning , inspired by the seminal definition of actual causality by Halpern and Pearl.Towards turning feature causality into meaningful explanations for the reasons why an effect emerges, we present various explication methods, e.g., by cause-effect covers, quantifications of causal impacts based on notions like responsibility and blame , causal reasoning with uncertainty, and feature interactions. Through a close connection of feature causality to prime implicants, we derive algorithms to effectively compute feature causes and causal explications. By means of an evaluation on a wide range of configurable software systems, including community benchmarks and real-world systems, we demonstrate the feasibility of our approach: We illustrate how our notion of causality facilitates to identify root causes, estimate the impact of features on effect properties, and detect feature interactions.
Keyword:
Configurable systems
Causality
Formal methods
Feature interactions
Variability
Root causes
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Journal of Systems and Software 封面图
Journal of Systems and Software
IF:
4.1
论文数:
5.5K
被引数:
8.4K

机构

T
Technische Universitat Dresden
学者数:
3.2W
论文数: 2.5W
被引数: 249
E
Eindhoven University of Technology
学者数:
1.6W
论文数: 1.5W
被引数: 2.2W
引用论文

引用论文

Correlating substituent parameter values to electron transport properties of molecules
err2004-03-01
err0
PREAI
errNatalie Vedova-Brook; Nikita Matsunaga; Karl Sohlberg
err分享
err收藏
err分享
err收藏
Heart Morphology and Anatomy
err2017-01-01
err0
PREAI
errJosé M. Icardo
err分享
err收藏
学者 查看更多内容