MC/DC網羅を要求する安全規格（DO-178Cなど）に従う場合、何を確認する必要があるか。

2026年3月26日

MC/DCは安全性が重要なシステムにおいて、論理の正当性を厳格に保証するために用いられる。

リスク緩和（Mitigation）としての「テスト」が直接的に減らすことができるのはどれか。

複雑度が高いコードに対するTTAの推奨として適切なものはどれか。