白盒测试 代码检查 二

3．编码规范

编码规范是程序编写过程中必须遵循的规则，一般会详细规定代码的语法规则、语法格式等，如表2-1所示。

序号	总则条款
排版
1	1-1：程序块要采用缩进风格编写，缩进的空格数为4个
2	1-2：相对独立的程序块之间、变量说明之后必须加空行
3	1-3：较长的语句(>80字符)要分成多行书写，长表达式要在低优先级操作符处划分新行，操作符放在新行之首，划分出的新行要进行适当的缩进，使排版整齐，语句可读
4	l-4：循环、判断等语句中若有较长的表达式或语句，则要进行适当的划分，长表达式要在低优先级操作符处划分新行，操作符放在新行之首
5	1-5：若函数或过程中的参数较长，则要进行适当的划分
6	1-6：不允许把多个短语句写在一行中，即一行只写一条语句
7	1-7：if、while、for、default、d0等语句自占一行
8	1-8：对齐只使用空格键，不使用TAB键
9	1-9：函数或过程的开始、结构的定义及循环、判断等语句中的代码都要采用缩进风格，case语句下的情况处理语句也要遵从语句缩进要求
10	1-10：程序块的分界符(如c，C十+语言的大括号“f”和“r)应各自独占一行并且位于同一列，同时与引用它们的语句左对齐。在函数体的开始、类的定义、结构的定义、枚举的定义以及If、f_0r、d0、while0、switch、case语句中的程序都要采用如上的缩进方式
11	1-1l：在两个以上的关键字、变量、常量进行对等操作时，它们之间的操作符之前、之后或者前后要加空格；进行非对等操作时，如果是关系密切的，立即操作符(如～，)，后不应加空格
注释
1	2-l：一般情况下，源程序有效注释量必须在2096以上
2	2-2：说明性文件(如头文件h文件、．1’ne文件、def文件、编译说明文件．cfg等)头部应进行注释，注释必须列出：版权说明、版本号、生成日期、作者、内容、功能、与其他文件的关系、修改日志等，头文件的注释中还应有函数功能简要说明
3	2-3：源文件头部应进行注释，列出版权说明、版本号、生成日期、作者、模块目的砌能、主要函数及其功能、修改日志等
4	2_4：函数头部应进行注释，列出函数的目的／功能、输入参数、输出参数、返回值、调用关系(函数、表)等
5	2-5：边写代码边注释，修改代码的同时修改相应的注释，以保证注释与代码的一致性。不再有用的注释要删除
6	2-6：注释的内容要清楚、明了，含义准确，防止注释二义性
7	2-7：避免在注释中使用缩写，特别是非常用缩写
8	2-8：注释应与其描述的代码相近，对代码的注释应放在其上方或右方(对单条语句的注释) 相邻位置，不可放在下面，如放于上方则需与其上面的代码用空行隔开
9	2-9：对于所有有物理含义的变量、常量，如果其命名不是充分自注释的，在声明时都必须加以注释，说明其物理含义。变量、常量、宏的注释应放在其上方相邻位置或右方
10	2-10: 数据结构声明（包括数组、结构、类、枚举等），如果其命名不是充分自注释的，必须加以注释。对数据结构的注释应放在其上方相邻位置，不可放在下面；对结构中每个域的注释放在此域的右方
11	2-11：全局变量要有详细的注释，包括对其功能、取值范围、哪些函数或过程存取它以及存取时的注意事项等的说明
12	2-12：注释与所描述内容进行同样的编排
13	2-13：将注释与其上面的代码用空行隔开
14	2-14：对变量的定义和分支语句（条件语句、循环语句等）必须编写注释
15	2-15：对于switch语句下的case语句，如果因为特殊情况需要处理完一个case后进入下一个case处理，必须在该case语句处理完、下一个case语句前加上明确的注释
标识符命名
1	3-1：标识符的命名要清晰、明了，有明确的定义，同时使用完整的单词或大家基本可以理解的缩写，避免使人产生误解
2	3-2：命名中若使用特殊约定或缩写，则要有注释说明
3	3-3：自己特有的命名风格，要自始至终保持一致，不可来回变化
4	3-4：对于变量命名，禁止取单个字符（如i、j、k…），建议除了要有具体含义外，还能表明其变量类型、数据类型等，但i、j、k做局部循环变量是允许的
5	3-5：命名规范必须与所使用的系统风格保持一致，并在同一项目中统一，比如采用UNIX的全小写加下划线的风格或大小写混排的方式，不要使用大小写与下划线混排的方式
可读性
1	4-1：注意运算符的优先级，并用括号明确表达式的操作顺序，避免使用默认优先级
2	4-2：避免使用不易理解的数字，用有意义的标识来替代。涉及物理状态或者含有物理意义的常量，不应直接使用数字，必须用有意义的枚举或宏来代替
变量
1	5-1：去掉没必要的公共变量
2	5-2：仔细定义并明确公共变量的含义、作用、取值范围及公共变量间的关系
3	5-3：明确公共变量与操作此公共变量的函数或过程的关系，如访问、修改及创建等
4	5-4：当向公共变量传递数据时，要十分小心，防止赋予不合理的值或越界等现象发生
5	5-5：防止局部变量与公共变量同名
6	5-6：严禁使用未经初始化的变量作为右值
函数、过程
1	6-1：对所调用函数的错误返回码要仔细、全面地处理
2	6-2：明确函数功能，精确（但不是近似）地实现函数设计
3	6-3：编写可重入函数时，应注意局部变量的使用（如编写C/C++语言的可重入函数时，应使用auto即缺省局部变量或寄存器变量）
4	6-4：编写可重入函数时，若使用全局变量，则应通过关中断、信号（即P、V操作）等手段对其加以保护
可测性
1	7-1：在同～项目组或产品组内，要有一套统一的为集成洲试与系统联调准备的调测开关及相应打印函数，并且要有详细的说明
2	7-2：在同一项目组或产品组内，调测打印出的信息串的格式要有统一的形式。信息串中至少要有所在模块名(或源文件名)及行号
3	7-3：编程的同时要为单元测试选择恰当的测试点，并仔细构造测试代码、测试用例，同时给出明确的注释说明。测试代码部分应作为(模块中的)一个子模块，以方便测试代码在模块中的安装与拆卸(通过调测开关)
4	7-4：在进行集成测试／系统联调之前，要构造好测试环境、测试项目及测试用例，同时仔细分析并优化测试用例，以提高测试效率
5	7-5：使用断言来发现软件问题，提高代码可测性
6	7-6：用断言来检查程序正常运行时不应发生，但在调测时有可能发生的非法情况
7	7-7：不能用断言来检查最终产品肯定会出现且必须处理的错误情况
8	7-8：为较复杂的断言加上明确的注释
9	7-9：用断言确认函数的参数
10	7-10：用断言保证没有定义的特性或功能不被使用
11	7-11：用断言对程序开发环境(OS／Compiler／Hardware)的假设进行检查
12	7-12：正式软件产品中应把断言及其他调测代码去掉(即把有关的调测开关关掉)
13	7-13：在软件系统中设置与取消有关测试手段，不能对软件实现的功能等产生影响
14	7-14：用调测开关来切换软件的DEBL7G版和正式版，而不要同时存在正式版本和DEBuG版本的不同源文件，以减少维护的难度
15	7-15：软件的DEBUG版本和发行版本应该统一维护，不允许分家，并且要时刻注意保证两个版本在实现功能上的一致性
程序效率
1	8-1：编程时要经常注意代码的效率
2	8-2：在保证软件系统的正确性、稳定性、可读性及可测性的前提下，提高代码效率
3	8-3：局部效率应为全局效率服务，不能因为提高局部效率而对全局效率造成影响
4	8-4：通过对系统数据结构的划分与组织的改进，以及对程序算法的优化来提高空问效率
5	8-5：循环体内工作量最小化
质量保证
1	9-1：在软件设计过程中构筑软件质量
2	9-2：代码质量保证优先原则
3	9-3：只引用属于自己的存储空间
4	9-4：防止引用已经释放的内存空间
5	9-5：过程，函数中分配的内存，在过程／函数退出之前要释放
6	9-6：过程／函数中申请的(为打开文件而使用的)文件句柄，在过程，函数退出之前要关闭
7	9-7；防止内存操作越界
8	9-8：认真处理程序所能遇到的各种出错情况
9	9-9：系统运行之初，要初始化有关变量及运行环境，防止未经初始化的变量被引用
10	9-10：系统运行之初，要对加载到系统中的数据进行一致性检查
11	9-11：严禁随意更改其他模块或系统的有关设置和配置
12	9-12：不能随意改变与其他模块的接口
13	9-13：充分了解系统的接口之后，再使用系统提供的功能
14	9-14：编程时，要防止差1错误
15	9-15：要时刻注意易混淆的操作符。当编完程序后，应从头至尾检查一遍这些操作符，以防止拼写错误
16	9-16：如果有可能，if语句尽量加上else分支，对没有else分支的语句要小心对待；switch语句必须有default分支
代码编辑、编译、审查
1	10-1：打开编译器的所有告警开关对程序进行编译
2	10-2：在产品软件(项目组)中，要统一编译开关选项
3	10-3：通过代码走读及审查方式对代码进行检查
4	10-4：测试部测试产品之前，应对代码进行抽查及审查
代码测试、维护
1	11-1：单元测试要求至少达到语句覆盖
2	11-2：单元测试开始要跟踪每一条语句，并观察数据流及变量的变化
3	11-3：清理、整理或优化后的代码要经过审查及测试
4	1l-4：代码版本升级要经过严格测试
5	11-5：使用工具软件对代码版本进行维护
6	11-6：正式版本上软件的任何修改都应有详细的文档记录
宏
1	12-1：用宏定义表达式时，要使用完备的括号
2	12-2：将宏所定义的多条表达式放在大括号中
3	12-3：使用宏时，不允许参数发生变化

