东北大学软件学院 覆盖分析器是一类测试工具,可用于自动化测试支持。 东北大学软件学院 空间中的一切都可以用基表示,并且如果一个基元素被 删除,则这种覆盖特性也会丢失。 对测试的潜在意义是,如果可以把程序看做是一种向量 空间,则这种空间的基就是要测试的非常有意义的元素 集合。 如果基没有问题,则可以希望能够用基表述的一切都是 没有问题的。 McCabe 东北大学软件学院 线性独立路径数是:V(G)=e-n+2p=10-7+2*1=5 McCabe 东北大学软件学院 线性独立环路的数量: V(G)=e-n+p=11-7+1=5 10McCabe 东北大学软件学院 C、G是线性合并2p2-p1McCabe 东北大学软件学院所经过的路径/边McCabe东北大学软件学院 McCabe接下来开发了一种算法过程(叫做基线方法),用于 确定基路径集合。这种方法首先选择一个基线路径,应该 对应某个“正常案例”程序执行。这种方法有一定的随意 性,McCabe建议选择都有尽可能多的判断节点的路径。 接下来重新回溯基线路径,依次“翻转”每个判断点,即 当节点的外度2时,必须取不同的边。 McCabe 东北大学软件学院 McCa 东北大学软件学院第一 最后原始 O-最后不等边 三角形 O-最后不可行 转p1p3:A-B-C-E-F-G-O-最后 不可行 转p1p4:A-B-C-E-F-H-I-N-O-最后 等边三 角形 O-最后等腰三 角形 McCabe 东北大学软件学院 McCabe的过程成功地标识了在拓扑结构上独立的基路径 ,但是如果存在矛盾的语义依赖关系,拓扑结构上可行的 路径在逻辑上有可能不可行。 McCabe 东北大学软件学院 如果仔细考虑到这个问题,可以找出两条规则: 如果经过节点C,则必须经过节点H。 如果经过节点D,则必须经过节点G。 不等边三角形p6:A-B-D-E-F-G-O-最后 非三角形 p4:A-B-C-E-F-H-I-N-O-最后 等边三角形 等腰三角形