第6章软件测试

1、第2部分 结构化软件开发方法第第6章章 软件测试软件测试 6.1 软件测试的基本概念 什么是软件测试什么是软件测试 软件测试是在软件投入生产性运行之前，对软件软件测试是在软件投入生产性运行之前，对软件需求分析、设计规格说明和编码的最终复审，是需求分析、设计规格说明和编码的最终复审，是软件质量控制的关键步骤。软件质量控制的关键步骤。 如果给软件测试下定义的话，可以这样讲：如果给软件测试下定义的话，可以这样讲：软件软件测试测试是为了发现错误而执行程序的过程。或者说，是为了发现错误而执行程序的过程。或者说，软件测试软件测试是根据软件开发各阶段的规格说明和程是根据软件开发各阶段的规格说明和程序的内部结

2、构而精心设计一批测试用例（即输入序的内部结构而精心设计一批测试用例（即输入数据及其预期的输出结果），并利用这些测试用数据及其预期的输出结果），并利用这些测试用例去运行程序，以发现程序错误的过程。例去运行程序，以发现程序错误的过程。 6.1 软件测试的基本概念 软件测试的目的和原则软件测试的目的和原则 基于不同的立场，存在着两种完全不同的测试目基于不同的立场，存在着两种完全不同的测试目的。的。从用户的角度出发，普遍希望通过软件测试检验从用户的角度出发，普遍希望通过软件测试检验软件中隐藏的错误和缺陷，以考虑是否可以接受软件中隐藏的错误和缺陷，以考虑是否可以接受该产品。该产品。从软件开发者的角度出发

3、，则希望测试成为表明从软件开发者的角度出发，则希望测试成为表明软件产品中不存在错误的过程，验证该软件已正软件产品中不存在错误的过程，验证该软件已正确地实现了用户的要求，确立人们对软件质量的确地实现了用户的要求，确立人们对软件质量的信心。信心。6.1 软件测试的基本概念 Grenford J.Myers就就软件测试目的软件测试目的提出了提出了以下观点。以下观点。 6.1 软件测试的基本概念根据以上测试目的，根据以上测试目的，软件测试的原则软件测试的原则如下：如下：（1 1）应当把）应当把“尽早地和不断地进行软件测试尽早地和不断地进行软件测试”作作 为软件开发者的座右铭。为软件开发者的座右铭。（2

4、 2）测试用例应由测试输入数据和与之对应的预）测试用例应由测试输入数据和与之对应的预 期输出结果这两部分组成。期输出结果这两部分组成。（3 3）程序员应避免检查自己的程序。）程序员应避免检查自己的程序。 （4 4）在设计测试用例时，应当包括合理的输入条）在设计测试用例时，应当包括合理的输入条 件和不合理的输入条件。件和不合理的输入条件。（5 5）充分注意测试中的群集现象。）充分注意测试中的群集现象。 （6 6）严格执行测试计划，排除测试的随意性。）严格执行测试计划，排除测试的随意性。 （7 7）应当对每一个测试结果作全面检查。）应当对每一个测试结果作全面检查。（8 8）妥善保存测试计划、测试用

5、例、出错统计和）妥善保存测试计划、测试用例、出错统计和 最终分析报告，为维护提供方便。最终分析报告，为维护提供方便。 6.1 软件测试的基本概念 软件测试的对象软件测试的对象 到程序的测试为止，软件开发工作已经经历了许到程序的测试为止，软件开发工作已经经历了许多环节，每个环节都可能发生问题。为了把握各多环节，每个环节都可能发生问题。为了把握各个环节的正确性，人们需要进行各种确认和验证个环节的正确性，人们需要进行各种确认和验证工作。工作。 6.1 软件测试的基本概念 验证验证（verificationverification），则试图证明在软件生存），则试图证明在软件生存期各个阶段，以及阶段间的

6、逻辑协调性、完备性期各个阶段，以及阶段间的逻辑协调性、完备性和正确性。下图为软件生存期各个重要阶段之间和正确性。下图为软件生存期各个重要阶段之间所要保持的正确性。所要保持的正确性。6.1 软件测试的基本概念6.1 软件测试的基本概念 测试信息流如下图所示。测试信息流如下图所示。6.1 软件测试的基本概念 测试信息流测试信息流 软件开发过程是一个自顶向下、逐步细化的过程软件开发过程是一个自顶向下、逐步细化的过程，而测试过程则是依相反的顺序安排的自底向上，而测试过程则是依相反的顺序安排的自底向上、逐步集成的过程。低一级测试为上一级测试准、逐步集成的过程。低一级测试为上一级测试准备条件。当然不排除两

7、者平行地进行测试。备条件。当然不排除两者平行地进行测试。 软件测试与软件开发过程的关系如下图所示。软件测试与软件开发过程的关系如下图所示。6.1 软件测试的基本概念 测试与软件开发各阶段的关系测试与软件开发各阶段的关系 首先对每一个程序模块进行单元测试，消除程序模块内部首先对每一个程序模块进行单元测试，消除程序模块内部在逻辑上和功能上的错误和缺陷。再对照软件设计进行集在逻辑上和功能上的错误和缺陷。再对照软件设计进行集成测试，检测和排除子系统（或系统）结构上的错误。随成测试，检测和排除子系统（或系统）结构上的错误。随后再对照需求，进行确认测试。最后从系统全体出发，运后再对照需求，进行确认测试。最

