文档介绍：软件测试技术白盒
本章内容
白盒测试技术
黑盒测试技术
沈阳师范大学软件学院
*
本节内容
白盒测试技术
静态测试方法
逻辑覆盖测试
基本路径测试
其他白盒测试技术
沈阳师范大学软件学院
*
静态测试方法
白盒测试概述
程序的结构和处理过程像白盒子一样透明。允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。
沈阳师范大学软件学院
*
输入
输出
静态测试方法
桌前检查
由程序员自己检查编写好的程序。程序员在程序通过编译之后，进行单元测试设计之前，对源程序代码进行分析、检验，并补充相关的文档，目的是发现程序中的错误。
范例 <br****题
沈阳师范大学软件学院
*
静态测试方法
代码审查
代码审查是由若干程序员和测试员组成一个审查
小组，通过阅读、讨论和争议，对程序进行静态分析的过
程。
沈阳师范大学软件学院
*
静态测试方法
代码审查
代码审查一般分如下七步：
沈阳师范大学软件学院
*
静态测试方法
代码走查
走查与代码审查基本相同，其过程分为两步。第一步也把材料先发给走查小组每个成员，让他们认真研究程序，然后再开会。开会的程序与代码审查不同，不是简单地读程序和对照错误检查表进行检查，而是让与会者“充当”计算机，即首先由测试组成员为被测程序准备一批有代表性的测试用例，提交给走查小组。走查小组开会，集体扮演计算机角色，让测试用例沿程序的逻辑运行一遍，随时记录程序的踪迹，供分析和讨论用。
沈阳师范大学软件学院
*
逻辑覆盖测试
逻辑覆盖测试
语句覆盖
判定覆盖
条件覆盖
判定-条件覆盖
条件组合覆盖
沈阳师范大学软件学院
*
逻辑覆盖测试
逻辑覆盖
沈阳师范大学软件学院
*
(A>1) and (B=0)
(A=2) or (X>1)
X=X/A
X=X+1
T
T
F
F
a
b
d
c
e
L1 ( a c e )
= {(A>1) and (B=0)} and
{(A=2) or (X>1)}