Elektrine lite

← Feed

@lefticus@mas.to

Post #760295

2026-03-16 15:30 UTC

Ep 524 - Line Coverage vs Branch Coverage vs Path Coverage https://youtu.be/Gr0aI-TPRiQ

Replies (2)

  • @horenmar@mastodon.social 2026-03-18 11:46

    @lefticus Two quick notes: 1) Path coverage can also be gambled. Arguably you do it every day, e.g. by using lookup tables instead of switches. This is source of many infinite arguments about mandatory MCDC coverage levels. 2) Clang/GCC & their attendant tooling don't actually do branch coverage, they do condition coverage. For atomic conditions like in the video there is no difference, but in compound conditions you can see the difference.

    Open ##1248480

  • @Logical_Error@fosstodon.org 2026-03-18 13:01

    @lefticus are there tools that exist to auto deduce path coverage?

    Open ##1248481