| 层次 | 节点覆盖 ≤ 边覆盖 ≤ 路径覆盖(强度递增) |
|---|---|
| 应用 | 控制流图、状态图、业务流程图、数据流(定义-使用) |
图覆盖提供了讨论覆盖强度的统一语言,便于在评审中比较不同用例集的充分性。
覆盖层次示例(登录流程)
| 层次 | 做法 |
|---|---|
| 节点覆盖 | 执行到成功、失败与锁定分支的每个处理步骤 |
| 边覆盖 | 走完全部状态迁移,包括锁定与解锁边 |
| 路径覆盖 | 主链路与关键回退路径的组合 |
把程序或流程抽象为有向图,用节点覆盖、边覆盖与路径覆盖度量测试充分性;流程测试、状态测试与数据流测试都可统一到图覆盖框架。
| 层次 | 节点覆盖 ≤ 边覆盖 ≤ 路径覆盖(强度递增) |
|---|---|
| 应用 | 控制流图、状态图、业务流程图、数据流(定义-使用) |
| 层次 | 做法 |
|---|---|
| 节点覆盖 | 执行到成功、失败与锁定分支的每个处理步骤 |
| 边覆盖 | 走完全部状态迁移,包括锁定与解锁边 |
| 路径覆盖 | 主链路与关键回退路径的组合 |