8、后从系统全体出发，运行系统，看是否满足要求。行系统，看是否满足要求。 6.1 软件测试的基本概念1. 1. 黑盒测试黑盒测试 黑盒测试黑盒测试是把测试对象看做一个黑盒子，测试人员完是把测试对象看做一个黑盒子，测试人员完 全不考虑程序内部的逻辑结构和内部特性，只依据程全不考虑程序内部的逻辑结构和内部特性，只依据程 序的需求规格说明书，检查程序的功能是否符合它的序的需求规格说明书，检查程序的功能是否符合它的 功能说明。功能说明。 黑盒测试方法主要是为了发现：是否有不正确或遗漏黑盒测试方法主要是为了发现：是否有不正确或遗漏了的功能？输入能否正确地接收？能否输出正确的结了的功能？输入能否正确地接收？能

9、否输出正确的结果？是否有数据结构错误或外部信息（例如数据文件果？是否有数据结构错误或外部信息（例如数据文件）访问错误？性能上是否能够满足要求？是否有初始）访问错误？性能上是否能够满足要求？是否有初始化或终止性错误？所以，用黑盒测试发现程序中的错化或终止性错误？所以，用黑盒测试发现程序中的错误，必须在所有可能的输入条件和输出条件中确定测误，必须在所有可能的输入条件和输出条件中确定测试数据，检查程序是否都能产生正确的输出。试数据，检查程序是否都能产生正确的输出。6.1 软件测试的基本概念 白盒测试与黑盒测试白盒测试与黑盒测试 现在假设一个程序现在假设一个程序P有输入量有输入量X和和Y及输出及输出量

10、量Z，如右图所示。在字长为，如右图所示。在字长为32位的计算位的计算机上运行，如果机上运行，如果X，Y只取整数，考虑把所只取整数，考虑把所有的有的X，Y值都作为测试数据，按黑盒方法值都作为测试数据，按黑盒方法进行穷举测试，力图全面、无遗漏地进行穷举测试，力图全面、无遗漏地“挖掘挖掘”出程序中的出程序中的所所有错误。这样作可能采用的测试数据组（有错误。这样作可能采用的测试数据组（Xi，Yi），不同测），不同测试数据组合的最大可能数目为试数据组合的最大可能数目为232232=264。如果程序如果程序P测试一组测试一组X，Y数据需要数据需要1毫秒，而且假定一天工毫秒，而且假定一天工作作24小时，一年

11、工作小时，一年工作365天，要完成天，要完成264组测试，需要组测试，需要5亿亿年。年。 6.1 软件测试的基本概念6.1 软件测试的基本概念2. 2. 白盒测试白盒测试 白盒测试白盒测试是是对软件的过程性细节做细致的检查。这一对软件的过程性细节做细致的检查。这一方法是把测试对象看做一个打开的盒子或透明的盒子方法是把测试对象看做一个打开的盒子或透明的盒子，它允许测试人员利用程序内部的逻辑结构及有关信，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序的状态，确定实际的状测试。通过在不

12、同点检查程序的状态，确定实际的状态是否与预期的状态一致。因此，白盒测试又称为结态是否与预期的状态一致。因此，白盒测试又称为结构测试或逻辑驱动测试。构测试或逻辑驱动测试。 白盒测试主要是对程序模块进行检查：对程序模块的白盒测试主要是对程序模块进行检查：对程序模块的所有独立的执行路径至少测试一次；对所有的逻辑判所有独立的执行路径至少测试一次；对所有的逻辑判定，取定，取“真真”与取与取“假假”的两种情况都能至少测试一的两种情况都能至少测试一次；在循环的边界和运行界限内执行循环体；测试内次；在循环的边界和运行界限内执行循环体；测试内部数据结构的有效性等。部数据结构的有效性等。然而，对一个具有多重选择和

13、循环嵌套的程序，独立的路径数目可能是然而，对一个具有多重选择和循环嵌套的程序，独立的路径数目可能是天文数字。而且即使精确地实现了白盒测试，也不能断言测试过的程序天文数字。而且即使精确地实现了白盒测试，也不能断言测试过的程序完全正确。举例来说，右图所示完全正确。举例来说，右图所示的小程序流程图，它对应了一个的小程序流程图，它对应了一个有有100行源代码的行源代码的PASCAL语言语言程序，其中包括了一个执行达程序，其中包括了一个执行达20次的循环。它所包含的独立执行次的循环。它所包含的独立执行路径数高达路径数高达 520 条，条，若要对它进行穷举测试，即要设若要对它进行穷举测试，即要设计测试用例

14、，覆盖所有的路径。计测试用例，覆盖所有的路径。假使有这么一个测试程序，对每一条路径进行测试需要假使有这么一个测试程序，对每一条路径进行测试需要1毫秒，同样假定毫秒，同样假定一天工作一天工作24小时，一年工作小时，一年工作365天，那么要想把如图天，那么要想把如图6-6所示的小程序的所示的小程序的所有路径测试完，则需要所有路径测试完，则需要3170年。年。 6.1 软件测试的基本概念 通过以上两个例子表明，实行穷举测试，由于工作量过通过以上两个例子表明，实行穷举测试，由于工作量过大，需用的时间过长，实施起来是不现实的。既然穷举测大，需用的时间过长，实施起来是不现实的。既然穷举测试不可行，就必须精

15、心设计测试用例，从数量极大的可用试不可行，就必须精心设计测试用例，从数量极大的可用测试用例中精心地挑选少量的测试数据，使得采用这些测测试用例中精心地挑选少量的测试数据，使得采用这些测试数据能够达到最佳的测试效果，或者说它们能够高效率试数据能够达到最佳的测试效果，或者说它们能够高效率地把隐藏的错误尽可能多地揭露出来。地把隐藏的错误尽可能多地揭露出来。 以上事实说明，软件测试有一个致命的缺陷，即测试的以上事实说明，软件测试有一个致命的缺陷，即测试的不完全不完全、不彻底性不彻底性。由于任何程序只能进行少量（相对于。由于任何程序只能进行少量（相对于穷举的巨大数量而言）的有限的测试，在发现错误时能说穷举

