3-白盒测试(一).pptx

功能测试及工具;;;选题依据;;选题依据;;选题依据;选题依据;选题依据;THANKS;;;逻辑覆盖是以程序内部的逻辑结构为基础的测试方法，属于“白盒”测试。;;选题依据;选题依据;选题依据;选题依据;选题依据;选题依据;选题依据;语句覆盖;选题依据;选题依据;判定覆盖;选题依据;条件覆盖;判定/条件覆盖;设计足够多的测试用例，使得判定中每个条件的所有可能取值至少能够获取一次，同时每个判断的所有可能的判定结果至少执行一次。;判定/条件覆盖;条件组合覆盖; 1） A1, B =0 2） A1, B≠0 3） A≤1, B =0 4） A≤1, B≠0 5） A=2, X1 6） A=2, X≤1 7） A≠2, X1 8）A≠2, X≤1;条件组合覆盖;路径覆盖;测试用例输入;语句覆盖;条件组合覆盖是一种逻辑覆盖，它的含义是设计足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次， 满足条件组合覆盖级别的测试用例也是满足______级别的逻辑覆盖；针对布尔表达式 A(B||C) 执行逻辑覆盖测试，测试用例至少需要_____种组合才能满足条件组合覆盖的要求。;;路径测试概念 ;程序流程图又称框图，是我们最熟悉，也是最容易理解的一种程序控制结构的图形表示。在这种图上的框里面常常标明了处理要求或者条件，但是，这些标注在做路径分析时是不重要的。为了更加突出控制流的结构，需要对程序流程图做一些简化，这种简化了的程序流程图叫做控制流图。 ;在控制流图中只有两种图形符号： 节点：以标有编号的圆圈表示。它代表了程序流程图中矩形框表示的处理、菱形表示的两个到多个出口判断以及两条到多条流线相交的汇合点。 控制流线或弧：以箭头表示。它与程序流程图中的流线是一致的，表明了控制的顺序。为了方便讨论，控制流线通常标有名字，如图中所标的a、b、c等。;化简：若在一个节点序列中没有分支，则可以把这个序列的节点都合并成一个节点。 ;基本路径测试是McCabe提出的一种“白盒”测试方法 计算程序的圈复杂度 用该复杂度为指南定义执行路径的基本集合 从该基本集合中导出的测试用例可以保证程序中的每条语句被覆盖 而且每个条件在执行时都分别取真、假两种值;1) 根据过程设计结果画出相应的流图 2) 计算控制流图的圈复杂度 3) 确定线性独立路径的基本集合 4) 设计可强制执行基本集合中每条路径的测试用例 ;请看以下代码，它由C++语言书写。把它转化成控制流图，并使用基本路径测试法为变量temp设计测试用例，使之满足基本路径覆盖要求。;void ReadPara( CString temp) { 　if ( temp = = =) 　　m_oper.SetCurSel(0); 　　 else 　　 { 　　if (temp = = ) 　　 m_oper.SetCurSel(1); 　　 else 　　 { 　　 if ( temp = = = =) 　　 m_oper.SetCurSel(2); 　　 else 　　 {;1．画出这段代码的控制流图。 2．根据控制流图，计算环路复杂度 V(G)=22-18+2=6。 3．导出测试用例，列出路径： Path1：2-3-4-27-28 Path2：2-3-7-8-26-27-28 Path3：2-3-7-11-12-25-26-27-28 Path4：2-3-7-11-15-16-24-25-26-27-28 Path5：2-3-7-11-15-19-20-23-24-25-26-27-28 Path6：2-3-7-11-15-19-22-23-24-25-26-27-28 ;4．设计测试用例 根据第3步中给出的路径，下面设计测试用例。;小结