修改条件/判断覆盖（）简称MC/DC，是用在飞航安全软体文件的白箱测试方式，可以判断A等级的软体是否有经过适当的软件测试。依照修改条件/判断覆盖的准则，测试过程中以下条件至少需成立一次。DO-178B中指定会影响飞机起飞及降落安全性的软体（A等级软体），需满足修改条件/判断覆盖的代码覆盖测试。
说明.
条件/判断覆盖.考虑以下的C++程式int foo (int x, int y)
修改条件/判断覆盖.修改条