[软件测试第03章1.pptVIP

第3章 软件测试基本技术 3.1 黑盒测试与白盒测试 3.2 白 盒 测 试技术 3.3 黑 盒 测 试技术 3.1 黑盒测试与白盒测试 任何工程产品都可以使用白盒测试和黑盒测试两种方法之一进行测试。 1．黑盒测试 黑盒测试：已知产品的功能设计规格和用户手册，可以进行测试证明每个功能是否实现、每个实现了的功能是否符合要求，以及产品的性能是否满足用户的要求。 软件的黑盒测试意味着测试要在软件的接口处进行，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书和用户手册，检查程序的功能是否符合它的功能说明，以及性能是否满足用户的要求。因此黑盒测试又叫功能测试或数据驱动测试。 2．白盒测试 白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。 白盒测试是对软件的过程性细节做细致的检查，利用程序内部的逻辑结构，对程序所有逻辑路径进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。 3.2 白 盒 测 试 技 术 白盒测试的测试对象基本上是源程序，是以程序的内部逻辑为基础的一种测试方法。 白盒测试方法又可分为静态测试和动态测试。静态测试主要是检查软件的表示和描述是否一致，动态测试主要是对软件系统行为进行分析。 3.2.1 白盒测试静态测试 最常见的静态测试是找出源代码的语法错误，这类测试可由编译器来完成，因为编译器可以逐行分析检验程序的语法，找出错误并报告。除此之外，有些地方存在非语法方面的错误，只能通过人工检测的方法来判断。 人工检测的方法主要有代码检查法、静态结构分析法等。 代码检查法主要检查： (1) 检查代码和设计的一致性； (2) 代码的可读性及对设计标准的遵循情况； (3) 代码逻辑表达的正确性； (4) 代码结构的合理性； (5) 程序中不安全、不明确和模糊的部分； (6) 编程风格方面的问题等。 代码检查方式主要有： （1）桌面检查：程序员单独完成 （2）代码审查：程序员和测试员根据检查列表阅读程序 （3）走查：程序员和测试员通过代表性测试用例逻辑运行程序 静态结构分析法常用以下方法进行分析： (1) 生成各种图表 ① 标号交叉引用表 ② 变量交叉引用表 ③ 子程序（宏、函数）引用表 ④ 函数调用关系图：展示系统的结构 ⑤ 模块控制流图：反映函数的内部结构 (2)静态错误分析 静态错误分析主要用于确定在源程序中是否有某类错误或“危险”结构。 ① 类型和单位分析 ② 引用分析 ③ 表达式分析 ④ 接口分析 3.2.2 程序插桩技术 在软件动态测试中，程序插桩是一种基本的测试手段，有着广泛的应用。 程序插桩方法是借助往被测程序中插入操作，来实现测试目的的方法，即向源程序中添加一些语句，实现对程序语句的执行、变量的变化等情况进行检查。 设计插桩程序时需要考虑的问题包括： ① 探测哪些信息； ② 在程序的什么部位设置探测点； ③ 需要设置多少个探测点； ④ 如何在程序中特定部位插入某些用以判断变量特性的语句。 3.2.3 逻辑覆盖 逻辑覆盖也是白盒测试主要的动态测试方法之一，是以程序内部的逻辑结构为基础的测试技术，是通过对程序逻辑结构的遍历实现程序的覆盖，这一方法要求测试人员对程序的逻辑结构有清楚的了解 从覆盖源程序语句的详细程度分析，逻辑覆盖标准有语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖。 为便于理解，根据下面所示的2个被测试程序（用C语言书写），分别讨论几种常用的覆盖技术。 程序1如下： function js（float A，float　B，float X） { if（ A1B=0）X=X/A；  if（A=2||X1） X=X+1； } 程序2如下： void? DoWork(int x，int y，int z)?? {? int? k=0，j=0;????? ? if((x3)(z10))?????? {?? k=x*y-1;???? //语句块1??? ??????? j=sqrt(k);??????? }?????? if((x= =4)||(y5))?????? {?? j=x*y+10;??