图覆盖 Graph Coverage

模型驱动的测试设计，软件测试的定义：

• verification：do the thing right
• validation：do the right thing

基于准则的结构（四种软件建模的方式）：

• 输入域 input domain（黑盒）
• 图 graph（7 章）
• 逻辑表达式 logic expression
• 语法结构 Syntactic Structures (grammars)

图覆盖介绍

Introduction to Graph Coverage

覆盖图 Covering Graphs：

• 图是测试中常用的结构
• 图有很多来源（控制流图、设计结构、有限状态机和状态表、用例）
• 测试通常想要以某些方式“覆盖”这个图

图的定义 Definition of a Graph：（20220527 考 图的四个要素）

• 结点集 N（初始 N0、终点 Nf、中间）、边 (ni, nj)（前序 i、后继 j）
• 图要有输入！

图的路径 Path in Graphs：（20220527 考）