16.3-数据流分析 、接口分析、表达式分析、基于结构的动态测试用例设计原则

目录

一、数据流分析

1、概念

2、通过数据流分析可发现的错误

二、接口分析

1、接口一致性概念

2、接口一致性检查的内容

三、表达式分析

1、表达式分析纠正的错误

四、基于结构的动态测试用例设计原则

1、主要原则

2、考点：基于结构的动态测试的特点

---

一、数据流分析

1、概念

• 数据流分析是用来测试变量设置点和使用点之间的路径的情况， 这些路径也称为“定义-使用对” 或“设置-使用对”。

2、通过数据流分析可发现的错误

（1）所使用的变量没有被定义（未定义），严重错误

（2）变量被定义，但从来没有使用（未使用），可能是编程错误

（3）变量在使用之前被定义了两次（重复定义），可能是编程错误

（4）撤销变量之后再使用，严重错误（考虑变量撤销情况）

（5）变量被定义随后又被撤销随后又被定义，可能是编程错误（考虑变量撤销情况）

（6）所撤销的变量没有被定义，可能是编程错误（考虑变量撤销情况）

（7）变量撤销之后又再次被撤销，可能是编程错误（考虑变量撤销情况）

二、接口分析

1、接口一致性概念

• 接口分析主要是检查接口的情况，例如模块之间接口的一致性、模块与外部数据（数据库）之间的接口一致性等。

2、接口一致性检查的内容

（1）形参与实参在类型、数量、维数、顺序、使用上的一致性

（2）全局变量和公共数据区在使用上的一致性

三、表达式分析

1、表达式分析纠正的错误

（1）在表达式中不正确的使用了括号造成错误

（2）数组下标越界造成错误

（3）除数为0造成错误

（4）对负数开平方，或对π求正切造成错误

四、基于结构的动态测试用例设计原则

1、主要原则

（1）保证一个模块中的所有 独立路径至少被使用一次

（2）对所有逻辑值均需测试true和false

（3）在上下边界及可操作范围内运行所有循环

（4）检查内部数据结构以确保其有效性

2、考点：基于结构的动态测试的特点

• 白盒测试是基于程序的结构和逻辑来设计测试用例，验证程序。
• 黑盒测试是基于功能的测试而不关注程序的逻辑结构。