16、的巨大数量而言）的有限的测试，在发现错误时能说明程序有问题；但在未发现错误时，不能说明程序中没有明程序有问题；但在未发现错误时，不能说明程序中没有错误，不能说明程序中没有问题。错误，不能说明程序中没有问题。6.1 软件测试的基本概念6.2 白盒测试的测试用例设计 逻辑覆盖逻辑覆盖 逻辑覆盖逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例是以程序内部的逻辑结构为基础的设计测试用例的技术，它的技术，它属于白盒测试属于白盒测试。这一方法要求测试人员对程序。这一方法要求测试人员对程序的逻辑结构有清楚的了解，甚至要能掌握源程序的所有细的逻辑结构有清楚的了解，甚至要能掌握源程序的所有细节。由于覆盖测试的

17、目标不同，逻辑覆盖又可分为语句覆节。由于覆盖测试的目标不同，逻辑覆盖又可分为语句覆盖、判定覆盖、判定盖、判定覆盖、判定条件覆盖、条件组合覆盖及路径覆条件覆盖、条件组合覆盖及路径覆盖。以下将分别做扼要的介绍。在所介绍的几种逻辑覆盖盖。以下将分别做扼要的介绍。在所介绍的几种逻辑覆盖中，均以下图所示的程序段为例。其中有两个判断，每中，均以下图所示的程序段为例。其中有两个判断，每个判断都包含复合条件的逻辑表达式，符号个判断都包含复合条件的逻辑表达式，符号“”表示表示“and”运算，运算，“”表示表示“or”运算。运算。6.2 白盒测试的测试用例设计图中所示的程序段有图中所示的程序段有4 4条不同的路径

18、。条不同的路径。为了清楚起见，分别对第为了清楚起见，分别对第1 1个判断的个判断的取假分支、取真分支及第取假分支、取真分支及第2 2个判断的个判断的取假分支、取真分支命名为取假分支、取真分支命名为b b、c c、d d、e e。这样所有。这样所有4 4条路径可表示为：条路径可表示为：L1L1（aceace），），L2L2（abdabd），），L3L3（abeabe）和）和L4L4（acdacd），），或简写为或简写为aceace、abdabd、abeabe和和acdacd。6.2 白盒测试的测试用例设计 语句覆盖语句覆盖 所谓所谓语句覆盖语句覆盖就是设计若干个测试用例，运行被测程序，使得每一个

19、就是设计若干个测试用例，运行被测程序，使得每一个可执行语句至少执行一次。例如，在上图所给出的例子中，正好可执行语句至少执行一次。例如，在上图所给出的例子中，正好所有的可执行语句都在路径所有的可执行语句都在路径L1L1上，所以选择路径上，所以选择路径L1L1设计测试用例，设计测试用例，就可以覆盖所有的可执行语句。就可以覆盖所有的可执行语句。 测试用例的设计格式如下：测试用例的设计格式如下： 【输入的（输入的（A A，B B，x x），输出的（），输出的（A A，B B，x x）】 为图中所示例子设计满足语句覆盖的测试用例：为图中所示例子设计满足语句覆盖的测试用例： 【（2 2，0 0，4 4），

20、（），（2 2，0 0，3 3）】覆盖覆盖aceace【L1L1】 从程序中每个可执行语句都得到执行这一点来看，语句覆盖的方从程序中每个可执行语句都得到执行这一点来看，语句覆盖的方 法似乎能够比较全面地检验每一个可执行语句。但与后面介绍的法似乎能够比较全面地检验每一个可执行语句。但与后面介绍的 其他覆盖相比，语句覆盖是最弱的逻辑覆盖准则。其他覆盖相比，语句覆盖是最弱的逻辑覆盖准则。所谓所谓判定覆盖判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖，如判断的取真分支和取假分支

21、至少经历一次。判定覆盖又称为分支覆盖，如对于图中给出的例子，如果选择路径对于图中给出的例子，如果选择路径L1L1和和L2L2，可得满足要求的测试用例：，可得满足要求的测试用例： 【（2 2，0 0，4 4），（），（2 2，0 0，3 3）】覆盖覆盖aceace【L1L1】 【（1 1，1 1，1 1），（），（1 1，1 1，1 1）】覆盖覆盖abdabd【L2L2】如果选择路径如果选择路径L3L3和和L4L4，还可得另一组可用的测试用例：，还可得另一组可用的测试用例： 【（2 2，1 1，1 1），（），（2 2，1 1，2 2）】覆盖覆盖abeabe【L3L3】 【（3 3，0 0，3

22、3），（），（3 3，1 1，1 1）】覆盖覆盖acdacd【L4L4】所以，测试用例的取法不唯一。注意有例外情形，例如，若把图中第所以，测试用例的取法不唯一。注意有例外情形，例如，若把图中第2 2个个判断中的条件判断中的条件x x1 1错写成错写成x x1 1，那么利用上面两组测试用例，仍能得到同，那么利用上面两组测试用例，仍能得到同样结果。这表明，只是判定覆盖，还不能保证一定能查出在判断的条件中样结果。这表明，只是判定覆盖，还不能保证一定能查出在判断的条件中存在的错误，因此，还需要更强的逻辑覆盖准则检验判断内部条件。存在的错误，因此，还需要更强的逻辑覆盖准则检验判断内部条件。6.2 白盒测

