软件测试——2.2 图测试覆盖准则，

软件测试——2.2 图测试覆盖准则，

可达

​ 语法可达：通过语法构建的图结构中，存在一条路径可以到达这个子图

​ 语义可达：在实际程序中，存在一个测试可以跑到子图

覆盖：

​ 存在一条测试路径p1可以覆盖顶点v：v恰好在路径p1中

​ 存在一条测试路径p1可以覆盖边e：边e恰好在路径p1中

​ 存在一条测试路径p1可以覆盖子路径p’：子路径p恰好在路径p1中

结构覆盖

​ 仅关注图的点和边

​

数据流覆盖

​ 在图的电和边上标注数据流信息

测试准则

​ 测试需求（Test Requirement, TR)：用来描述测试路径性质的定义

​ 测试准则（Test Criterion)：用来描述测试需求的一些规则

​ 给定一个测试准则C，对应派生的测试需求TR，我们称一个测试用例集T满足这个准则，是指这个测试需求TR里面的每一个测试需求tr都可以被这个测试用例集T里的某一个测试用例t所满足

​