Prime Path Coverage in the GNU Compiler Collection
a year ago
- #GCC
- #compiler
- #code-coverage
- GNU编译器集合15中实现主路径覆盖。
- 主路径覆盖平衡测试数量与覆盖率，要求循环被执行、多次执行及跳过。
- 主路径覆盖包含修改的条件/判定覆盖(MC/DC)。
- 使用后缀树改进主路径枚举算法，将复杂度从O(n²m²)降至O(n²m)。
- 通过位运算和紧凑路径索引表示高效追踪候选路径。
- GCC采用与语言无关的方法观察和插桩路径，确保覆盖率报告的准确性。