软件测试第3章白盒.pdfVIP

第3章 白盒测试方法  白盒测试方法  1、代码检查  2、覆盖路径  3、路径测试  白盒测试工具  1、白盒测试工具介绍  2、实用JUnit进行白盒测试 3.1 白盒测试方法  一般来说，测试任何产品有两种方法：第一种测试方 法就是 第二章提到的黑盒测试，第二种测试方法 为白盒测试又称为结构测试。 3.1.1代码检查  代码检查即静态白盒测试，在不执行程序的条件下仔 细 代码 （可采用互查、走查等形式），从而找出 软件故障的过程。  正式 过程中有4个关键要素：  1、确定问题。  2、遵守准则。  3、提前准备。  4、编写 报告。 3.1.1代码检查  代码检查应注意的哪些可能存在的软件缺陷呢？首先必须 对代码的规范性进行 ，另外还要考虑以下几种类别的 错误。  1、数据的 错误。  2、数据类型错误。  3、数据 错误。  4、计算错误。  5、逻辑运算错误。  6、控制流程错误。  7、子程序参数错误。  8、输入/输出错误。  9、其他错误。 3.1.2覆盖测试  覆盖测试以程序 的逻辑结构为基础设计测试 用例，要求对被测程序的逻辑结构有清楚的了解。 根据覆盖测试的目标不同，可分为：语句覆盖、 判定覆盖、条件覆盖、判定-条件覆盖、组合覆盖 及路径覆盖。下面以一个小程序为例。  Begin  if(x0)and(y0) then z=z-(x+y);  if(x2)or(z0) then z=z+5;  其中and、or是逻辑运算符，3个输入参数 。 其对应的程序流程图如图3-1所示 （a、b 、c、d、 e为控制流上的若干程序点）。 3.1.2覆盖测试  图3-1 被测程序流程图 a N Y x0 and c y0 b z=z-(x+y) N Y x2 or z0 V e d z=z+5 3.1.2覆盖测试  1、语句覆盖  所谓语句覆盖是指设计若干个测试用例，使程序中的每个 可执行语句至少被执行一次。  语句覆盖在测试程序时，对检查不可执行语句方面起到一 定作用，但被测程序并不是语句间无序的堆积，语句之间 存在着各种各样的 联系。所以，语句覆盖并不能排除 被测试程序中存在故障的风险。 3.1.2覆盖测试  2、判定覆盖  所谓判定覆盖是指设计若干个测试用例，使得程序中的每 个判定至少得到一次真值和假值，即判断中的真假分支至 少均执行一次。判定覆盖又称为分支覆盖。