图覆盖

图是计算机领域最常用的结构之一；

软件里存在大量的图表示：

–控制流图
–设计图
–状态机
–事件流图；

测试设计的目标之一是覆盖这些图。

图的定义：

N：节点集合
–非空

N0 ：初始节点集合
–非空，N的子集

Nf ：终结节点结合
–非空，N的子集

E：边的集合
–( ni , nj )

（Reach{}和Reach[]是不同的）

SESE 图 :

–单一初始节点，单一终结节点

控制流覆盖准则 : 图中点和边的覆盖

数据流覆盖准则 : 图中变量引用的覆盖

简单路径: 一个路径p称为简单路径，如果p除起始节点和结尾节点外不含重复节点

– 没有中间循环
– 一个圈是一个简单路径

主路径: 一个简单路径p称为主路径，如果p的任何真子路径均不是简单路径