第七章-带上- X光眼镜测试软件课件.pptVIP

4）如何使用覆盖率 覆盖率不是目的，只是一种手段 你不可能对所有的覆盖率指标去进行测试 而只考虑一种覆盖率指标也是不恰当的 一般项目的覆盖率不可能100%，一般采取的标准是函数覆盖率90%，语句覆盖率100%，分支覆盖率85％以上；路径覆盖率80％以上 。 7.6 主要的白盒测试技术 控制流测试 数据流测试 程序插桩 程序变异测试 白盒测试工具 …… 7.6.2 数据流测试简介 基本概念 数据流测试是根据代码中变量的使用情况进行的测试，面向程序中的数据。 早期的数据流分析常常集中于以下缺陷： 变量被定义，但是从来没有使用（引用） 所使用的变量没有被定义 变量在使用之前被定义两次或多次（重复定义） 数据流测试 两个概念 （1）变量的定义性出现：变量定义或被赋值 节点n∈G(P)是变量v∈V的定义节点，记做DEF(v,n)，当且仅当变量v的值由对应节点n的语句片段处定义。 输入语句、赋值语句、循环控制语句和过程调用，都是定义节点语句的例子。如果执行对应这种语句的节点，那么该变量关联的存储单元的内容就会改变。 数据流测试 （2）变量的引用性出现：变量数据被引用。 节点n∈G(P)是变量v∈V的使用节点，记做USE(v,n),当且仅当变量v的值由对应节点n的语句片段处使用。 计算性引用—用于计算新数据(记做C-use) 谓词性引用—用于条件控制（记做P-use) 输出语句、赋值语句、条件语句、循环控制语句和过程调用，都是使用节点语句的例子。如果执行对应这种语句的节点，那么该变量关联的存储单元的内容保持不变。 例2、三角形问题：判定条件覆盖 1、列出所有的原子条件： i=0 j=0 k=0 i+j=k i+k=j j+k=i i==j i==k j==k 2、列出所有的判定 （1）i=0||j=0||k=0||i+j=k||i+k=j||j+k=i （2）i==ji==kj==k （等边三角形） （3）i==j||i==k||j==k （等腰三角形） 3、设计测试用例，使得每个条件取一次真值和一次假值且使得每个判定取一次真值和一次假值。 i j k i=0 j=0 k=0 i+j=k i+k=j j+k=i i==j i==k j==k 1 2 3 1 -1 2 2 T F F T T F - - - T - - 2 2 -1 2 F T F T F T - - - T - - 3 2 2 -1 F F T F T T - - - T - - 4 2 2 3 F F F F F F T F F F F T 5 2 3 2 F F F F F F F T F F F T 6 3 2 2 F F F F F F F F T F F T 7 2 2 2 F F F F F F T T T F T T 8 5 3 4 F F F F F F F F F F F F 设计测试用例如下表所示： 判定条件覆盖 优点： 发现错误能力比判定覆盖和条件覆盖强 缺点： 不能保证覆盖程序所有执行路径 控制流覆盖准则 逻辑覆盖：常见的六种覆盖方法 语句覆盖 判定覆盖（也称分支覆盖） 条件覆盖（也称谓词覆盖） 判定/条件覆盖 条件组合覆盖 路径覆盖 （5） 条件组合覆盖 设计若干测试用例，使得每个判定中条件结果的所有可能组合至少出现一次 条件组合覆盖 Scanf(“%d”,x) X!=0 Y=1 Y=2 Y N 测试用例设计： ?OBD 0 2 OAD 5 1 ?路径 ?X ? （O） （A） （B） （D） 条件组合覆盖 测试用例设计： A1 AND B=0 A=2 OR X1 X=X+1 X=X/A Y N Y N (A) (B) (C) (D) (E) A B X A1 B=0 A=2 X1 1 2 0 3 T T T T 2 2 1 0 T F T F 3 0 1 3 F T F T 4 0 1 0 F F F F 理论上最多需要几个测试用例？ 开始 结束 X=80 and Y=80 1-T YES X+Y=140 and (x=90 or y=90) 2-T 3-T YES NO NO O E A B C D 测试用例设计： ? ?X ?Y ?路径 X=80 Y=80 X+Y=140 x=90 y=90 1 ?90 ?90 ?OAE T T T T T 2 ?90 ?70 ?OBCE T F T T F 3 ?70 ?90 ?OBCE F T T F T 4 80 70 OBDE T F F 5 - - - F T T 6 90 50 OBDE F T F 7 50 90 OBDE F F T 8 ?50 ?50 ?OBDE F F