- 7
- 0
- 约1.66千字
- 约 49页
- 2019-12-13 发布于湖北
- 举报
第10章 数据流测试 数据流图—把数据源、数据接受、数据存储和数据处理作为节点描述的一个图形,数据之间的逻辑体现为节点之间的边。 数据流测试—根据代码中变量的使用情况进行的测试。 关注的是变量接收值的点和使用(引用)这些值的点间的结构。 数据流测试 两种主要形式的数据流测试方法: 定义/使用测试:提供一组基本定义和一种统一的测试覆盖指标结构; 程序片测试 从程序图入手! 数据流测试 针对定义/引用异常缺陷: 变量被定义,但从来没有引用; 使用的变量没有被定义; 变量在使用之前被定义两次。 定义/使用测试 基本表示 P:程序 G(P):程序图 V:程序变量集合 PATHS(P):P中所以路径集合 基本定义 定义节点、使用节点、谓词使用、计算使用、 定义-使用路径、定义清除路径 定义/使用测试 例子 佣金问题 程序图——DD路径图 找出所有变量,每个变量的定义节点、使用节点; 找出各变量的定义-使用路径和定义清除路径; 定义/使用路径测试覆盖指标 Rapps-Weyuker数据流指标 全路径 全边 全节点 全定义准则 全使用准则 全谓词使用/部分计算使用准则 全计算使用/部分谓词使用准则 全定义-使用路径准则 基于程序片的测试 假设片S(V,n)是一个变量上的片,即集合V由单一变量v组成。 如果语句片段n是v的一个定义节点,则n包含在该片中。 如
原创力文档

文档评论(0)