书接上文
6.检查代码
6.1静态白盒测试
静态测试是指测试非运行部分---检验和审查
静态白盒测试实在不执行软件的条件下有条理地仔细审查软件设计、系统结构和代码,从而找出软件缺陷的过程。
6.2正式审查
正式审查蒋介石进行静态白盒测试的过程。正式审查的含义很广,从两个程序员之间的简单交谈,到软件设和代码的详细、严格检查均属于此过程。
正式审查4个就基本要素
1)确定问题
2)遵循规则
3)准备
4)编写报告
6.2.1同事审查
召集小组成员进行初次正式审查最简单的方法是通过同事审查的方式。
6.2.2走查
走查是比同事审查更正规化的下一步。走查中编写代码的程序员像5人小组或者其他程序员和测试员组成小组做正式陈述。
6.2.3 检验
检验是最正式的审查方式,具有高度组织化,要求每一位参与者都要训练。
6.3 编码标准和规范
还有一些问题时代码虽然可以正常运行,但是编写不符合某种标准或规范
6.4通用代码审查清单
这些清单是将代码与标准或规范比较,确保代码符合项目的设计要求。
6.4.1数据引用错误
数据引用错误是指使用未经正确声明和初始化的变量、常量、数组、字符串或记录而导致的软件缺陷
6.4.2数据声明错误
数据声明缺陷产生的原因是不正确的声明或使用变量和常量
6.4.3计算错误
6.4.4比较错误
小于,大于,等于,不等于,真,假。比较和判断错误很可能是由于边界条件问题
6.4.5控制流程错误
控制流程错误的原因是编程语言中循环等控制结构未按预期方式工作。
6.4.6子程序参数错误
子程序参数错误的来源是软件子程序不正确传递数据
6.4.7输入输出错误
输入输出错误包括文件读取、接收键盘和鼠标输入以及向打印机或者屏幕灯输出设备写入错误。
6.4.8其他检查
这个压轴清单定义了一些不合适放在类别的条目。