23、试的测试用例设计 判定覆盖判定覆盖 所谓所谓条件覆盖条件覆盖就是设计若干个测试用例，运行被测程序，使就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。例得程序中每个判断的每个条件的可能取值至少执行一次。例如，在上图所给出的例子中，我们事先可对所有条件的取值如，在上图所给出的例子中，我们事先可对所有条件的取值加以标记。例如，对于第加以标记。例如，对于第1 1个判断：个判断： 条件条件A A1 1取真值为取真值为T1T1，取假值为，取假值为 条件条件B B0 0取真值为取真值为T2T2，取假值为，取假值为对于第对于第2 2个判断：个判断： 条件条件A A2

24、2取真值为取真值为T3T3，取假值为，取假值为 条件条件x x1 1取真值为取真值为T4T4，取假值为，取假值为则可选取测试用例如下：则可选取测试用例如下：6.2 白盒测试的测试用例设计 条件覆盖条件覆盖 T1T2T3T46.2 白盒测试的测试用例设计注意，前一组测试用例不但覆盖了所有判断的取真分支和取注意，前一组测试用例不但覆盖了所有判断的取真分支和取假分支，而且覆盖了判断中所有条件的可能取值。后一组测假分支，而且覆盖了判断中所有条件的可能取值。后一组测试用例虽满足了条件覆盖，但只覆盖了第试用例虽满足了条件覆盖，但只覆盖了第1 1个判断的取假分个判断的取假分支和第支和第2 2个判断的取真分支

25、，不满足判定覆盖的要求。为解个判断的取真分支，不满足判定覆盖的要求。为解决这一矛盾，需要对条件和分支兼顾，有必要考虑以下的判决这一矛盾，需要对条件和分支兼顾，有必要考虑以下的判定定条件覆盖。条件覆盖。6.2 白盒测试的测试用例设计所谓所谓判定判定- -条件覆盖条件覆盖就是设计足够的测试用例，使得判断中就是设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断本身每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果至少执行一次。例如，对于图中的各判的所有可能判断结果至少执行一次。例如，对于图中的各判断，若断，若T1T1，T2T2，T3T3，T4T4及及

26、的含义如前所述，则的含义如前所述，则只需设计以下两个测试用例便可覆盖图中的只需设计以下两个测试用例便可覆盖图中的8 8个条件取值以个条件取值以及及4 4个判断分支。个判断分支。 判定判定-条件覆盖条件覆盖 T1,T2,T3,T46.2 白盒测试的测试用例设计判定判定-条件覆盖也有缺陷。从表面上来看，它测试了所有条条件覆盖也有缺陷。从表面上来看，它测试了所有条件的取值，但是事实并非如此，因为往往某些条件掩盖了另件的取值，但是事实并非如此，因为往往某些条件掩盖了另一些条件。对于条件表达式（一些条件。对于条件表达式（A1）and（B=0）来说，若）来说，若（A1）的测试结果为真，则还要测试（）的测试

27、结果为真，则还要测试（B=0），才能决定），才能决定表达式的值；而若（表达式的值；而若（A1）的测试结果为假，可以立刻确）的测试结果为假，可以立刻确定表达式的结果为假，这时，往往就不再测试（定表达式的结果为假，这时，往往就不再测试（B=0）的取）的取值了，因此，条件（值了，因此，条件（B=0）就没有检查。同样，对于条件表）就没有检查。同样，对于条件表达式（达式（A=2）or（X1）来说，若（）来说，若（A=2）的测试结果为）的测试结果为真，就可以立即确定表达式的结果为真，这时，条件（真，就可以立即确定表达式的结果为真，这时，条件（X1）就没有检查，因此，采用判定）就没有检查，因此，采用判定-条

28、件覆盖，逻辑表达式条件覆盖，逻辑表达式中的错误不一定能够查得出来。中的错误不一定能够查得出来。6.2 白盒测试的测试用例设计为彻底地检查所有条件的取值，可以将上图中给出的多重条为彻底地检查所有条件的取值，可以将上图中给出的多重条件判定分解，形成下图所示的由多个基本判断组成的流程件判定分解，形成下图所示的由多个基本判断组成的流程图。这样可以有效地检查所有的条件是否正确。图。这样可以有效地检查所有的条件是否正确。6.2 白盒测试的测试用例设计 条件组合覆盖条件组合覆盖 T2T1T1T2T4 6.2 白盒测试的测试用例设计T3T3T4 6.2 白盒测试的测试用例设计 路径测试路径测试 6.3 基本路

29、径测试 6.3 基本路径测试6.3 基本路径测试 利用第五章介绍的符号和构造规则生成控制流图。对于利用第五章介绍的符号和构造规则生成控制流图。对于以上用以上用PDL描述的描述的averagy过程过程 ，对将要映射为对应控制，对将要映射为对应控制流图中一个结点的流图中一个结点的PDL语句或语句组，加上用数字表示的语句或语句组，加上用数字表示的标号。加了标号的标号。加了标号的PDL程序及对应的控制流图如下所示。程序及对应的控制流图如下所示。 6.3 基本路径测试6.3 基本路径测试averagyaveragy过程的控制流图过程的控制流图 对对averagyaveragy过程定义结点过程定义结点 6

30、.3 基本路径测试2. 由过程描述导出控制流图由过程描述导出控制流图 利用在前面给出的计算控制流图环路复杂性的方法，算利用在前面给出的计算控制流图环路复杂性的方法，算出控制流图出控制流图G的环路复杂性。如果一开始就知道判断结点的环路复杂性。如果一开始就知道判断结点的个数，甚至不必画出整个控制流图，就可以计算出该图的个数，甚至不必画出整个控制流图，就可以计算出该图的环路复杂性的值。对于以上控制流图，可以算出：的环路复杂性的值。对于以上控制流图，可以算出： V（G）=6（区域数）（区域数）=5（判定结点数）（判定结点数）+1=63. 确定线性无关的基本路径集确定线性无关的基本路径集 计算出的环路复

