软件学报

作者：向毅，黄翰，罗川，杨晓伟

单位：向毅，华南理工大学 软件学院, 广东 广州 51000611,黄翰，华南理工大学 软件学院, 广东 广州 51000602,罗川，北京航空航天大学 软件学院, 北京 10019103,杨晓伟，华南理工大学 软件学院, 广东 广州 51000604

关键词：软件产品线测试;可满足性求解器;新颖性搜索

基金：广东省科技攻关重点项目 (2020B0303300001); 2018–2019年度广东省“新一代人工智能”重大项目(2020AAA0108404); 国家自然科学基金(61906069, 62276103, 62202025, 61876207); 广东省基础与应用基础研究基金(2019A1515011700, 2020A1515010696, 2022A1515011491); 中央高校基本科研业务费专项资金(2020ZYGXZR014); 广东省财税大数据重点实验室开放基金(2022kyc

软件产品线测试是一项非常具有挑战性的工作. 基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的. 因其具有良好的可拓展性和较好的测试效果, 目前已成为软件产品线测试的重要手段之一. 在该测试方法中, 如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题. 针对以上问题, 提出一种基于多样性可满足性(SAT)求解器和新颖性搜索(novelty search, NS)的软件产品线测试算法. 具体地, 所提算法同时采用两类多样性SAT求解器产生多样化的测试用例. 特别地, 为了改善随机局部搜索SAT求解器的多样性, 提出一种基于概率向量的通用策略产生候选解. 此外, 为同时维护测试集的全局和局部多样性, 设计并运用两种基于NS算法思想的归档策略. 在50个真实软件产品线上的消融和对比实验验证多样性SAT求解器和两种归档策略的有效性, 以及所提算法较其他主流算法的优越性.

来源：2024年第6期

《软件学报》期刊编辑部

查看软件学报杂志2024年第6期