论文部分内容阅读
特征建模是领域工程中获取可复用软件需求的一种重要方法。该方法将软件需求组织成一组特征和特征之间的关系，通过定制技术（选择一组可复用特征）实现软件复用。特征模型的一致性验证问题是特征建模和定制过程中的一个重要问题。特征模型验证的主要目的是找到并消除特征模型中的缺陷，防止这些缺陷伴随定制的自动传播带来特征绑定状态上的冲突，进而影响到整个应用系统的开发。从本质上说，特征模型的验证问题可以形式化地定义为一种约束的可满足性问题(CSP问题)。从一般意义上说，CSP问题是一种NP-hard问题。 目前，大多数特征模型的验证工作都是交由第三方工具完成的。一般来说，第三方工具都是用来解决通用的逻辑问题，并非针对特征模型验证问题本身而设计，没有利用特征模型自身的结构和性质，所以在验证问题的效率上不尽如人意。 本文提出一种基于重构的特征模型验证方法。所谓重构，就是在逻辑等价的前提下，变换特征模型的结构，为特征模型验证提供方便。根据重构方法和重构目标的不同，该验证方法可分为:基于选择模型的特征模型验证方法和基于二分搜索的特征模型验证方法。前者的主要特点在于充分考察了特征模型的结构与特征模型验证问题的特殊性，利用自身的性质减小特征模型的验证规模，降低因验证而消耗的时间代价。后者的主要特点在于通过调整特征模型的结构，将线性搜索问题转化为二分搜索问题，减少调用第三方工具的次数。 本文的主要工作包括:(1)提出基于选择模型的特征模型验证方法;(2)提出基于二分搜索的特征模型验证方法;(3)设计测试用例对方法的效率进行评估。