Prime Path Coverage in the GNU Compiler Collection
a year ago
- #GCC
- #compiler
- #code-coverage
- Implementation of prime path coverage in GNU Compiler Collection 15.
- Prime path coverage balances test numbers and coverage, requiring loops to be taken, taken more than once, and skipped.
- Prime path coverage subsumes modified condition/decision coverage (MC/DC).
- Improved algorithms for enumerating prime paths using a suffix tree reduce complexity from O(n²m²) to O(n²m).
- Efficient tracking of candidate paths using bitwise operations and compact path index representation.
- GCC's language-agnostic approach to observing and instrumenting paths for accurate coverage reporting.