本文深入探讨了软件测试中的顶点覆盖、边覆盖、边对覆盖及n路径覆盖等概念，解析了不同覆盖标准之间的关系及其对测试用例集的要求。通过理解这些覆盖标准，可以提升测试效率和错误检测能力。
顶点覆盖（Vertex Coverage, VC）
给定一张图，顶点覆盖派生出来的测试需求集TR是指，包括里面每个可达顶点。而对于里面每一个测试需求，即可达顶点，都可以从一个测试用例集T里面找到一个测试用例t，它对应的测试路径可以覆盖这个顶点。
则称测试用例集T满足顶点覆盖
边覆盖（Edge Coverage, EC）
给定一张图，由此派生出来的测试需求集TR里面的每一个测试需求tr都是一个可达边；对每一个可达边都存在一个测试用例去覆盖它，则称测试用例集T满足边覆盖。
满足EC，即满足VC；满足VC不一定满足EC
边对覆盖（Edge-Pair Coverage, EPC）
覆盖图里所有的可达边对
n路径覆盖（n-Path Coverage, nPC）
n=0（VC）, 1（EC）, 2（EPC）, …
n=无穷：完全路径覆盖
蕴涵（subsume）
一个测试准则C1蕴涵另一个测试准则C2，是指对任意的测试用例集T，假如T满足C1，则T一定满足C2
记做：C1 >= C2
n1PC >= n2PC (n1 >= n2)
注意：C1 >= C2不意味着在错误检测能力上，满足C1的测试用例集T1比满足C2的测试用例集T2强
扫一扫
429
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
