白盒测试方法的.pptVIP

—— 结构测试 或 逻辑驱动测试 基于被测程序的源代码，而不是软件的规格说明。;;白盒测试的基本概念;白盒测试;; 白盒测试常用的方法 静态测试 代码检查法 静态结构分析法 动态测试 逻辑测试 语句覆盖 判定覆盖 条件覆盖 判定-条件覆盖 条件组合 路径测试;1 概述(3/7);二个基本概念;1 概述(4/7); 示例：; 圈复杂度 (环形复杂度) 程序结构复杂性的度量方法 圈复杂度： 从程序的环路复杂性可导出程序基本路径集合中的独立路径条数（确保所有语句至少执行一次） 独立路径必须包含一条在定义之前不曾用到的边;圈（环形）复杂度有三种计算方法： V(G)=E-N+2，e是程序控制流图中边的数量，n是程序控制流图中结点的数量 V(G)=程序中的环域数 V(G)=P+1，P是流图G中判定结点的数量;白黑测试动态测试方法; 逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术，属于白盒测试。它要求测试人员十分清楚程序的逻辑结构，考虑的是测试用例对程序内部逻辑覆盖的程度。;1 语句覆盖;1 语句覆盖;2 判定覆盖;2 判定覆盖(分支覆盖);3 条件覆盖;3 条件覆盖;4 判定／条件覆盖;4 判定/条件覆盖;5 条件组合覆盖;5 条件组合覆盖;TEST CASES： A＝2，B＝0，x＝4 A＝2，B＝1，x＝1 A＝1，B＝0，x＝2 A＝1，B＝1，x＝1;语句覆盖 运行被测试程序，使得每一条可执行语句至少执行一次 分支覆盖（又称判定覆盖） 运行被测程序，使程序中每个判断的取真分支和取假分支至少执行一次 条件覆盖 运行被测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次 判定-条件覆盖 运行被测程序，使程序中每个判断的每个条件的所有可能取值至少执行一次，并且每个可能的判断结果也至少执行一次 条件组合测试 运行被测程序，使程序中每个判断的所有可能的条件取值组合至少执行一次;路径覆盖法;每条可能的路径都至少执行一次。;语句覆盖：每条语句至少执行一次。 判定覆盖：每个判定的每个分支至少执行一次。 条件覆盖：每个判定的每个条件应取到各种可能的值。 判定-条件覆盖：同时满足判定覆盖和条件覆盖。 条件组合覆盖：每个判定中各条件的每一种组合至少出现一次。 路径覆盖：使程序中每一条可能的路径至少执行一次。;测试以下程序段：;A0 and B2;控制流测试方法举例;控制流测试方法举例;控制流测试方法举例;再设计测试用例： 4: A=1 B=3 X=0 (路径1→5→6→8 覆盖条件: T1 ~T2 ~T3 T4 ② ⑦) 5: A=0 B=1 X=2 (路径1→5→6→8 覆盖条件: T1 ~T2 T3 ~T4 ③ ⑥) 以上5个测试用例满足条件组合标准。 ;设计的测试用例;条件组合覆盖准则;独立路径测试（或基本路径覆盖法）;独立路径测试步骤： 画出程序流图 计算程序圈复杂度，导出程序基本路径集合中的独立路径条数 程序中每个可执行语句至少执行一次是测试用例数目的上界 导出测试用例 根据圈复杂度和程序结构，设计用例数据 准备测试用例 确保基本路径集中的每一条路径的执行;示例：;第一步：画出控制流图;第二步：计算圈复杂度;第三步：导出测试用例;第四步：准备测试用例;图形矩阵（计算基本路径集的工具方法）;对每个矩阵项加入连接权值，图矩阵就可以用于在测试中评估程序的控制结构，连接权值为控制流提供了另外的信息 最简单情况下，连接权值用1表示存在连接、用0表示不存在连接 连接权值可以赋予其它属性 执行连接(边)的概率 穿越连接的处理时间 穿越连接时所需的内存 穿越连接时所需的资源 ;画出图形矩阵 连接权为“1”表示存在一个连接 是有向线。分析时，从行到列 图中如果一行有两个或更多的元素“1”，则说明该行所代表的结点是一个判定结点 图中有二个1的行数为3个，故该图的圈复杂度为 3+1=4，据此可知需要至和4个测试用例，才能完成基本路径的覆盖 ; 练习2 P.76（习题5）;int Test(int i_count, int i_flag) { 1 int i_temp=0; 2 while (i_count0) { 3 If (0==i_flag) { 4 i_temp=i_count+100; 5 break; } 6 else { 7 If (1==i_flag) { 8 i_temp=i_temp+10; } 9 else { 10 i_tem