31、杂性的值，就是该图已有的线性无关基计算出的环路复杂性的值，就是该图已有的线性无关基本路径集中路径的数目。该图所有的本路径集中路径的数目。该图所有的6条路径是：条路径是： path1：1-2-10-11-13 path2：1-2-10-12-13 path3：1-2-3-10-11-13 path4：1-2-3-4-5-8-9-2 path5：1-2-3-4-5-6-8-9-2 path6：1-2-3-4-5-6-7-8-9-2路径路径4、5、6后面的省略号（后面的省略号（）表示在控制结构中以后）表示在控制结构中以后剩下的路径是可选择的。在很多情况下，标识判断结点，常剩下的路径是可选择的。在很多

32、情况下，标识判断结点，常常能够有效地帮助导出测试用例。在上例中，结点常能够有效地帮助导出测试用例。在上例中，结点2、3、5、6和和10都是判断结点。都是判断结点。 6.3 基本路径测试6.3 基本路径测试4. 准备测试用例，确保基本路径集中的每一条路径的执行准备测试用例，确保基本路径集中的每一条路径的执行 根据判断结点给出的条件，选择适当的数据以保证某一条根据判断结点给出的条件，选择适当的数据以保证某一条路径可以被测试到。满足上例基本路径集的测试用例如下。路径可以被测试到。满足上例基本路径集的测试用例如下。 path1：输入数据：输入数据：valuek=有效输入，限于有效输入，限于ki（i定义

33、如下）定义如下） valuei=999， 当当2i100 预期结果：预期结果：n个值的正确的平均值、正确的总计数。个值的正确的平均值、正确的总计数。 注意：不能孤立地进行测试，应当作为路径注意：不能孤立地进行测试，应当作为路径4、5、6测试的一测试的一 部分来测试。部分来测试。 path2：输入数据：输入数据：value1=999 预期结果：平均值预期结果：平均值=999，总计数取初始值。，总计数取初始值。 path3：输入数据：试图处理：输入数据：试图处理101个或更多的值，而前个或更多的值，而前100个应当是有个应当是有 效的值。效的值。 预期结果：与测试用例预期结果：与测试用例1相同。相

34、同。 6.3 基本路径测试 path4：输入数据：输入数据：valuei=有效输入，且有效输入，且i100 valuek最小值，当最小值，当ki时时 预期结果：预期结果：n个值的正确的平均值，正确的总计数个值的正确的平均值，正确的总计数 path5：输入数据：输入数据：valuei=有效输入，且有效输入，且i最大值，当最大值，当ki时时 预期结果：预期结果：n个值的正确的平均值，正确的总计数个值的正确的平均值，正确的总计数 path6：输入数据：输入数据：valuei=有效输入，且有效输入，且i100 预期结果：预期结果：n个值的正确的平均值，正确的总计数个值的正确的平均值，正确的总计数 每个

35、测试用例执行之后，与预期结果进行比较。如果所有每个测试用例执行之后，与预期结果进行比较。如果所有测试用例都执行完毕，则可以确信程序中所有的可执行语句测试用例都执行完毕，则可以确信程序中所有的可执行语句至少被执行了一次。但是必须注意的是，一些独立的路径至少被执行了一次。但是必须注意的是，一些独立的路径（如此例中的路径（如此例中的路径1），往往不是完全孤立的，有时它是程序），往往不是完全孤立的，有时它是程序正常的控制流的一部分，这时，这些路径的测试可以是另一正常的控制流的一部分，这时，这些路径的测试可以是另一条路径测试的一部分。条路径测试的一部分。 5. 图形矩阵图形矩阵 图形矩阵图形矩阵是在基本

36、路径测试中起辅助作用的软件工具，是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。一个图形矩利用它可以实现自动地确定一个基本路径集。一个图形矩阵是一个方阵，其行阵是一个方阵，其行/列数等于控制流图中的结点数。每行列数等于控制流图中的结点数。每行和每列依次对应到一个被标识的结点，矩阵元素对应到结和每列依次对应到一个被标识的结点，矩阵元素对应到结点间的连接（即边）。下图所示为一个简单的控制流图点间的连接（即边）。下图所示为一个简单的控制流图和它所对应的图形矩阵。在此图中，控制流图的每一个结和它所对应的图形矩阵。在此图中，控制流图的每一个结点都用数字加以标识，每一条边都

37、用字母加以标识。如果点都用数字加以标识，每一条边都用字母加以标识。如果在控制流图中第在控制流图中第i个结点到第个结点到第j个结点有一条名为个结点有一条名为x的边相连的边相连接，则在对应的图形矩阵中第接，则在对应的图形矩阵中第i行行/第第j列有一个非空的元素列有一个非空的元素x。 6.3 基本路径测试在控制流图中对每一条边加上一个连接权，图形矩阵就成为测试过程在控制流图中对每一条边加上一个连接权，图形矩阵就成为测试过程中评价程序控制结构的工具。连接权提供了关于控制流的附加信息。中评价程序控制结构的工具。连接权提供了关于控制流的附加信息。最简单的情形，连接权为最简单的情形，连接权为“1”，表示存在

38、一个连接，或者为，表示存在一个连接，或者为“0”，表，表示示不存在一个连接。但在其他情况，连接权可以表示如下特性：连接不存在一个连接。但在其他情况，连接权可以表示如下特性：连接（边）执行的可能性（概率）、通过一个连接需花费的时间、在通过（边）执行的可能性（概率）、通过一个连接需花费的时间、在通过一个连接时所需的存储、在通过一个连接时所需的资源一个连接时所需的存储、在通过一个连接时所需的资源。6.3 基本路径测试 为了举例说明，用最简单的权限（为了举例说明，用最简单的权限（0或者或者1）来表明连接。下图为上）来表明连接。下图为上图图形矩阵改画后的结果。每个字母用图图形矩阵改画后的结果。每个字母用