4．代码检查规则

在代码检查中，需要依据被测软件的特点，选用适当的标准与规则规范。在使用测试软件进行自动化代码检查时，测试工具一般会内置许多的编码规则，例如，Parasoft公司用于C/C++语言测试的C++Test,内置了5类规则：通用规则、C++编码规则、C编码规则、Meyers-Klaus规则和自定义规则。我们需要根据编程语言以及被测程序的特点，挑选适当的规则进行检查。

例如，在测试中，可以选择表2-2中的规则进行自动化测试，在此基础上使用桌面检查、代码走查、代码审查等人工检查的方法仔细检查程序的结构、逻辑等方面的缺陷。

表2-2代码检查规则

序号	规则描述	重要程度
1	if，else，while，do语句后面必须跟一个语句块，哪怕是空的	一般
2	使用float或double类型变量比较时，用“<=”和“=>”代替“==”	重要
3	初始化所有变量	一般
4	不要使用goto语句	一般
5	检查new的返回值	重要
6	在混合表达式中，所有的运算符应该应用于相同的数据类型之间	重要
7	不要比较不同类型的指针变量	重要
8	初始化所有的指针变量	一般
9	代码行的长度小于80字符	一般
10	成员函数中避免使用全局变量	一般
11	限制函数调用的数目	一般
12	限制每个函数中代码块的数目	一般
13	避免使用全局变量	一般
14	为防止编译器生成一个构造函数，至少声明一个构造函数	一般
15	不要把常量转变为非常量	一般