最优化分支覆盖测试路径集研究与应用

基于DD图理论能够获取覆盖整个路径的分支测试路径集合，但缺少精简无约束边集合的方法，分支测试用例选取复杂，工程应用更少。在DD图提炼无约束边集合的基础上，对程序路径树进行研究，提出通过循环计算路径树未被选中路径中包含的未被覆盖无约束边的个数，实现最优化分支覆盖测试路径集选择方法，满足基于DO-178B和GJB/Z141军用软件语句、分支和MC/DC测试覆盖指标要求。实际工程应用结果表明，该方法实现了优化测试用例，满足了测试充分性要求。