论文部分内容阅读
特征模型是领域分析活动产生的具有复用价值的软件需求模型．对特征模型的复用通常采用定制的方式．特征模型定制中的一个重要问题是验证问题．该问题的存在是因为特征之间往往具有一定的约束关系，而一个合法的定制结果必须保证特征之间所有约束关系的被满足性．由于特征模型验证问题NP—hard所具有的性质，如何高效地进行特征模型的验证就成为一件相对困难的事情．在深入挖掘特征模型验证问题特殊性的基础上，将这种特殊性和二分决策图的结构特点进行了有效的结合，提出了一种通过对二分决策图的一次遍历即能实现特征模型验证的方法-需要指出