Feature-interaction detection based on feature-based specifications
Feature-interaction detection based on feature-based specifications
复制标题
基于特征规范的特征交互检测
DOI：
10.1016/j.comnet.2013.02.025
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Christian Kästner
中科院分区：
文献类型：
--
作者：
Sven Apel;Alexander von Rhein;Thomas Thüm;Christian Kästner
形式化规范和验证技术已成功地用于检测功能的相互作用。我们研究是否可以使用基于特征的规范来完成这个任务。基于特征的规范是一类特殊的规范，其目的是在开放世界的模块化，面向特征的系统。我们要解决的问题是，模块化的规范是否会损害检测功能相互作用的能力，这种相互作用会跨越功能边界。在10个面向功能的系统的探索性研究中，我们发现，大多数功能的相互作用可以检测到基于功能的规范，但一些规范没有被模块化，并需要不理想的变通方法模块化。基于研究，我们讨论了基于特征的规格说明的优点和局限性，以及开放的问题和观点。我们工作的一个目标是提高人们对基于特征的规范的重要性和挑战的认识。
Formal specification and verification techniques have been used successfully to detect feature interactions. We investigate whether feature-based specifications can be used for this task.Feature-basedspecifications are a special class of specifications that aim at modularity in open-world, feature-oriented systems. The question we address is whether modularity of specifications impairs the ability to detect feature interactions, which cut across feature boundaries. In an exploratory study on 10 feature-oriented systems, we found that the majority of feature interactions could be detected based on feature-based specifications, but some specifications have not been modularized properly and require undesirable workarounds to modularization. Based on the study, we discuss the merits and limitations of feature-based specifications, as well as open issues and perspectives. A goal that underlies our work is to raise awareness of the importance and challenges of feature-based specification.
登录
查看更多内容
DOI：
--
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Thomas Thüm;S. Apel;Christian Kästner;Martin Kuhlemann;Ina Schaefer;G. Saake;Arbeitsgruppe Datenbanken
通讯作者：
Arbeitsgruppe Datenbanken
DOI：
10.1109/icse.2012.6227196
发表时间：
2012-06
期刊：
2012 34th International Conference on Software Engineering (ICSE)
影响因子：
--
作者：
Norbert Siegmund;Sergiy S. Kolesnikov;Christian Kästner;S. Apel;D. Batory;Marko Rosenmüller;G. Saake
通讯作者：
Norbert Siegmund;Sergiy S. Kolesnikov;Christian Kästner;S. Apel;D. Batory;Marko Rosenmüller;G. Saake
DOI：
10.1007/978-3-642-15579-6_17
发表时间：
2010-09
期刊：
--
影响因子：
--
作者：
Isis Cabral;Myra B. Cohen;G. Rothermel
通讯作者：
Isis Cabral;Myra B. Cohen;G. Rothermel
将横切功能验证为开放系统
DOI：
--
发表时间：
2002
期刊：
SIGSOFT '02/FSE-10
影响因子：
--
作者：
Harry C. Li;S. Krishnamurthi;Kathi Fisler
通讯作者：
Kathi Fisler
将契约设计应用于面向特征的编程
DOI：
10.1007/978-3-642-28872-2_18
发表时间：
2012
期刊：
Proceedings of the 28th international conference on Software engineering
影响因子：
--
作者：
Thomas Thüm;Ina Schaefer;Martin Kuhlemann;S. Apel;G. Saake
通讯作者：
G. Saake