571
3
0
2023-01-26 11:08:07
2023-01-26
论文信息如下：
基于多样性sat求解器和新颖性搜索的软件产品线测试方法
向毅1, 黄翰1, 罗川2, 杨晓伟1
1(华南理工大学软件学院, 广东广州 510006)
2(北京航空航天大学软件学院, 北京 100191)
通讯作者:黄翰, e-mail: hhan@scut.edu.cn
摘 要: 软件产品线测试是一项非常具有挑战性的工作. 基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一. 在该测试方法中,如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题. 针对以上问题,本文提出了一种基于多样性可满足性（sat）求解器和新颖性搜索(novelty search, ns)的软件产品线测试算法. 具体地,该算法同时采用两类多样性sat求解器产生多样化的测试用例. 特别地,为了改善随机局部搜索sat求解器的多样性,提出了一种基于概率向量的通用策略产生候选解. 此外,为同时维护测试集的全局和局部多样性,设计并运用了两种基于ns算法思想的归档策略. 在50个真实软件产品线上的消融和对比实验验证了多样性sat求解器和两种归档策略的有效性,以及本文算法较其他主流算法的优越性.
关键词: 软件产品线测试;可满足性求解器;新颖性搜索
