Software Product Line Feature Model

Question

Please help me. I want to find all possible combinations of feature by considering the constraints of feature model. as given in figure. Is there any formula or tool for general? Please suggest me any automatic method.

Feature Model:

Answer 1

一般的方法是将特征模型转换为谓词逻辑公式（使用含义，或者，xor ..你需要自动执行吗？我不确定它有多难）并将其转换为析取正常形式。这是连词的分离 - 每个连词代表一组解决方案;未提及的文字没有影响。

有可用的科学工作，搜索例如“产品线变量要求的逻辑验证”或“使用产品线模型验证的一阶逻辑”

Answer 2

兄弟！您正在阅读以下论文吗？

  亨纳德，克里斯托弗，等。 “ PLEDGE：产品线编辑器和测试生成工具。” 国际软件产品线会议共同举办的研讨会。 2013：126-129。

有些语言描述了要素模型中的约束。但是我认为公式应该手动编写，例如cnf文件可以

c 1 Mobilephone
c 2 Calls
c 3 GPS
...
p cnf 10 X
-1 2 0 
-1 3 0
...

Answer 3

您可以尝试FeatureIDE。您需要使用约束为图1创建一个特征模型。然后，您需要进行一种配置而不选择任何功能。它将显示可以生成的可用配置（或称为组合）的数量。