一种软件产品线的特征切片模型检测方法

摘要

本发明公开了一种软件产品线的特征切片模型检测方法，将用户特定需求与行为模型联系在一起，对特征迁移系统进行抽象并验证，给出系统满足程度。根据用户的特定需求定义切片准则，利用特征模型的语义以及命题逻辑抽取出与切片准则对应的最小特征依赖集和特征排斥集；利用三值逻辑对特征迁移系统的迁移关系进行选择；按照三值逻辑运算规则对迁移关系上的特征表达式进行逻辑运算，得到一个抽象的三值特征迁移系统；利用多值模型检测工具，对软件产品线进行模型检测，给出系统行为属性的满足程度。本发明提供了一个满足用户硬性需求的基础单元，为后续的可变性绑定奠定基础，缓解了模型检测在空间和运行时间上的瓶颈问题。