给定一张图,顶点覆盖派生出来的测试需求集TR是指,包括里面每个可达顶点。而对于里面每一个测试需求,即可达顶点,都可以从一个测试用例集T里面找到一个测试用例t,它对应的测试路径可以覆盖这个顶点。
则称测试用例集T满足顶点覆盖
给定一张图,由此派生出来的测试需求集TR里面的每一个测试需求tr都是一个可达边;对每一个可达边都存在一个测试用例去覆盖它,则称测试用例集T满足边覆盖。
满足EC,即满足VC;满足VC不一定满足EC
覆盖图里所有的可达边对
n=0(VC), 1(EC), 2(EPC), …
n=无穷:完全路径覆盖
一个测试准则C1蕴涵另一个测试准则C2,是指对任意的测试用例集T,假如T满足C1,则T一定满足C2
记做:C1 >= C2
n1PC >= n2PC (n1 >= n2)
注意:C1 >= C2不意味着在错误检测能力上,满足C1的测试用例集T1比满足C2的测试用例集T2强