MC/DC 测试用例生成器

免费的 MC/DC（修正条件/判定覆盖）工具。输入像 A && (B || C) 这样的布尔判定，即可获得完整的真值表、每个条件的唯一原因独立性配对，以及满足 MC/DC 的最小测试用例集合——非常适合 DO-178C 和 ISO 26262 测试。