Software engineering: The importance of MC/DC for DO-178, ISO26262, IEC 61508 & other certifications

Modified Condition/Decision Coverage (MC/DC) is a key technique to ensure that complex code with subcondition logic is tested adequately. It is a metric specified for use by some functional safety standards, including DO-178C and ISO 26262. Here's what it means, and how it can be achieved. The LDRA tool suite is used to demonstrate the principles.
00:15 Key references
00:45 What is MC/DC
01:22 Using TBrun to achieve MC/DC coverage
03:01 Extreme Test
06:19 Adding test cases
06:37 Matching MC/DC pairs
07:43 Short circuit analysis
09:54 Achieving increased MC/DC coverage
11:57 N+1 test cases for 100% coverage
12:32 ISO 26262, IEC 61508 and DO-178 all use MC/DC