《表2 不同路径覆盖情况对比》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《遗传算法辅助的动态符号执行测试方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

注：a为JDart，b为JDart-Ga。

在实验过程中，使用JDart和JDart-Ga分别对表1中测试对象进行测试，并收集了相关的路径覆盖信息，实验结果如表2和图4所示。其中，表2为三种路径的覆盖情况，图4为路径覆盖率。从表2中可以看出，当DON’T KNOW PATHS为零时，即表示不存在SMT求解器无法求解的约束条件，所以JDart-Ga和JDart覆盖的OK PATHS、ERROR PATHS和TOTALS PATHS都相等。在17个测试对象中，有11个测试对象不存在SMT求解器无法求解的路径约束条件，剩余6个测试对象中存在无法探索的路径。其中，对于solvers＿foo、nested＿bar和double2long＿foo 3个测试对象，JDart-Ga的路径覆盖数量高于JDart，路径覆盖率分别提升了20%、23%和16%。具体来说，OK PATHS分别增加了0、2和1条，ERROR PATHS分别增加了1、1和0条，TOTALS PATHS分别增加了0、6和0条。