BDD-Based Approach to the Verification of Feature Models
基于二分决策图的特征模型验证方法

The feature model is a reusable requirements model generated from the domain analysis. The reuse of feature models is usually achieved by a customizing-based approach. One important issue in feature models' customization is the verification problem,caused by the fact that there are usually constraints among features,and that a valid customizing result must satisfy all these constraints. Because of the NP-hard nature of this problem,it is usually difficult to verify feature models in an efficient way. This p...