逻辑覆盖路径分析白盒测试方法.PPT

白盒测试方法 一、白盒测试 二、动态测试基本概念 三、逻辑覆盖 四、路径分析 一、白盒测试 此方法把测试对象看做一个透明的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。 通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。 （一）静态白盒测试 静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。 好处： 尽早发现软件缺陷。 为黑盒测试员提供思路。 （一）静态白盒测试 审查是正式、严格、具有深度的技术评审，以便尽可能准确地确定问题之所在。 审查过程的目的： 在软件开发过程中尽可能早地发现问题。 确保对需要重做部分达成一致意见。 验证任何重做部分满足预先定义的准则。 （一）静态白盒测试 为什么要坚持编码标准和规范？ 可靠性。 可读性/维护性 移植性 （一）静态白盒测试 通用代码审查清单 数据引用错误； 数据声明错误； 计算错误； 比较错误； 控制流程错误； 子程序参数错误； 输入/输出错误； 其他检查。 （一）静态白盒测试 数据引用错误 是否引用了未初始化的变量？ 数组和字符串的下标是整数值吗？ 是否在应该使用常量的地方使用了变量？ 变量是否被赋予不同类型的值？ 为引用的指针分配内存了吗？ 、、、、 （一）静态白盒测试 数据声明错误 所有变量都赋予正确的长度和类型了吗？ 变量是否在声明的同时进行了初始化？ 存在声明过、但从未引用或者只引用过一次的变量吗？ 在特定模块中所有变量都显示声明了吗？ （一）静态白盒测试 计算错误 计算中是否使用了不同数据类型的变量？ 计算中是否了解和考虑到编译器对类型或长度不一致的变量的转换规则？ 在数值计算过程中是否可能出现溢出？ 除数/模是否可能为零？ 变量的值是否超过有意义的范围？ 对于包含多个操作数的表达式，求值的次序是否混乱，运算优先级对吗？ （一）静态白盒测试 比较错误 比较的正确吗？ 存在分数或者浮点值之间的比较吗？如果有，精确问题会影响比较吗？ 每一个逻辑表达式都正确表达了吗？逻辑计算如期进行了吗？求值次序有疑问吗？ 逻辑表达式的操作是逻辑值吗？ （一）静态白盒测试 控制流程错误 如果程序包含begin…end和 do …while 等语句组，end是否对应？ 程序、模块、子程序和循环能否终止？ 可能存在永远不停的循环吗？ 循环可能从不执行吗？ （一）静态白盒测试 子程序参数错误 子程序接受的参数类型和大小与调用代码发送的匹配吗？ 如果子程序有多个入口点，引用的参数是否与当前入口点没有关联？ 常量是否当作形参传递，意外在子程序中改动？ （一）静态白盒测试 输入/输出错误 软件是否严格遵守外部设备读写数据的专用格式？ 文件或者外部不存在或者未准备好的错误情况有处理吗？ 软件是否处理外部设备未连接、不可用，或者读写过程中存储空间占满等情况？ （二）动态白盒测试 动态白盒测试是指利用查看代码功能和实现方式得到的信息来确定哪些要测试，哪些不要测试，如何开展测试。 动态白盒测试的另一个常用名称是结构测试，因为软件测试员可以查看并使用代码的内部结构，从而设计和执行测试。 软件人员使用白盒测试方法，主要想对程序模块进行如下的检查： 对程序模块的所有独立的执行路径至少测试一次； 对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次； 在循环的边界和运行界限内执行循环体； 测试内部数据结构的有效性，等。 对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。给出一个小程序的流程图，它包括了一个执行20次的循环。 包含的不同执行路径数达520条，对每一条路径进行测试需要1毫秒，假定一年工作365 × 24小时，要想把所有路径测试完，需3170年。 二、动态测试基本概念 控制流图 环形复杂性 图矩阵 1. 程序的控制流图 符号○为控制流图的一个结点，表示一个或多个无分支的语句。箭头为边，表示控制流的方向。 在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 边和结点圈定的部分叫做区域，当对区域计数时，图形外的区域也应记为一个区域。 如果判断中的条件表达式是由一个或多个逻辑运算符 (OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单个条件的嵌套的判断（针对详细流程图）。 2. 程序环形复杂性 程序的环形（圈）复杂性给出了程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。 从控制流图来看，一条独立路径是从入口到出口至少包含有一条在其它独立路径中从未有过的边的路径。 例如，在图示的控制流图中，一组独立的路径是path1：