9数据流测试课题.ppt

软件测试—结构性测试 软件测试概论 张福勇 zhangfy@dgut.edu.cn 东莞理工学院计算机学院 * * 结构性测试 逻辑覆盖 路径测试 数据流测试 小结 * 程序结构分析 程序结构分析 查找定义/引用缺陷 数据流分析 静态分析方法 基于程序片分析 * 数据流分析－定义/引用 最初是随着编译系统要生成有效的目标码而出现的，主要用于代码优化 现在主要为发现定义/引用异常缺陷 数据流测试指关注变量接收值(点)和使用（或引用）这些值(点)的路径，是结构性测试方法的一种。 变量被定义，但从来没有使用（引用）； 所使用的变量没有被定义； 变量在使用之前被定义两次； * 数据流分析－定义/引用 从数据流视角：程序是一个程序元素对数据访问的过程 数据流关系：数据“定义——使用”对 使用程序图来描述数据定义-使用对 * 数据流分析－定义/引用 数据流测试用作路径测试的“真实性检查” 定义/使用测试 基于程序片的测试 * 数据流分析——定义/使用测试 G(P)：程序图 构造方式同前，语句片段代表节点，边代表节点序列 单入口，单出口，且不允许从某个节点到其自身的边 P：程序 V：一组程序变量 * 数据流分析——定义/使用测试 节点是语句或语句的一部分；边表示语句的控制流程 1 2 3 串行 1 2 前测试循环 1 2 后测试循环 If-then 1 2 3 If-then-e