第二章回顾第三章白盒测试控制流图中区域的数量对应于环形复杂度。图中的2345和67是并列的两层。基本路径测试方法（续）x=2、y=5、z=15说明：虽然前面的一组测试用例同时达到了条件覆盖和判定覆盖，但是，并不是说满足条件覆盖就一定能满足判定覆盖。T1、T2、irecordnum=1从广义的角度讲，任何有关路径分析的测试都可以被称为路径测试。白盒测试法检查程序内部逻辑结构，对所有逻辑路径进行测试，是一种穷举路径的测试方法。对DoWork函数中的各个判定的条件取值组合加以标记：}//语句块1X==4||y>5对于第一个判定((x>3)&&(z<10))：掌握白盒测试的基本路径测试法图矩阵是控制流图的矩阵表示形式。白盒测试的基本路径测试法学习重点白盒测试的路径表达白盒测试的基本路径测试法3.1白盒测试方法白盒测试方法（续）白盒测试方法（续）3.2白盒测试的基本概念控制流图常见结构的控制流图环形复杂度计算环形复杂度的方法3.2.3图矩阵课堂习题3.3覆盖测试3.3.1测试覆盖率3.3.2逻辑覆盖法逻辑覆盖法（续）逻辑覆盖法（续）逻辑覆盖法（续）逻辑覆盖法（续）语句覆盖判定覆盖判定覆盖（续）条件覆盖条件覆盖（续）条件覆盖（续）判定/条件覆盖判定/条件覆盖（续）组合覆盖组合覆盖（续）路径覆盖路径覆盖（续）课堂习题3.4路径测试3.4.1路径表达式3.4.2基本路径测试方法基本路径测试方法（续）基本路径测试方法（续）基本路径测试方法（续）基本路径测试方法（续）课堂习题4.4.3产生测试用例4.5最少测试用例数计算最少测试用例数计算（续）最少测试用例数计算（续）最少测试用例数计算（续）最少测试用例数计算（续）最少测试用例数计算（续）——满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。事实上，只有当程序中的每一条路径都受到了检验，才能使程序受到全面检验。在不能做到所有路径覆盖的前提下，如果某一程序的每一个独立路径都被测试过，那么可以认为程序中的每个语句都已经检验过了，即达到了语句覆盖。为什么要进行白盒测试？若是等腰三角形打印“等腰三角形”，若是等边三角形，则打印“等边三角形”。例：如下图所示的N-S图，至少需要多少个测试用例完成逻辑覆盖？如果在N-S图中不存在有并列的层次，则对应的最少测试用例数由并列的操作数决定，即N-S图中除谓词之外的操作框的个数。1、x>3,z<10记做T1T2，第一个判定的取真分支为了满足路径覆盖，必须首先确定具体的路径以及路径的个数。例如在第一个判定((x>3)&&(z<10))中把“&&”错误的写成了“||”，这时仍使用该测试用例，则程序仍会按照流程图上的路径abd执行。前面提到的5种逻辑覆盖都未涉及到路径的覆盖。环形复杂度也称为圈复杂度，它是一种为程序逻辑复杂度提供定量尺度的软件度量。但覆盖率不是目标，只是一种手段。为了把问题化简，避免出现测试用例极多的组合爆炸，把构成循环操作的重复型结构用选择结构代替。确保所有语句至少执行一次的测试数量的上界。但即使每条路径都测试过了，仍然可能存在错误。保证一个模块中的所有独立路径至少被测试一次。例如，下图表达了两个顺序执行的分支结构。习题本章介绍了白盒测试的相关概念，详细介绍了白盒测试的几种方法（代码检查、逻辑覆盖和路径测试等）。全面分析了这几种白盒测试的优缺点以及相关用法。Q&A谢谢观看