一种软件特征模型扩展和演化分析方法  

Extensions and Evolution Analysis Method for Software Feature Models

作　　者：胡洁[1,3] 王青[1,2] 

机构地区：[1]中国科学院软件研究所,互联网软件技术实验室,北京100190 [2]计算机科学国家重点实验室(中国科学院,软件研究所),北京100190 [3]中国科学院大学,北京100049

出　　处：《软件学报》2016年第5期1212-1229,共18页Journal of Software

基　　金：国家自然科学基金(91318301,91218302,61432001);国家科技重大专项(2012ZX01039-004)~~

摘　　要：特征模型是面向特征的软件开发过程的重要概念和制品,该模型以特征为单位,刻画了领域产品的共性和可变性.在日趋频繁的软件演化过程中,保持特征模型的一致演化,对于支持高效的复用开发和按需配置至关重要.目前,大多数的研究是在需求层面进行共性和可变性分析,对特征模型的研究则集中在对共性和可变性的建模上.但是,由于特征变更在建模过程中存在"涟漪"效应,会导致新的共性和可变性演化.现有的分析方法还无法解决这个问题,会导致丢失一些潜在的产品共性,从而影响复用的效率.提出了一种特征模型扩展和演化分析方法.通过扩展特征关联关系和模型演化元操作,实现对特征变更"涟漪"效应的分析.发现潜在的产品共性,提出重构策略和半自动化的共性提取和特征重构支持方法.该方法还针对典型的配置冲突提出了冲突消解规则和策略.最后,通过案例分析验证了该方法的可用性和有效性.Feature model is an essential concept and artifact in feature oriented software development（FOSD）. It depicts commonality and variability（CV） of products in terms of features. With increasingly frequent software evolution, keeping the feature model in consistent with the evolution is very important. Most of the related researches usually analyze the CV on the requirement level, and modeling the analyzed CV by the feature model. However, since the feature changes may cause the ripple effect during the modeling process, some new commonalities and variability may be derived. The current researches are still not able to resolve this problem, which leads to some potential overlooking commonalities and inefficiency in reuse. This paper proposes an approach to extend the feature model and analyze the software evolution based on the feature model. The extensions of feature dependency and evolution meta-operators can support the ripple effect analysis of the feature changes, as well as the exploration of the potential commonalities. The new approach also develops some refactoring strategies and a semi-automated tool to support commonality extraction and feature refactoring. In addition, rules and strategies are designed to resolve typical configuration conflicts. Finally, the paper employs a case study to validate the applicability and effectiveness of the presented method.

关 键 词：软件演化 模型演化 软件定制 共性 可变性 特征模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]