软件测试方法与实践讲义-第四章.pptVIP

第四章 软件测试覆盖分析 主要内容 软件测试覆盖分析概述 4.1 代码覆盖分析 4.1 代码覆盖分析 4.1 代码覆盖分析 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.2 控制流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.3 数据流覆盖 4.4 其他覆盖标准 4.4 其他覆盖标准 4.4 其他覆盖标准 4.4 其他覆盖标准 4.4 其他覆盖标准 4.4 其他覆盖标准 4.4 其他覆盖标准 本章小结 本章作业 本章作业 控制流覆盖出现的问题：当语句或分支覆盖被用作测试数据的主要依据时，经过所选的路径并不能保证所有错误都被查出。而且，当路径覆盖标准被用作测试数据的主要依据时，带有循环的程序将有无穷多条路径。一个实用路径的选择必须是依据所用路径标准，选择一个仅有有限数量的路径，发现错误的可能性很大。 数据流覆盖是路径覆盖的一个变异。这种路径覆盖的变异仅考虑从变量定义到其后变量的引用之间的子路径。数据流覆盖中的变量“定义”是指变量赋值而不是类型定义。 四种数据流覆盖选择标准包括： Rapps和Weyuker标准：关注怎样将变量同取值联系在一起以及这些变量是怎么被使用的； Ntafos标准：使用必须的K元组，数据流信息去克服单独使用控制流信息选择路径的缺点； Ural的标准：研究来自环境的输入对环境输出的影响。 Laski和Korel标准：与选择的次级路径和变量定义/应用的各种各样组合共同到达节点。 1. Rapps和Weyuker的标准 Rapps和Weyuker把变量的出现分成3类： 定义的（Definitional），用def表示 计算使用（Computation Use），用c-use或cuse表示 谓语使用（Predicate Use），用p-use或puse表示 V0： int getMaxValue(int x,int y){ int max; V1: max=x; V2: if(yx) V3: max=y; V4: return max; V5: } V0 V1 V4 V5 V3 V2 def(x, V0) def(y, V0) def(max, V1) cuse(x, V1) puse(x, V2) puse(y, V2) def(max, V3) cuse(y, V3) cuse(max, V4) 1. Rapps和Weyuker的标准 定义du-对 V0： int getMaxValue(int x,int y){ int max; V1: max=x+1; //错误 V2: if(yx) V3: max=y; V4: return max; V5: } //不正确的程序 V0 V1 V4 V5 V3 V2 def(max, V1) def(max, V3) cuse(max, V4) V0： int getMaxValue(int x,int y){ int max; V1: max=x; V2: if(yx) V3: max=y; V4: return max; V5: } //正确的程序 1. Rapps和Weyuker的标准 all-uses和all-defs覆盖标准示例： ▼ ▼ (def(max,v3),cuse(max,v4)) ▲ (def(max,v1),cuse(max,v4)) 变量max ▼ ▼ (def(y,v0),cuse(y,v3)) ▲ (def(y,v0),puse(y,v2,v4)) ▼ ▼ (def(y,v0),puse(y,v2,v3)) 变量y ▲ (def(x,v0),puse(x,v2,v4)) ▼ ▼ (def(x,v0),puse(x,v2,v3)) ▼ ▲ ▼ (def(x,v0),cuse(x,v1)) 变量x P1 P2 P1 all-defs all-uses 覆盖标准