6.2.3　测试用例集约简建模

6.2.3　测试用例集约简建模

1.二元优化问题

测试用例约简问题属于二元优化问题,因此可以引入二进制编码,并采用一维二值细胞自动机模型对问题的复杂求解过程进行描述[14]。假设问题维度为L,则萤火虫细胞列的长度为L,每个细胞的取值Q∈{0,1},第i只萤火虫的第j维位置表示为x ij。可以采用sign函数对细胞值进行分类,sign函数为

则细胞自动机模型分类的表达式为

(https://www.daowen.com)

式中,t代表的是时刻,萤火虫在0时刻需要遍历一遍分类模型,将位置信息转化为一个0/1序列,从而得到二元离散问题的解。

2.算法描述

本节将佳点集算法应用于测试用例集约简,其目标是首先通过萤火虫算法得到一个0/1序列,其中0代表舍弃这个测试用例,1代表保留这个测试用例,然后采用传统的贪婪算法得到解。

经过上文的讨论可知,在萤火虫算法中,将萤火虫的位置转化为0/1序列,随机在空间中生成初始点,每个点通过二值细胞自动机模型转化为0或1,并利用萤火虫算法搜索能力强的特点遍历空间,向适应度最好的点收敛,更新位置和适应度,得到最好的约简效果。