What problem does it solve? Complex conditional logic hides bugs that only appear for specific combinations of conditions or execution paths, and ad-hoc test writing misses them. This Skill provides systematic white-box coverage techniques—MC/DC, multiple condition coverage, path coverage, and McCabe basis path testing—so every condition's independent influence and every representative execution path is exercised with a defensible, structure-derived number of test cases. ## Core Features & Use Cases - MC/DC (Modified Condition/Decision Coverage): Builds minimal truth-table case sets (roughly n+1 cases for n conditions) proving each condition independently affects the decision outcome, as required by safety-critical standards like DO-178C Level A. - Multiple Condition Coverage: Exercises all 2^n truth combinations of atomic conditions for small decisions where interaction defects must be ruled out. - Path Coverage & Basis Path Testing: Covers all execution paths when feasible, or selects V(G) linearly independent basis paths via cyclomatic complexity when path counts explode. - Use Case: Given a TypeScript guard a && (b || c), produce a 4-case MC/DC suite with independence pairs, or an 8-case multiple-condition suite, each verified against coverage tool branch reports. ## Quick Start Ask the AI to design MC/DC and basis path test cases for a function with compound boolean conditions, using the whitebox-controlflow-path techniques.
