[发明专利]软件产品线配置空间近似均匀采样方法

权利要求书

1.软件产品线配置空间近似均匀采样方法，其特征在于，包括以下步骤：

S1、输入特征模型

S2、采用SAT求解器随机生成特征模型的N个解，完成样本集A的初始化；

S3、计算样本集A中任两个解的距离，完成距离矩阵D的初始化；

S4、计算样本集A中所有个体的新颖得分；

S5、运用选择、交叉和变异算子生成一个新个体c，即新配置；

S6、采用新个体c更新样本集A；

S7、若允许的运行时间耗尽，则进入步骤S8，否则返回步骤S5；

S8、输出样本集A。

2.根据权利要求1所述的软件产品线配置空间近似均匀采样方法，其特征在于，步骤S1中的特征模型以DIMACS的格式存储在文件example.dimacs中。

3.根据权利要求1所述的软件产品线配置空间近似均匀采样方法，其特征在于，步骤S2中产生的特征模型的解时，利用SAT4J求解器，随机化该求解器的参数；分别采用NegativeLiteralSelectionStrategy,PositiveLiteralSelectionStrategy和RandomLiteralSelectionStrategy三种参数随机化策略，执行每种策略的概率均为1/3。

4.根据权利要求1所述的软件产品线配置空间近似均匀采样方法，其特征在于，步骤S3中距离矩阵D初始化为：

将距离矩阵D记为(d_ij)_(N+1)×(N+1)，其中，d_ij表示样本集A中第i个解与第j个解之间的距离，其具体定义如下：

其中，x_i∩x_j表示两个解(本质上是集合)的交集，|x_i∩x_j|表示该交集的势；n表示特征总数；T(x_i)表示解x_i中被选特征总数；T(x_j)表示解x_j中被选特征总数；abs(·)表示返回某个数的绝对值。

5.根据权利要求1所述的软件产品线配置空间近似均匀采样方法，其特征在于，步骤S4中个体的新颖得分定义公式如下：

其中，k为控制参数，表示与个体x_i第j近的个体。

6.根据权利要求1所述的软件产品线配置空间近似均匀采样方法，其特征在于，步骤S5中的选择算子包含以下步骤：

S51、随机产生两个随机整数，s₁,s₂∈{1,2,…,|A|}且s₁≠s₂；

S52、若成立，则将r₁赋值为s₁；若成立,则将r₁赋值为s₂；若成立，则将r₁随机赋值为s₁或s₂；其中，r₁为第一个父代的下标；

S53、重复步骤S51和S52，确定另一个父代的下标r₂；

S54、若r₁＝r₂，则返回步骤S53；否则进入步骤S55；

S55、将和分别赋值给p₁和p₂，并将它们返回。