%0 Journal Article
%T A Model-Based Approach to Detecting Feature Interactions<br>一种基于模型的特征交互检测方法
%A ZUO Ji-Hong
%A WANG Qian-Xiang
%A MEI Hong
%A <br>左继红
%A 王千祥
%A 梅宏
%J 软件学报
%D 2007
%I 
%X To adapt to continually changing businesses, many software systems have to undergo evolutions through plugging new extensions into common base subsystems. Although it can facilitate concurrent development and deployment, this evolution strategy faces the problem of unexpected feature interactions between extensions. So far, formal method is still one of the most effective methods to detect feature interaction problems. The method has been proved to be successful by some small scale experiments. However, it also faces some challenges, e.g., the non-monotonicity of extension, the fast increase of extension combinations and the lack of extension details due to market competitions. Actually, many feature interactions are caused by the inappropriate modifications to the base subsystem and the existing extensions by new extensions. Based on this observation, the paper proposes a new approach for analyzing the causes of feature interactions and for formulating the corresponding constraints such that the conflicts with the same reason can be avoided. The approach has been applied to the analysis of the feature interactions of telecom systems. The experimental results show that most of the conflict-prone behaviors can be discovered quickly. In addition, the approach can help preserve the stability of the original base model and extension models, bypass the problem of extension combinations, and eliminate the requirement to publish the details of all extension models.
%K feature interaction
%K model checking
%K model
%K constraint
%K non-monotonicity
%K formal method<br>特征交互
%K 模型检测
%K 模型
%K 约束
%K 非单调性
%K 形式化方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=41A538DD423E69B6&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=CA4FD0336C81A37A&sid=BB0EA31DB1B01173&eid=DBF54A8E2A721A6D&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=18