39、“1”取代，表明存在一个连接。取代，表明存在一个连接。在图中，在图中，“0”未画出。采用这种表示时，图形矩阵称为连接矩阵。未画出。采用这种表示时，图形矩阵称为连接矩阵。 图中，若一行有图中，若一行有2个或更多的元素，则这行所代表的结点一定是判定个或更多的元素，则这行所代表的结点一定是判定结点。因而通过计算排列在连接矩阵右边的算式，可以得到确定该图环结点。因而通过计算排列在连接矩阵右边的算式，可以得到确定该图环路复杂性的另一种方法。路复杂性的另一种方法。 6.3 基本路径测试等价类划分是一种典型的黑盒测试方法，也是一种非常实等价类划分是一种典型的黑盒测试方法，也是一种非常实用的重要测试方法用的重

40、要测试方法,它是用来解决如何选择适当的子集，使它是用来解决如何选择适当的子集，使其尽可能多地发现错误。使用这一方法设计测试用例要经其尽可能多地发现错误。使用这一方法设计测试用例要经历划分等价类（列出等价类表）和选取测试用例两步。历划分等价类（列出等价类表）和选取测试用例两步。1. 划分等价类划分等价类 所谓所谓等价类等价类是指某个输入域的子集合。在该子集合中，是指某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是等效的，并合理各个输入数据对于揭露程序中的错误都是等效的，并合理地假定：测试某等价类的代表值等价于对这一类其他值的地假定：测试某等价类的代表值等价于对这一类其他值的

41、测试。或者说，如果某个等价类中的一个数据作为测试数测试。或者说，如果某个等价类中的一个数据作为测试数据进行测试查出了错误，那么使用这一等价类中的其他数据进行测试查出了错误，那么使用这一等价类中的其他数6.4 黑盒测试的测试用例设计 等价类划分等价类划分 据进行测试也会查出同样的错误；反之，若使用某个等价类据进行测试也会查出同样的错误；反之，若使用某个等价类中的一个数据作为测试数据进行测试没有查出错误，则使中的一个数据作为测试数据进行测试没有查出错误，则使用这个等价类中的其他数据也同样查不出错误。用这个等价类中的其他数据也同样查不出错误。 等价类的划分有两种不同的情况。等价类的划分有两种不同的情

42、况。 （1）有效等价类：是指对于程序的规格说明来说，是合理）有效等价类：是指对于程序的规格说明来说，是合理 的、有意义的输入数据构成的集合。利用它，可以检的、有意义的输入数据构成的集合。利用它，可以检 验程序是否实现了规格说明预先规定的功能和性能。验程序是否实现了规格说明预先规定的功能和性能。 （2）无效等价类：是指对于程序的规格说明来说，是不合）无效等价类：是指对于程序的规格说明来说，是不合 理的、无意义的输入数据构成的集合。程序员主要利理的、无意义的输入数据构成的集合。程序员主要利 用这一类测试用例检查程序中功能和性能的实现是否用这一类测试用例检查程序中功能和性能的实现是否 有不符合规格说

43、明要求的地方。有不符合规格说明要求的地方。6.4 黑盒测试的测试用例设计在设计测试用例时，要同时考虑有效等价类和无效等价类的在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。软件不能都只接受合理的数据，还要经受意外的考设计。软件不能都只接受合理的数据，还要经受意外的考验，检验出无效的或不合理的数据，这样的软件测试才是全验，检验出无效的或不合理的数据，这样的软件测试才是全面的。面的。以下结合具体实例给出几条划分等价类的原则。以下结合具体实例给出几条划分等价类的原则。（1）如果输入数据规定了取值范围或值的个数，则可以确）如果输入数据规定了取值范围或值的个数，则可以确 定一个有效等价类和两个

44、无效等价类。例如，在程序定一个有效等价类和两个无效等价类。例如，在程序 的规格说明中，对输入数据有一句话：的规格说明中，对输入数据有一句话： “项数可以从项数可以从1到到999” 则有效等价类是则有效等价类是“1项数项数999”，两个无效等价类是，两个无效等价类是 “项数项数999”。在数轴上表示为。在数轴上表示为6.4 黑盒测试的测试用例设计 无效等价类| 有效等价类| 无效等价类 1 999 （2）如果规格说明规定了数据值的集合，或者是规定了）如果规格说明规定了数据值的集合，或者是规定了 “必须如何必须如何”的条件，这时可确定一个有效等价类和的条件，这时可确定一个有效等价类和一一 个无效等

45、价类。例如，在个无效等价类。例如，在PASCAL语言中对变量标识语言中对变量标识 符规定为符规定为“以字母打头的以字母打头的串串”，那么所有以字母，那么所有以字母打打 头的串构成有效等价类，而不在此集合内（不以字母头的串构成有效等价类，而不在此集合内（不以字母 打打 头）的串归于无效等价类。头）的串归于无效等价类。（3）如果规格说明中规定的是一个条件数据，则可确定一）如果规格说明中规定的是一个条件数据，则可确定一 个有效等价类和一个无效等价类。例如：个有效等价类和一个无效等价类。例如：“成人成人 （年满（年满18岁）须岁）须”，则考虑成人为一有效等价类；，则考虑成人为一有效等价类； 未满未满1

