本系列文章将带大家一起解析一下白盒测试经常用到的GJB-8114标准规则，其中一共有124条强制性规则。GJB-8114强制性规则是按类分的，一共有13类，前面的文章已经讲过一部分，本文继续往下进行，为大家介绍一下分支控制类规则。

R-1-4-1在if…else if…else中不能省略else分支

在“if…else if…else”结构中，最后这个else分支是不能省略的。往往我们在写程序的时候写“if…else if…”后面没有程序要处理了，就不写了。

这种情况下，程序的执行应该是没有问题的，但是咱们的规则要求，后面必须要带else，同时写上一个注释：其他情况不处理等等，后面一定要有一个else。

这个大家要记住，是if…else if…else”结构中最后的else必须存在，“if…else”这个语句，后面是可以不带else的。

R-1-4-2条件分支如果为空，必须以单独一行的分号加注释进行明确说明

这个实际上是为了让读程序的人知道这个是一个空的分支，不作处理，标准形式是单独一行的分号加注释。如果你什么都没有，或者只有一个分号，或者没有分号只有一个注释，这些都不符合规则。

为什么这么规定呢？这个就是为了阅读方便。就是一个强制性的规则，对程序没有任何影响，但是比较严格的测评机构就会给你提问题了。

R-1-4-3禁止使用空switch语句

凡是写过程序的人，基本上很少有犯这种错误的，咱们的GJB-8114规则中也提出了这样的要求。

R-1-4-4禁止对布尔变量使用switch语句

一个布尔变量它除了真的就是假的，所以不能用switch语句来判断，只能用if、else这种方式来判断。

R-1-4-5禁止switch语句中只包含default语句

也就是说一个switch语句中，至少有一个 case语句、一个default语句。

R-1-4-6除枚举类型列举完全外，switch必须要有default

比如说一个枚举类型里面有三种情况，就必须要把这三种情况列全，如果没有列全的话，就必须有default。换句话说，switch语句除非你把所有的情况都用case写完了，否则必须要有default语句。

R-1-4-7 Switch中的case和default必须以break或return终止，共有case必须加以明确注释，要求必须以“/*shared*/”形式注

比如说我们的case1、case2、case3都想用同一种处理方式，像遵循示例中表示的，case2和case3处理相同，用一个注释说明，就直接跳到case3了，一定有一个明确的注释，而不是case2里面丢了一个break。

R-1-4-8 Switch语句的所有分支必须具有相同的层次范围

像违背示例中展示的例子，它的层次范围构成了一个单独的单元，if后面用大括号括起来了，在里面用了一个break，else实际上是接着往下执行的，所以它是错的，当然我们写程序的时候很少会这样写。