Tagged do-178c

1 piece

September 4, 2026 · 5 min read
What DO-178C and MC/DC Actually Require, With a Worked Example
Branch coverage on D = A and B is satisfied by two tests, and a bug that ignores B passes both. MC/DC requires each condition to independently flip the outcome, needing three tests, and it catches that bug. It is the cleanest illustration of covered against proven.