46、8岁者为无效等价类。岁者为无效等价类。（4）如果我们确知，已划分的等价类中各元素在程序中的）如果我们确知，已划分的等价类中各元素在程序中的 处理方式不同，则应将此等价类进一步划分成更小的处理方式不同，则应将此等价类进一步划分成更小的 等价类。等价类。 6.4 黑盒测试的测试用例设计2. 确定测试用例确定测试用例 在确定了等价类之后，建立等价类表，列出所有划分出的在确定了等价类之后，建立等价类表，列出所有划分出的 等价类如下：等价类如下： 6.4 黑盒测试的测试用例设计再从划分出的等价类中按以下原则选择测试用例。再从划分出的等价类中按以下原则选择测试用例。（1）为每一个等价类规定一个唯一的编号。

47、）为每一个等价类规定一个唯一的编号。（2）设计一个新的测试用例，使其尽可能多地覆盖尚未被）设计一个新的测试用例，使其尽可能多地覆盖尚未被 覆盖的有效等价类，重复这一步，直到所有的有效等覆盖的有效等价类，重复这一步，直到所有的有效等 价类都被覆盖为止。价类都被覆盖为止。（3）设计一个新的测试用例，使其仅覆盖一个尚未被覆盖）设计一个新的测试用例，使其仅覆盖一个尚未被覆盖 的无效等价类，重复这一步，直到所有的无效等价类的无效等价类，重复这一步，直到所有的无效等价类 都被覆盖为止。都被覆盖为止。上述原则中，（上述原则中，（2）完全是为了把测试工作量减到最小，）完全是为了把测试工作量减到最小，（3）则可

48、把多个错误分开。例如，学校领导分为校长、副）则可把多个错误分开。例如，学校领导分为校长、副校长、书记、副书记，年龄（校长、书记、副书记，年龄（AGE）在）在25AGE75。若。若给出一个无效等价类的测试用例为（妇联主任，给出一个无效等价类的测试用例为（妇联主任，5岁），它岁），它覆盖了两个错误的输入条件（职务，年龄），但当程序检覆盖了两个错误的输入条件（职务，年龄），但当程序检查到职务时发现了错误，就可能不再去检查年龄错误，因查到职务时发现了错误，就可能不再去检查年龄错误，因此必须针对每一个无效等价类，分别设计测试用例。此必须针对每一个无效等价类，分别设计测试用例。 6.4 黑盒测试的测试用例

49、设计6.4 黑盒测试的测试用例设计3. 用等价类划分法设计测试用例的实例用等价类划分法设计测试用例的实例 在某一在某一PASCAL语言版本中规定：语言版本中规定：“标识符是由字母开头、后跟字母标识符是由字母开头、后跟字母或数字的任意组合构成。有效字符数为或数字的任意组合构成。有效字符数为8个，最大字符数为个，最大字符数为80个。个。”并并且规定：且规定：“标识符必须先说明，再使用。标识符必须先说明，再使用。”“”“在同一说明语句中，标识在同一说明语句中，标识符至少必须有一个。符至少必须有一个。” 为用等价类划分的方法得到上述规格说明所规定的要求，本着前述的为用等价类划分的方法得到上述规格说明所

50、规定的要求，本着前述的划分原则，建立输入等价类表，如下表所示（表中括号中的数字为等价划分原则，建立输入等价类表，如下表所示（表中括号中的数字为等价类编号）。类编号）。 下面选取了下面选取了8个测试用例，它们覆盖了所有的等价类。个测试用例，它们覆盖了所有的等价类。 VAR x，T1234567：REAL； （1）（）（2）（）（4）（）（7）（）（8）（）（11） （13） BEGIN x：=3.414；T1234567：=2.732； VAR ：REAL； （3） VAR x，：，：REAL； （5） VAR T12345：REAL； （6）多于）多于80个字符个字符 VAR T $：CHAR

51、； （9） VAR GOTO：INTEGER； （10） VAR 2T：REAL； （12） VAR PAR：REAL； （14） BEGIN PAP：=SIN（3.14*0.8）/6； 6.4 黑盒测试的测试用例设计6.4 黑盒测试的测试用例设计 边界值分析边界值分析 1. 边界值分析方法的考虑边界值分析方法的考虑 边界值分析边界值分析也是一种黑盒测试方法，是对等价类划分方法也是一种黑盒测试方法，是对等价类划分方法的补充。人们从长期的测试工作经验中得知，大量的错误是的补充。人们从长期的测试工作经验中得知，大量的错误是发生在输入或输出范围的边界上，而不是在输入范围的内部，发生在输入或输出范围的

52、边界上，而不是在输入范围的内部，因此，针对各种边界情况设计测试用例，可以查出许多容易因此，针对各种边界情况设计测试用例，可以查出许多容易发生的错误。这里所说的边界是指，相当于输入等价类和输发生的错误。这里所说的边界是指，相当于输入等价类和输出等价类而言，稍高于其边界值及稍低于其边界值的一些特出等价类而言，稍高于其边界值及稍低于其边界值的一些特定情况。定情况。 使用边界值分析方法设计测试用例，首先应分析边界情况。使用边界值分析方法设计测试用例，首先应分析边界情况。通常输入等价类与输出等价类的边界是需要认真考虑的。应通常输入等价类与输出等价类的边界是需要认真考虑的。应当选取正好等于、刚刚大于或刚刚

