软件测试教学幻灯片讲义.ppt

（4）判定-条件覆盖 判定-条件覆盖就是设计若干个测试用例，使得程序中每个判定语句中的每个条件的所有可能取值至少各取一次，同时每个判定语句的所有可能结果至少各取一次。 即要求各个判断的所有可能的条件取值组合至少执行一次。 对于图11.9中的各判断 ，实际上只需要设计两个测试用例便能够覆盖图11.9中的8个条件和4个分支，测试用例如下： （5）条件组合覆盖 条件组合覆盖就是设计若干个测试用例，运行程序，使得程序中每个判断的所有可能的条件取值组合至少执行一次。 先对图11.9例各个判断的条件取值组合加以标记： 记① A1，B=0为T1，T2，是第一个判断取真值的分支； ② A1，B≠0为T1，～T2，是第一个判断取假值的分支； ③ A≤1，B =0为～T1，T2，是第一个判断取假值的分支； ④ A≤1，B≠0为～T1，～T2，是第一个判断取假值的分支； ⑤ A=2，X1为T3，T4，是第二个判断取真值的分支； ⑥ A=2，X≤1为T3，～T4，是第二个判断取真值的分支； ⑦ A≠2，X1为～T3，T4，是第二个判断取真值的分支； ⑧ A≠2，X≤1为～T3，～T4，是第二个判断取假值的分支。 对于每个判断，要求所有可能的条件取值的组合都必须取到，在图11.9里面的每个判断各有两个条件，所以各有4个条件取值的组合。取4个测试用例，就可以覆盖上面8种条件取值的组合。 ? 结构测试 1）基本路径测试 使用基本路径测试设计用例时，首先计算程序的环形复杂度，并用该复杂度为指南定义执行路径的基本集合，从该基本集合导出的测试用例可以保证程序中的每条语句至少执行一次，而且每个条件在执行时都将分别取真、假两种值。 使用基本路径测试技术设计测试用例的步骤 第一步，根据过程设计结果画出相应的流图。 第二步，计算流图的环形复杂度。 第三步，确定线性独立路径的基本集合。 第四步，设计可强制执行基本集合中每条路径的测试用例。 独立路径是指至少引入程序的一个新处理语句集合或一个新条件的路径，用流图术语描述，独立路径至少包含一条在定义该路径之前不曾用过的边。 该方法的基本设计过程参看图11.10： 2）循环测试 简单路径测试和基本路径测试方法的一个主要问题是它们忽略了对循环体的测试。 循环是大多数算法的基础，循环测试的目的是检查循环结构的有效性。 循环分为简单循环、嵌套循环、并列循环和非结构循环四类，如图11.11所示。 图11.11 循环种类 简单循环 对于最多为n次的简单循环，应做下列测试： ? 完全跳过循环； ? 仅循环一次； ? 循环两次； ? 循环m次，mn； ? 分别循环n-1次、n次、n+1次。 嵌套循环 对于嵌套循环，不能直接采用简单循环的测试策略，否则会发现测试次数会成几何级数增长。 减少测试次数的具体措施包括： 第一，从最内层循环开始测试，此时所有外层循环都取最小值，内层循环按简单循环的测试策略测试。 第二，由里向外，回退到上一层循环测试，这层循环的所有外层循环仍取最小值，由该层循环嵌套的那些循环取一些典型值。 第三，继续向外扩展，直至所有循环测试完毕。 并列循环、非结构化的循环 对于并列循环分两种情况，若两个循环完全独立，采用简单循环的测试策略，反之，若第一循环的计数器用作第二循环的初值，即两循环不独立，需用嵌套循环测试策略测试。 非结构化的循环需按结构化程序设计的思想，首先将程序结构化，然后在进行测试。 ? 黑盒测试用例设计 假设现有以下的三角形分类程序。该程序的功能是，读入代表三角形边长的3个整数，判断它们能否组成三角形。如果能够，则输出三角形是等边、等腰或任意三角形的分类信息。图11.12显示了该程序的流程图和程序图。 例7. 为以上的三角形分类程序设计一组测试用例。 解：第一步：确定测试策略。 在本例中，对被测程序的功能有明确的要求，即：①判断能否组成三角形； ②识别等边三角形； ③识别等腰三角形； ④识别任意三角形。 因此可首先用黑盒测试设计测试用例，然后用白盒测试验证其完整性，必要时再进行补充。 第二步：根据本例的实际情况，在黑盒测试中首先可用划分等价类法划分输入的等价类，然后用边值分析法和猜错法作补充。 用黑盒测试分析程序的输入后得出的对测试用例的具体要求，见图11.13。 第三步：提出一组初步的测试用例 ? 是否有不正确或遗漏了的功能？ ? 在接口上，输入能否正确地接受？ ? 能否输出正确的结果？ ? 是否有数据结构错误或外部信息（例如数据文件）访问错误？ ? 性能上是否能够满足要求？是否有初始化或终止性错误？ 黑盒测试方法主要包括等价类划分法、边界值分析法、错误猜测法、因果图法、比较测试法等 ? 等价类划分法 把程序的输入域划分成若干