结构测试

路径测试

程序图：给定一段用命令式语言编写的程序，其程序图是一种有向图，图中的节点表示语句片段，边表示控制流。

DD路径（decision-to-decision path）

程序图中的一条链，使得： 情况1：由一个节点组成，内度=0。情况2：由一个节点组成，外度=0。 情况3：由一个节点组成，内度≥2或外度≥2。情况4：由一个节点组成，内度=1并且外度=1。 情况5：长度≥1的最大链。

定义

对于给定的采用命令式语言编写的一段程序，其DD路径图是一个有向图，其中节点表示其程序图中的DD路径，边表示后续DD路径之间的控制流。

测试覆盖指标

基于指标的测试