53、小于边界的值作为测试数当选取正好等于、刚刚大于或刚刚小于边界的值作为测试数据，而不是选取等价类中的典型值或任意值作为测试数据。据，而不是选取等价类中的典型值或任意值作为测试数据。6.4 黑盒测试的测试用例设计2. 选择测试用例的原则选择测试用例的原则 （1）如果输入数据规定了值的范围，则应取刚达到这个范围的边界）如果输入数据规定了值的范围，则应取刚达到这个范围的边界 的值，以及刚刚超越这个范围边界的值作为测试输入数据。例如，的值，以及刚刚超越这个范围边界的值作为测试输入数据。例如， 若输入值的范围是若输入值的范围是“1.01.0”，则可选取，则可选取“1.0”，“1.0”， “1.001”，“

54、1.001”作为测试输入数据。作为测试输入数据。 （2）如果输入数据规定了值的个数，则用最大个数、最小个数、比）如果输入数据规定了值的个数，则用最大个数、最小个数、比 最大个数多最大个数多1、比最小个数少、比最小个数少1的数作为测试数据。例如，一个输入的数作为测试数据。例如，一个输入 文件有文件有1255个记录，设计测试用例时则可以分别设计有个记录，设计测试用例时则可以分别设计有1个记个记 录、录、255个记录以及个记录以及0个记录和个记录和256个记录的输入文件。个记录的输入文件。 （3）根据规格说明的每个输出数据，使用前面的原则（）根据规格说明的每个输出数据，使用前面的原则（1）。例）。例

55、 如，某程序的功能是计算折扣量，最低折扣量是如，某程序的功能是计算折扣量，最低折扣量是0元，最高折扣量元，最高折扣量 是是1 050元，则设计一些测试用例，使它们恰好产生元，则设计一些测试用例，使它们恰好产生0元和元和1 050元元 的结果。此外，还可考虑设计结果为负值或大于的结果。此外，还可考虑设计结果为负值或大于1 050元的测试用元的测试用 例。由于输入值的边界不与输出值的边界相对应，所以要检查输出例。由于输入值的边界不与输出值的边界相对应，所以要检查输出 值的边界不一定可能，要产生超出输出值值域之外的结果也不一定值的边界不一定可能，要产生超出输出值值域之外的结果也不一定办得到。尽管如此

56、，必要时还需一试。办得到。尽管如此，必要时还需一试。（4）根据规格说明的每个输出数据，使用前面的原则（）根据规格说明的每个输出数据，使用前面的原则（2）。例如，一）。例如，一个信息检索系统根据用户打入的命令，显示有关文献的摘要，但最多个信息检索系统根据用户打入的命令，显示有关文献的摘要，但最多只显示只显示4篇摘要。这时可设计一些测试用例，使得程序分别显示篇摘要。这时可设计一些测试用例，使得程序分别显示1篇、篇、4篇、篇、0篇摘要，并设计一个有可能使程序错误地显示篇摘要，并设计一个有可能使程序错误地显示5篇摘要的测试篇摘要的测试用例。用例。（5）如果程序的规格说明给出的输入域或输出域是有序集合（

57、如有序）如果程序的规格说明给出的输入域或输出域是有序集合（如有序表，顺序文件等），则应选取集合的第一个元素和最后一个元素作为表，顺序文件等），则应选取集合的第一个元素和最后一个元素作为测试用例。测试用例。（6）如果程序中使用了一个内部数据结构，则应当选择这个内部数据）如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界上的值作为测试用例。例如，如果程序中定义了一个数组，结构的边界上的值作为测试用例。例如，如果程序中定义了一个数组，其元素下标的下界是其元素下标的下界是0，上界是，上界是100，那么应选择达到这个数组下标，那么应选择达到这个数组下标边界的值，如边界的值，如0与与100

58、，作为测试用例。，作为测试用例。（7）分析规格说明，找出其他可能的边界条件。）分析规格说明，找出其他可能的边界条件。 6.4 黑盒测试的测试用例设计6.4 黑盒测试的测试用例设计3. 应用边界值分析方法设计测试用例的实例应用边界值分析方法设计测试用例的实例 假如一个为学生标准化假如一个为学生标准化考试批阅试卷、产生成绩考试批阅试卷、产生成绩报告的程序，程序的输入报告的程序，程序的输入文件由一些有文件由一些有80个字符的个字符的记录（卡片）组成。输入记录（卡片）组成。输入数据记录格式如右图所数据记录格式如右图所示。示。 把以上所有记录分为把以上所有记录分为3组组:（1）标题。标题。这一组只有一个

59、记录，其内容是成绩报告的名字。这一组只有一个记录，其内容是成绩报告的名字。（2）各题的标准答案。各题的标准答案。每个记录均在第每个记录均在第80个字符处标以数字个字符处标以数字“2”。该。该组组 的第的第1个记录的第个记录的第13个字符为试题数（取值为个字符为试题数（取值为1999）。第）。第 1059个字符给出第个字符给出第150题的标准答案（每个合法字符表示一个题的标准答案（每个合法字符表示一个 答案）。该组的第答案）。该组的第2、第、第3个记录相应为第个记录相应为第51100题、第题、第 101150题题题的标准答案。题的标准答案。（3）学生的答卷。学生的答卷。每个记录均在第每个记录均在

60、第80个字符处标以数字个字符处标以数字“3”，每个学，每个学生生 的答卷在若干个记录中给出。例如，某甲的首记录第的答卷在若干个记录中给出。例如，某甲的首记录第19个字符个字符 给出学生的学号，第给出学生的学号，第1059个字符列出的是某甲所作的第个字符列出的是某甲所作的第150题题 的解答。若试题数超过的解答。若试题数超过50，则其第，则其第2、第、第3个记录分别给出的个记录分别给出的 第第51100题、第题、第101150题的解答。然后是某乙的答卷记题的解答。然后是某乙的答卷记 录。学生人数不超过录。学生人数不超过200人，试题个数不超过人，试题个数不超过999。程序的输出有。程序的输出有4