控制流测试
控制流测试 (Control Flow Testing):是一种在考虑测试对象的控制流情况下导出测试用例的测试方法,并且借助于控制流图能评估测试的完整性(覆盖率)。
原则
- 控制流图是一个带有开始节点和结束节点的有向图
- 程序的指令(语句)是通过节点来表示的
- 一个不带分支和汇总的语句序列可以简单地用一个节点来表示
- 语句之间的路径通过有向线(控制流)表示
- 控制流图的开始和结束节点在实际应用中常常被省略
测试活动
- 列出应该覆盖的路径
- 设计输入、输出使得程序能按逻辑含义走到此路径
- 运行测试来观察此路径是否走到。如果没有走到,则要么是对逻辑理解不足,要么是逻辑本身有错误。
主要的控制流测试方法:
- 语句覆盖
- 分支覆盖
- 判定覆盖
- 路径覆盖(包括结构化的路径覆盖等)
语句覆盖
语句覆盖(C0-覆盖)/ 语句覆盖测试 / 语句测试(Statement testing):在控制流中每条可执行的语句至少被执行一次!
- 必要的、最简单的,但也是最弱的标准
- 无法检测到缺失的语句
- 但能发现无法执行到的语句(死代码)
覆盖率:
语句覆盖 = 已执行的语句数目 / 所有语句的总数目 * 100%
语句即节点,控制流图内的所有节点都走到即为 100% 语句覆盖
分支覆盖
分支覆盖(C1-覆盖)/ 分支覆盖测试 / 分支测试(Branch testing):在控制流图内的每一条边都至少被执行一次!
- 在实践中作为最小的测试标准
- 能发现无法执行到的程序分支
- 无法发现缺失的分支
- 没有测试到分支的组合
覆盖率:
分支覆盖 = 已执行