【摘要】通过讨论进行修正的条件/判定覆盖（MC/DC）分析时可能会遇到的问题，明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC，并证明如果将一个判定分解为多个等价的判定，对各个部分满足MC/DC的测试集，对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/DC问题，提出MC/DC分析发现问题的方式，以及对问题的处理建议。