源代码 =》 控制流图
规格文档 =》 有限状态机
设计图
图
由点（顶点、节点）和边构成的集合
点的集合是一个有穷非空的集合V
边来自于点对，构成了边集E
初始节点、终结节点
哑结点：
指向所有的初始化节点 =》 归纳为只有一个初始节点
所有终结节点指向 =》 归纳为只有一个终结节点
路径：点的序列，相邻的两个点构成一个有效边（属于E）
路径的长度：边的数量
单点：特殊的路径，长度为0
子路径：是另一个路径的子序列
测试路径：
一条从初始节点到终结节点的路径
用来表达测试的执行
相同的一条测试路径，可能被不同的测试路径执行的
有的测试路径不能被任何的测试输入执行到
测试和测试路径的关系
在确定性环境中，一个测试t只能执行一条测试路径path(t)
path(T)代表测试用例集T里面所有的测试用例能执行到的测试路径集合
扫一扫
1050
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
