为了研究智能算法在测试用例集约简中的应用, 本文提出一种基于萤火虫算法的测试用例集约简算法. 将测试用例集约减问题转化为二元优化的集覆盖问题; 对萤火虫算法进行改进, 通过设置萤火虫细胞的方法, 将萤火虫位置转化为 0/1 序列; 将萤火虫算法与贪心算法相结合, 进行求解. 对不同程序和不同规模的测试用例集的仿真实验, 在相同的测试次数下, 萤火虫算法得到最优解的次数高于贪心算法和优化的 GRE 算法, 萤火虫算法约简后测试开销比贪心算法减少了 12.6%, 比优化的 GRE 算法减少了 2.3%. 结果表明: 该算法在约简能力和稳定性方面均优于传统算法.