说明：在if或者switch等控制命令中，把应该考虑到的条件遗漏掉，是比较典型的Bug。特别是，某些类型的条件遗漏，在以正常系为核心的测试中往往很难发现，却非常可能在产品交付后发现是致命的Bug，所以需要特别加以留意。

　　为了不遗漏条件，必须注意以下2点：

　　1. 编写正确的条件式

　　为了“写出正确的条件式”，需要通过条件式的变换来验证写出的条件式是否表达了我们本来的意图(参考补充说明)。

　　在此基础上，如果构成条件的表达式非常复杂，就需要使用真值表对条件式构成及关系进行整理(参考补充说明表)。

　　2. 没有遗漏地编写条件

　　为了“没有遗漏地编写条件”，下面几点非常重要：

　　① 设计时进行充分的讨论(这点最为重要)。

　　② 实现时，特别注意与if相应的else有没有，与switch相应的default分支是否存在。如果没有，则需要明确理论，明确没有的理由。

　　参考：检查编写的理论表达式是否覆盖了所有条件的方法

　　把条件翻转过来考虑就可以了。比如说，“ A || B || C”这样一个条件，就考虑翻转之后的”(!A)&&(!B)&&(!C)”。

　　如果能够找到满足这个翻转后条件的输入，则说明还没有覆盖所有的条件。

　　例：没有能够覆盖所有条件的情况

　　…

　　// ERROR： 没有记述default的情况

　　} // 究竟是忘了写呢，还是根本不会发生default的情况呢?这里无法判断

　　补充说明：使表达式更容易理解的方法 以及 返回真假值方法的注意点

　　在编写表达式时同时编写多个表达式，从中选择一个最容易理解的即可。

　　有些条件是可以用多个表达式来编写的。例如下面这两个表达式是等价的。