arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2007.14070cs.AIcs.SE
收藏

上下文感知特征模型中的异常检测

Anomaly detection in Context-aware Feature Models

University of Southern Denmark(南丹麦大学)

Jacopo Mauro

摘要:

特征模型是一种组织配置空间并通过使用特征描述配置选项来促进软件变体构建的机制,即,表示功能的名称。特征模型的开发是一个容易出错的活动,检测其异常是一个具有挑战性的和重要的任务,需要促进其使用。最近,特征模型已经扩展了上下文,以捕获配置选项与上下文影响和用户自定义的相关性。不幸的是,这种扩展使得检测异常的任务更加困难。在本文中,我们形式化的异常分析上下文感知功能模型,我们展示了如何量化布尔公式(QBF)求解器可以用来检测异常,而不依赖于迭代调用SAT求解器。通过扩展重构引擎HyVarRec,我们提出的研究结果证明,QBF求解器可以优于常见的异常分析技术。

英文摘要:

Feature Models are a mechanism to organize the configuration space and facilitate the construction of software variants by describing configuration options using features, i.e., a name representing a functionality. The development of Feature Models is an error prone activity and detecting their anomalies is a challenging and important task needed to promote their usage. Recently, Feature Models have been extended with context to capture the correlation of configuration options with contextual influences and user customizations. Unfortunately, this extension makes the task of detecting anomalies harder. In this paper, we formalize the anomaly analysis in Context-aware Feature Models and we show how Quantified Boolean Formula (QBF) solvers can be used to detect anomalies without relying on iterative calls to a SAT solver. By extending the reconfigurator engine HyVarRec, we present findings evidencing that QBF solvers can outperform the common techniques for anomaly analysis.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