MC/DC テストケースジェネレーター

無料の MC/DC（修正条件/判定カバレッジ）ツール。A && (B || C) のようなブール判定を入力すると、完全な真理値表、各条件の一意原因独立ペア、MC/DC を満たす最小テストケースセットが得られます。DO-178C や ISO 26262 のテストに最適です。