白盒测试
白盒:测试软件产品的内部结构和处理过程,不测功能。
静态测试
**概念:**不运行程序进行测试,只检查和审阅,包括代码检查、静态结构分析、代码质量度量等。
- 代码检查:包括代码走查、代码审查等,主要检查代码和设计的一致性、代码对标准的遵循、可读性、代码的逻辑表达的正确性和代码结构的合理性等方面,包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。
a:代码走查:(1)在走查会议上各开发人员自己讲解自己的逻辑写法,让别人提意见,主要关注核心代码;(2)编码的风格与规范。
b:代码审查。
项目 | 走查 | 审查 |
---|---|---|
准备资料 | 通读设计和编码 | 应准备好需求描述文档、程序设计文档、程序的源代码清单、代码编码标准和代码缺陷检查表 |
形式 | 非正式会议 | 正式会议 |
参加人员 | 开发人员为主 | 项目组成人员,包括测试人员 |
主要技术方法 | 无 | 缺陷检查表 |
注意事项 | 限时,不要现场改代码 | 限时,不要现场改代码 |
生成文档 | 会议记录 | 静态分析错误报告 |
目标 | 代码标准规范,无逻辑错误 | 代码标准规范,无逻辑错误 |
代码审查清单: 只对结构化编程测试具有意义,不包括特殊应用领域和面向对象的软件测试。审查清单包括的内容如下:
- 数据引用错误:变量未初始化、数组和字符串下标越界、对数组的下标操作遗漏[0]、变量与赋值类型不一致、引用的指针未分配内存。
- 数据声明错误:
- 计算错误
- 比较错误
- 控制流程错误
- 子程序参数错误
- 输出错误
语句和判定覆盖
Dim a,b As Integer
Dim c As Double
If(a>0 And b>0) then
c=c