MC/DC要求每个条件独立影响判定结果，具体来说，对于判定中的每一个条件C，要存在两个用例或者两次计算，条件C本身的取值相反，其他条件的取值相同，判定的计算结果相反。我们来看看上图所示例子：
对于条件A，用例1和用例2，A取值相反，B和C取值相同，判定的计算结果相反。
对于条件B，用例1和用例3，B取值相反，A和C取值相同，判定的计算结果相反。
对于条件C，用例2和用例4，C取值相反，A和B取值相同，判定的计算结果相反。
这四个用例就完成了这个判定的MC/DC。
工具在找出遗漏用例方面可以做什么？通常，建立新用例不需要更改全部输入，一般只需要更改一个输入，因此，针对某个未覆盖的逻辑单位，工具可以从现有用例中计算出一个近似用例，即修改最少的用例，还可以根据代码逻辑，生成修改提示，这样，根据修改提示对近似用例进行修改，就可以得到新用例了。这也是工具的计算能力与人的智慧相结合的一个典型应用。
上图是白盒用例设计器界面。当我们指定一个未覆盖逻辑单位，打开用例设计器， 根据提示修改近似用例，就可以建立一个可以覆盖指定目标的新用例。
MC/DC是欧美的民用航空器的强制标准，其实也是受到一些质疑的，因为太难完成了。这样一个判定：
A && ( (B || C) && (D && E) ) || ( (F || G) && (H || I || J) || K )
有十一个条件，完成MC/DC至少需要十二个用例，难不难？如果使用白盒用例设计器，大概三分钟就可以完成。
