软件测试 9第九章路径测试.pptVIP

软件测试 白盒测试 白盒测试(White-box Testing)又称结构测试、逻辑驱动测试或基于程序的测试(Program-based Testing)。 白盒测试是根据被测程序的内部结构设计测试用例的一类测试。因为它涉及到的是软件设计的细节。 白盒测试关注的是被测对象的内部状况，需要跟踪源代码的运行。测试者必须理解软件内部设计与程序实现，并且能够编写测试驱动程序，一般由开发人员兼任测试人员的角色。 白盒测试 结构性测试的方法：逻辑驱动、基路径测试、数据流测试等。 结构性测试力求提高测试覆盖率。 结构性测试主要用于软件验证。 “我们在正确地构造一个系统吗？” 功能性测试是一种确认技术。 “我们在构造一个正确的系统吗？” 白盒测试 原则： 保证一个模块中的所有独立路径至少被使用一次； 对所有逻辑值均需测试true和false; 在上下边界及可操作范围内运行所有循环； 检查内部数据结构以确保其有效性。 测试方法 路径测试 数据流测试 黑盒测试与白盒测试的比较 黑盒测试：从用户观点出发，按规格说明书要求的输入数据与输出数据的对应关系设计测试用例。因此它 是根据程序外部特征进行测试。 白盒测试：根据程序内部逻辑结构进行测试。 这两类测试方法是从完全不同的起点出发，并且是两个完全对立的出发点。这两类方法各有侧重，在测试的实践中都是有效和实用的。在进行单元测试时大都采用白盒测试，而在集成测试或系统测试中大都采用黑盒测试。 黑盒测试是从用户的观点出发，根据程序外部特性进行的测试。如果外部特性本身有问题或规格说明的规定有误，用黑盒测试方法是发现不了的。 黑盒测试只能观察软件的外部表现，即使软件的输入输出都是正确的，却并不能说明软件就是正确的。因为程序有可能用错误的运算方式得出正确的结果，这种情况只有白盒测试才能发现真正的原因。 白盒测试能发现程序里的隐患，象内存泄漏、误差累计问题。在这方面，黑盒测试存在严重的不足。 第三部分 结构性测试 图论 路径测试 数据流测试 结构性测试回顾 用于测试的图 程序图的定义 传统定义：节点是程序语句，边表示控制流 改进定义：节点要么是整个语句，要么是语句的一部份，边表示控制流 常用的程序图 续………… 2 有向图 简单的说：有向图就是在图中增加了方向。 定义： 有向图D=（V，E）包含： 一个节点的有限集合：V={n1,n2,……,nm}， 一个边的集合：E={e1,e2,……,ep}， 其中每条边ek=ni, nj，是节点ni, nj ∈ V的一个对偶。 内度与外度 内度与外度 内度：有向图中节点的内度，是将该节点作为终止节点的不同边的条数，记为：indeg（n） 外度：有向图中的外度，是将该节点作为开始节点的不同边的条数，记为：outdeg（n） 例如： 节点的类型 源节点：内度为0的节点 吸收节点：外度为0的节点，又称为汇节点 传递节点：内度不为0，并且外度不为0的节点 孤立节点：既是源节点又是汇节点 源节点和吸收节点构成图的外部边界 有向图的相邻矩阵 例： 路径与半路经 路径 定义：（有向）路径是一系列边，使得对于该序列中的所有相邻边对偶ei、ej来说，第一条边的终止节点是第二条边的初始节点。 环路是一个在同一个节点上开始和结束的有向路径 半路径 定义： （有向）半路径是一系列边，使得对于该序列中至少有一个相邻边对偶ei、ej来说，第一条边的初始节点是第二条边的初始节点，或第一条边的终止节点是第二条边的终止节点。 有向路径有时又叫链。 可到达性矩阵 n—连接 定义： 有向图中的两个节点ni和nj是： 0-连接，当且仅当ni和nj之间没有路径 1-连接，当且仅当ni和nj之间有一条半路径，但是没有路径 2-连接，当且仅当ni和nj之间有一条路径 3-连接，当且仅当ni和nj之间有一条路径，并且从nj到和ni有一条路径 例： 强组件 定义 有向图的强组件是3-连接节点的最大集合 强组件使我们能够通过清除循环和孤立节点来简化有向图 有向图的压缩图 用压缩节点代替有向图中的环路和孤立节点 圈数 定义： 图G的圈数由V（G）= e–n + p给出，其中： e是G中的边数； n是G中的节点数； p是G中的组件数； V（G）是图中不同区域的个数； 通过在测试中使用圈复杂度，会得到强连接图，将生成较高圈复杂度的图 第九章 路径测试 本章内容 逻辑覆盖（掌握） DD-路径（掌握） 测试覆盖指标（了解） 基路径测试（掌握） 程序图 程序图是一种有向图，图中的节点表示语句片断，边表示控制流。 如果 i 和 j 是程序图中的节点，从节点 i 到节点 j 存在一条边，当且仅当对应节点 j 的语句片断可以在对应节点 i 的语句片断之后立即执行。 三角形程序的程序图（P125） 图9-2 9.2 D