软件测试理论课件.ppt

《软件测试理论课件.ppt》由会员分享，可在线阅读，更多相关《软件测试理论课件.ppt（62页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、软件测试理论第1页，此课件共62页哦5.1软件测试的目标和原则软件测试的目标和原则5.2软件测试的方法软件测试的方法5.3软件测试的步骤和策略软件测试的步骤和策略5.4停止测试停止测试5.5自动化测试工具自动化测试工具学习内容：学习内容：第五章第五章软件测试软件测试第2页，此课件共62页哦第五章第五章软件测试软件测试项目后期阶段包括项目后期阶段包括软件测试、软件维护、软件项目后期管理软件测试、软件维护、软件项目后期管理等若等若干阶段。通常软件开发的干阶段。通常软件开发的2/3以上时间都处于项目后期阶段，其中以上时间都处于项目后期阶段，其中软件软件测试工作量占整个项目开发工作量的测试工作量占整个

2、项目开发工作量的40%左右左右。软软件件测测试试是是为为了了发发现现错错误误而而执执行行程程序序的的过过程程，软软件件测测试试是是保保证证软软件件可可靠靠性性的的主主要要手手段段。测测试试阶阶段段的的主主要要任任务务是是发发现现并并改改正正软软件件中中的的错错误误。白白盒盒测测试试和和黑黑盒盒测测试试是是软软件件测测试试的的两两类类基基本本方方法法。软软件件测测试通常至少分为试通常至少分为单元测试、集成测试和系统测试单元测试、集成测试和系统测试三个基本阶段。三个基本阶段。软软件件维维护护的的目目的的是是要要保保证证软软件件的的正正常常运运行行，尽尽可可能能延延长长软软件件生生命命周期。周期。第

3、3页，此课件共62页哦软件测试的目标：软件测试的目标：Glen Myers（梅尔斯）在他的软件测试著作中就软件测试的目的提出下列观点观点：(1)(1)(1)(1)测试是一个为了寻找错误而运行程序的过程。测试是一个为了寻找错误而运行程序的过程。测试是一个为了寻找错误而运行程序的过程。测试是一个为了寻找错误而运行程序的过程。(2)(2)(2)(2)一个好的测试用例是指很可能找到迄今为止尚未发现的错一个好的测试用例是指很可能找到迄今为止尚未发现的错一个好的测试用例是指很可能找到迄今为止尚未发现的错一个好的测试用例是指很可能找到迄今为止尚未发现的错误的用例。误的用例。误的用例。误的用例。(3)(3)(

4、3)(3)一个成功的测试是指揭示了迄今为止尚未发现的错误的测试。一个成功的测试是指揭示了迄今为止尚未发现的错误的测试。一个成功的测试是指揭示了迄今为止尚未发现的错误的测试。一个成功的测试是指揭示了迄今为止尚未发现的错误的测试。软件（程序）测试是为了发现错误而执行程序的过程。软件（程序）测试是为了发现错误而执行程序的过程。5.1软件测试的目标和原则软件测试的目标和原则第4页，此课件共62页哦vv换言之，测试的目的是换言之，测试的目的是 想以最少的时间和人力，想以最少的时间和人力，系统地找出软件系统地找出软件中潜在的各种错误和缺陷中潜在的各种错误和缺陷。如果我们成功。如果我们成功地实施了测试，我们

5、就能够发现软件中的地实施了测试，我们就能够发现软件中的错误。错误。测试的附带收获是，它测试的附带收获是，它能够证明软件的功能够证明软件的功能和性能与需求说明相符合能和性能与需求说明相符合。实施测试收集到的测试结果数据为可靠实施测试收集到的测试结果数据为可靠性分析提供了依据。性分析提供了依据。测试不能表明软件中不存在错误，它只能说测试不能表明软件中不存在错误，它只能说明软件中存在错误。明软件中存在错误。第5页，此课件共62页哦基于不同的立场，存在着两种基于不同的立场，存在着两种完全不同的测试目的完全不同的测试目的vv从从用户的角度用户的角度出发，普遍希望通过软件出发，普遍希望通过软件测试测试暴露

6、软件中隐藏的错误和缺陷暴露软件中隐藏的错误和缺陷，以，以考虑是否可接受该产品。考虑是否可接受该产品。vv从从软件开发者的角度软件开发者的角度出发，则希望测试出发，则希望测试成为成为表明软件产品中不存在错误表明软件产品中不存在错误的过程，的过程，验证该软件已正确地实现了用户的要求，验证该软件已正确地实现了用户的要求，确立人们对软件质量的信心。确立人们对软件质量的信心。第6页，此课件共62页哦软件测试的原则1.1.应当把应当把“尽早地和不断地进行软件测尽早地和不断地进行软件测试试”作为软件开发者的座右铭。作为软件开发者的座右铭。2.2.测试用例应由测试用例应由测试输入数据测试输入数据和对应的和对应

7、的预期输出结果预期输出结果这两部分组成。这两部分组成。3.3.程序员应避免检查自己的程序。程序员应避免检查自己的程序。4.4.在设计测试用例时，应包括在设计测试用例时，应包括合理的输合理的输入条件入条件和和不合理的输入条件不合理的输入条件。第7页，此课件共62页哦5.充分注意测试中的群集现象。充分注意测试中的群集现象。经验表明，经验表明，测试后测试后程序中残存的错误数程序中残存的错误数目与该程序中已发现的错误数目成正比目与该程序中已发现的错误数目成正比。6.严格执行测试计划，严格执行测试计划，排除测试的随意性排除测试的随意性。7.应当对每一个测试结果做全面检查。应当对每一个测试结果做全面检查。

8、8.妥善保存测试计划，测试用例，出错统妥善保存测试计划，测试用例，出错统计和最终分析报告，为维护提供方便。计和最终分析报告，为维护提供方便。第8页，此课件共62页哦软 件 测 试 的 对 象vv软件测试并不等于程序测试。软件测试并不等于程序测试。软件测试软件测试应贯穿于软件定义与开发的整个期间应贯穿于软件定义与开发的整个期间。vv需求分析需求分析、概要设计概要设计、详细设计以及程详细设计以及程序编码序编码等各阶段所得到的等各阶段所得到的文档文档，包括需，包括需求规格说明、概要设计规格说明、详细求规格说明、概要设计规格说明、详细设计规格说明以及源程序，设计规格说明以及源程序，都应成为软都应成为软

9、件测试的对象件测试的对象。第9页，此课件共62页哦5.5.充分注意测试中的群集现象。充分注意测试中的群集现象。经验表明，经验表明，测试后测试后程序中残存的错误数程序中残存的错误数目与该程序中已发现的错误数目成正比目与该程序中已发现的错误数目成正比。6.6.严格执行测试计划，严格执行测试计划，排除测试的随意排除测试的随意性性。7.7.应当对每一个测试结果做全面检查。应当对每一个测试结果做全面检查。8.8.妥善保存测试计划，测试用例，出错妥善保存测试计划，测试用例，出错统计和最终分析报告，为维护提供方便。统计和最终分析报告，为维护提供方便。第10页，此课件共62页哦5.2软件测试的方法软件测试的方

10、法系统分析测试系统分析测试 系统分析测试是测试项目是否能体现整个系统的需求，对用户的需系统分析测试是测试项目是否能体现整个系统的需求，对用户的需求从具体到抽象的一个过程的验证。注意：软件测试应贯穿于软件定义与求从具体到抽象的一个过程的验证。注意：软件测试应贯穿于软件定义与开发的整个期间。开发的整个期间。5.2.1静态测试和动态测试静态测试和动态测试1.1.静态测试静态测试:指被测试程序不在机器上运行，而是采用人工测试和计算机指被测试程序不在机器上运行，而是采用人工测试和计算机辅助静态分析的手段对程序进行测试。包括：人工测试和计算机辅助静态辅助静态分析的手段对程序进行测试。包括：人工测试和计算机

11、辅助静态分析测试分析测试.（发现（发现30%70%30%70%逻辑和编码错误）逻辑和编码错误）2.2.动态测试动态测试:指通过运行程序发现错误。大多测试采用动态测试。包括指通过运行程序发现错误。大多测试采用动态测试。包括白盒测试法和黑盒测试法。白盒测试法和黑盒测试法。第11页，此课件共62页哦测试信息流：vv软件配置软件配置：软件需求规格说明、软件：软件需求规格说明、软件设计规格说明、源代码等；设计规格说明、源代码等；vv测试配置测试配置：测试计划、测试用例、测：测试计划、测试用例、测试程序等；试程序等；vv测试工具测试工具：测试数据自动生成程序、：测试数据自动生成程序、静态分析程序、动态分析

12、程序、测试静态分析程序、动态分析程序、测试结果分析程序、以及驱动测试的测试结果分析程序、以及驱动测试的测试数据库等等。数据库等等。第12页，此课件共62页哦vv测试结果分析测试结果分析：比较实测结果与预期：比较实测结果与预期结果，评价错误是否发生。结果，评价错误是否发生。vv排错排错(调试调试)：对已经发现的错误进行错：对已经发现的错误进行错误定位和确定出错性质，并改正这些误定位和确定出错性质，并改正这些错误，同时修改相关的文档。错误，同时修改相关的文档。vv修正后的文档再测试修正后的文档再测试：直到通过测试：直到通过测试为止。为止。第13页，此课件共62页哦5.2.2 系统测试用例的设计系统

13、测试用例的设计1.测试方法测试方法(1)黑盒法黑盒法 该方法把被测试对象看成一个黑盒子，该方法把被测试对象看成一个黑盒子，测试人员测试人员完全不考虑程序的内部结构和处理过程，只在软件的完全不考虑程序的内部结构和处理过程，只在软件的接口处进行测试，接口处进行测试，依据需求规格说明书，检查程序依据需求规格说明书，检查程序是否满足功能要求。因此，是否满足功能要求。因此，黑盒测试又称为功能测黑盒测试又称为功能测试或数据驱动测试。试或数据驱动测试。第14页，此课件共62页哦 通过黑盒测试主要发现下面错误：是否有不正确或遗漏了的通过黑盒测试主要发现下面错误：是否有不正确或遗漏了的功能；在接口上，能否正确地

14、接受输入数据，能否产生正确的输功能；在接口上，能否正确地接受输入数据，能否产生正确的输出信息；访问外部信息是否有错；性能上是否满足要求等等。出信息；访问外部信息是否有错；性能上是否满足要求等等。(2)白盒法白盒法该该方方法法把把被被测测试试对对象象看看成成一一个个白白盒盒子子，测测试试人人员员须须了了解解程程序序的的内内部部结结构构和和处处理理过过程程，以以检检查查处处理理过过程程的的细细节节为为基基础础，对对程程序序中中尽尽可可能能多多的的逻逻辑辑路路径径进进行行测测试试，检检验验内内部部控控制制结结构构和和数数据据结结构构是是否否有有错错，实实际际的的运运行行状状态态与与预预期期的的状状态

15、态是是否否一一致致。白白盒盒测测试试又又称称为为结结构构测测试试或或逻逻辑辑驱驱动动测测试试。下下图图给出一个白盒测试实例：给出一个白盒测试实例：第15页，此课件共62页哦某软件研制测试报告图第16页，此课件共62页哦2.白盒技术测试用例的设计白盒技术测试用例的设计 测测试试用用例例设设计计的的基基本本目目的的是是确确定定一一组组最最有有可可能能发发现现某某个个错错误误或或某某类类错错误误的的测测试试数数据据。实实际际工工作作中中，采采用用黑黑盒盒与与白白盒盒相相结结合合的的技技术术是是较较为为合合理理的做法。的做法。白白盒盒测测试试属属于于结结构构测测试试，所所以以被被测测对对象象基基本本上

16、上是是源源程程序序，以程序的内部逻辑为基础来设计测试用例。以程序的内部逻辑为基础来设计测试用例。一一、逻逻辑辑覆覆盖盖：是是以以程程序序内内部部逻逻辑辑为为基基础础的的测测试试技技术术，属属白白盒盒测测试试。这这一一测测试试考考虑虑测测试试用用例例对对程程序序内内部部逻逻辑辑覆覆盖盖的的程程度度。目目目目前前前前常常常常用用用用的的的的一一一一些些些些覆覆覆覆盖盖盖盖技术有以下八种。技术有以下八种。技术有以下八种。技术有以下八种。第17页，此课件共62页哦 1 1）.语句覆盖语句覆盖 语句覆盖的含义是选择足够多的测试用例，使得被测程序中语句覆盖的含义是选择足够多的测试用例，使得被测程序中语句覆

17、盖的含义是选择足够多的测试用例，使得被测程序中语句覆盖的含义是选择足够多的测试用例，使得被测程序中的每条语句至少执行一次。的每条语句至少执行一次。的每条语句至少执行一次。的每条语句至少执行一次。下面是测试的一段程序的流程图对应下面是测试的一段程序的流程图对应的的C C源程序源程序(用用C C语言书写语言书写)。float A,B,X;float A,B,X;if(A if(A1&B=0)1&B=0)X=X/A;X=X/A;if(A=2|X1)if(A=2|X1)X=X+1;X=X+1;第18页，此课件共62页哦 为了使每条语句都执行一次，程序应该按为了使每条语句都执行一次，程序应该按sacbe

18、dsacbed路径执行，为实现路径执行，为实现此路径而选取下面的一组输入数据此路径而选取下面的一组输入数据(实际上实际上X X可以是任意实数可以是任意实数):A=2,):A=2,B=0,X=2B=0,X=2图5.1语句覆盖第19页，此课件共62页哦 通过上例可以看出，这组数据只测试了条件为真的情况，若实通过上例可以看出，这组数据只测试了条件为真的情况，若实际输入的条件为假时有错误显然测试不出来。事实上，语句覆盖对际输入的条件为假时有错误显然测试不出来。事实上，语句覆盖对程序的逻辑覆盖很少，语句覆盖只关心判定表达式的值，而没有分程序的逻辑覆盖很少，语句覆盖只关心判定表达式的值，而没有分别测试判定

19、表达式中每个条件取不同值的情况。别测试判定表达式中每个条件取不同值的情况。与后面所介绍的其他覆盖相比，语句覆盖是最弱的逻辑覆与后面所介绍的其他覆盖相比，语句覆盖是最弱的逻辑覆与后面所介绍的其他覆盖相比，语句覆盖是最弱的逻辑覆与后面所介绍的其他覆盖相比，语句覆盖是最弱的逻辑覆盖准则。盖准则。盖准则。盖准则。第20页，此课件共62页哦 2 2）.判定覆盖判定覆盖 判定覆盖就是设计若干个测试用例，运行所测程序，使得程序中每个判判定覆盖就是设计若干个测试用例，运行所测程序，使得程序中每个判判定覆盖就是设计若干个测试用例，运行所测程序，使得程序中每个判判定覆盖就是设计若干个测试用例，运行所测程序，使得程

20、序中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。判定覆断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。判定覆断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。判定覆断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。判定覆盖的每个语句至少经历一次。盖的每个语句至少经历一次。盖的每个语句至少经历一次。盖的每个语句至少经历一次。例如对于图5.1来说，能够分别覆盖路径sacbed和sabd的一组测试数据，或者覆盖路径sacbd和sabed的两组测试数据均可满足判定覆盖标准。例如，以两组测试数据就可做到判定覆盖：(1)A=4，B=0，X=1(覆盖sa

21、cbd)；(2)A=2，B=1，X=3(覆盖sabed)。判定覆盖的缺点仍然是覆盖的不全，只覆盖了路径的一半，如将X1误写成X1，上组(1)数据仍覆盖sacbd，可见判定覆盖仍然很弱，但比语句覆盖强。第21页，此课件共62页哦 3 3）.条件覆盖条件覆盖 条件覆盖就是设计若干个测试用例，运行所测程序，使得程序条件覆盖就是设计若干个测试用例，运行所测程序，使得程序条件覆盖就是设计若干个测试用例，运行所测程序，使得程序条件覆盖就是设计若干个测试用例，运行所测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。中每个判断的每个条件的可能取值至少执行一次。中每个判断的每个条件的可能取值至少执行一

22、次。中每个判断的每个条件的可能取值至少执行一次。(条件覆盖使得每条件覆盖使得每条件覆盖使得每条件覆盖使得每个语句至少执行一次。个语句至少执行一次。个语句至少执行一次。个语句至少执行一次。)例如对于图例如对于图5.15.1来说，共有两个判定来说，共有两个判定表达式，每个表达式中有两个条件。为满足条件覆盖，在a点有以下几种情况出现：A1，A1，B0，B0；在b点有以下几种情况出现：A=2，A2，X1，X1。因而，只需要使用下面两组测试数据就可达到上述覆盖标准。第22页，此课件共62页哦 (1)A=2，B=0，X=3(满足A1，B0，A=2和X1的条件，执行路径sacbed)；(2)A=0，B=1，

23、X=0(满足A1，B0，A2和X1的条件执行路径sabd)。条件覆盖一般比判定覆盖强，因为条件覆盖使判定表达式中每个条件覆盖一般比判定覆盖强，因为条件覆盖使判定表达式中每个条件覆盖一般比判定覆盖强，因为条件覆盖使判定表达式中每个条件覆盖一般比判定覆盖强，因为条件覆盖使判定表达式中每个条件都取到了两个不同的结果，判定覆盖却只关心整个判定表达式的条件都取到了两个不同的结果，判定覆盖却只关心整个判定表达式的条件都取到了两个不同的结果，判定覆盖却只关心整个判定表达式的条件都取到了两个不同的结果，判定覆盖却只关心整个判定表达式的值。值。值。值。上例两组测试数据也同时满足判定覆盖标准。但是，也可能有上例两

24、组测试数据也同时满足判定覆盖标准。但是，也可能有相反情况：虽然每个条件都取到了两个不同的结果，判定表达式却相反情况：虽然每个条件都取到了两个不同的结果，判定表达式却始终只取一个值。例如，若使用以下两组测试数据，则只满足条件始终只取一个值。例如，若使用以下两组测试数据，则只满足条件覆盖标准并不满足判定覆盖标准。覆盖标准并不满足判定覆盖标准。第23页，此课件共62页哦 (1)A=2，B=0，X=1(满足A1，B0，A=2和X1的条件，执行路径sacbed)；(2)A=1，B=1，X=2(满足A1，B0，A2和X1的条件，执行路径sabed)。上述例子的第二个判定表达式的值总为真，不满足判定覆盖的要

25、求，为解决这一矛盾，需要对条件和分支兼顾。第24页，此课件共62页哦 4 4）.判定判定/条件覆盖条件覆盖 判定判定判定判定/条件覆盖就是设计足够的测试用例，条件覆盖就是设计足够的测试用例，条件覆盖就是设计足够的测试用例，条件覆盖就是设计足够的测试用例，使得判断中每个条件的所使得判断中每个条件的所使得判断中每个条件的所使得判断中每个条件的所有可能取值至少执行一次，同时每个判断的所有可能判断结果至少执有可能取值至少执行一次，同时每个判断的所有可能判断结果至少执有可能取值至少执行一次，同时每个判断的所有可能判断结果至少执有可能取值至少执行一次，同时每个判断的所有可能判断结果至少执行一次。即要求各个

26、判断的所有可能的条件取值组合至少执行一次。行一次。即要求各个判断的所有可能的条件取值组合至少执行一次。行一次。即要求各个判断的所有可能的条件取值组合至少执行一次。行一次。即要求各个判断的所有可能的条件取值组合至少执行一次。对于图5.1的例子而言，下述两组测试数据满足判定/条件覆盖标准。(1)A=2，B=0，X=4；(2)A=1，B=1，X=1。第25页，此课件共62页哦 判定/条件覆盖也有缺陷。从表面来看，它测试了所有条件的取值。但实际并不是这样。因为一些条件往往掩盖了另一些条件。对于条件表达式(A1)AND(B=0)来说，只要(A1)的测试为真，才需测试(B=0)的值来确定此表达式的值，但是

27、若(A1)的测试值为假时，不需再测(B=0)的值就可确定此表达式的值为假，因而B=0没有被检查。同理，对于(A=2)OR(X1)这个表达式来说，只要(A=2)测试结果为真，不必测试(X1)的结果就可确定表达式的值为真。所以对于判所以对于判定定/条件覆盖来说，逻辑表达式中的错误不一定能够查得出来。条件覆盖来说，逻辑表达式中的错误不一定能够查得出来。第26页，此课件共62页哦 5 5）.条件组合覆盖条件组合覆盖 条件组合覆盖就是设计足够的测试用例，运行所测程序，使得每条件组合覆盖就是设计足够的测试用例，运行所测程序，使得每条件组合覆盖就是设计足够的测试用例，运行所测程序，使得每条件组合覆盖就是设计

28、足够的测试用例，运行所测程序，使得每个判断的所有可能的条件取值组合至少执行一次。个判断的所有可能的条件取值组合至少执行一次。个判断的所有可能的条件取值组合至少执行一次。个判断的所有可能的条件取值组合至少执行一次。对于图5.1的例子来说，共有以下八种可能的条件组合：(1)A1，B=0 属第一个判断的取真分支；(2)A1，B0 属第一个判断的取假分支；(3)A1，B=0 属第一个判断的取假分支；(4)A1，B0 属第一个判断的取假分支；(5)A2，X1 属第二个判断的取真分支；(6)A2，X1 属第二个判断的取真分支；(7)A2，X1 属第二个判断的取真分支；(8)A2，X1 属第二个判断的取假分

29、支。第27页，此课件共62页哦 对于每个判断，要求所有可能的条件的取值组合都必须取到。在图5.1中，每个判断各有两个条件，所以各有四个条件取值的组合。下面的四组测试数据可以使上面列出的八种组合每种至少出现一次：(1)A=2(1)A=2，B=0B=0，X=4 (X=4 (针对针对(1)(1)，(5)(5)两种组合，执行路径两种组合，执行路径sacbed)sacbed)；(2)A=2 (2)A=2，B=1B=1，X=1 (X=1 (针对针对(2)(2)，(6)(6)两种组合，执行路径两种组合，执行路径sabed)sabed)；(3)A=1 (3)A=1，B=0B=0，X=2 (X=2 (针对针对(

30、3)(3)，(7)(7)两种组合，执行路径两种组合，执行路径sabed)sabed)；(4)A=1 (4)A=1，B=1B=1，X=1 (X=1 (针对针对(4)(4)，(8)(8)两种组合，执行路径两种组合，执行路径sabd)sabd)。第28页，此课件共62页哦 必须明确：在此例中条件组合覆盖并未要求第一个判定的四个组合与第二个判定的四个组合再进行组合，若那样，就需42=16个测试用例了。显然，满足条件组合覆盖标准的测试数据，也一定满足显然，满足条件组合覆盖标准的测试数据，也一定满足判定覆盖、条件覆盖和判定判定覆盖、条件覆盖和判定/条件覆盖标准。因此，条件组合覆盖条件覆盖标准。因此，条件组

31、合覆盖是前述几种覆盖标准中最强的。是前述几种覆盖标准中最强的。但是，满足条件覆盖标准的测试数据并不一定能使程序中的每条路径都执行到，如上述四组测试数据都没有测试到路径sacbd。总结：在实际的逻辑覆盖测试中，一般以条件组合覆盖为主设计总结：在实际的逻辑覆盖测试中，一般以条件组合覆盖为主设计总结：在实际的逻辑覆盖测试中，一般以条件组合覆盖为主设计总结：在实际的逻辑覆盖测试中，一般以条件组合覆盖为主设计测试用例，然后再补充部分用例，以达到路径覆盖测试标准。测试用例，然后再补充部分用例，以达到路径覆盖测试标准。测试用例，然后再补充部分用例，以达到路径覆盖测试标准。测试用例，然后再补充部分用例，以达到

32、路径覆盖测试标准。第29页，此课件共62页哦 6 6）.点覆盖点覆盖 点覆盖是设计足够的测试数据，使程序执行时至少经过程序图中每个点覆盖是设计足够的测试数据，使程序执行时至少经过程序图中每个点覆盖是设计足够的测试数据，使程序执行时至少经过程序图中每个点覆盖是设计足够的测试数据，使程序执行时至少经过程序图中每个节点一次。图论中，点覆盖的概念定义如下：如果连通图节点一次。图论中，点覆盖的概念定义如下：如果连通图节点一次。图论中，点覆盖的概念定义如下：如果连通图节点一次。图论中，点覆盖的概念定义如下：如果连通图G G G G的子图的子图的子图的子图GGGG是连通是连通是连通是连通的，且包含的，且包含

33、的，且包含的，且包含G G G G的所有节点，则称的所有节点，则称的所有节点，则称的所有节点，则称GGGG是是是是G G G G的点覆盖。的点覆盖。的点覆盖。的点覆盖。在正常情况下，程序图是在正常情况下，程序图是连通的有向图，图中每个节点相当于程序流程图中的一框连通的有向图，图中每个节点相当于程序流程图中的一框(一个或多个语句一个或多个语句)，所以点覆盖相当于语句覆盖。所以点覆盖相当于语句覆盖。所以点覆盖相当于语句覆盖。所以点覆盖相当于语句覆盖。第30页，此课件共62页哦 7 7）.边覆盖边覆盖 边覆盖是设计足够的测试数据，使得程序执行路径至少经过程序图中边覆盖是设计足够的测试数据，使得程序执

34、行路径至少经过程序图中边覆盖是设计足够的测试数据，使得程序执行路径至少经过程序图中边覆盖是设计足够的测试数据，使得程序执行路径至少经过程序图中每一个边一次，相应的图论中的定义是：如果连通图每一个边一次，相应的图论中的定义是：如果连通图每一个边一次，相应的图论中的定义是：如果连通图每一个边一次，相应的图论中的定义是：如果连通图G G G G和子图和子图和子图和子图G G G G“是连通的，是连通的，是连通的，是连通的，而且而且而且而且G G G G”包含包含包含包含G G G G的所有边，则称的所有边，则称的所有边，则称的所有边，则称G G G G“是是是是G G G G的边覆盖。的边覆盖。的边

35、覆盖。的边覆盖。（图（图5-35-3（b b）程序图程序图是退化了的程序流程图是退化了的程序流程图(图图5-35-3（a a）)，它是放映控制流程的有向图），它是放映控制流程的有向图）。为了使程序执行路径经过程序图的边覆盖为了使程序执行路径经过程序图的边覆盖(1(1，2 2，3 3，4 4，5 5，6 6，7)7)，至，至少需要两组测试数据少需要两组测试数据(分别执行路径分别执行路径1-2-31-2-3和和1-4-5-6-71-4-5-6-7，或分别执行路径，或分别执行路径1-1-4-5-34-5-3和和1-2-6-7)1-2-6-7)。第31页，此课件共62页哦 一般情况下，边覆盖和判定覆盖

36、是一致的。例如，上述中满足判一般情况下，边覆盖和判定覆盖是一致的。例如，上述中满足判定覆盖标准的测试数据同时满足边覆盖的标准。定覆盖标准的测试数据同时满足边覆盖的标准。(1)A=4(1)A=4，B=0B=0，X=1(X=1(执行路径执行路径1-4-5-31-4-5-3，即覆盖，即覆盖sacbd)sacbd)；(2)A=2(2)A=2，B=1B=1，X=3(X=3(执行路径执行路径1-2-6-71-2-6-7，即覆盖，即覆盖sacbd)sacbd)。图5-2：程序图第32页，此课件共62页哦 8 8）.路径覆盖路径覆盖 路径覆盖是选取足够多测试数据，使程序的每条可能路径都至路径覆盖是选取足够多测

37、试数据，使程序的每条可能路径都至少执行一次少执行一次(若程序图中存在环，则要求每个环至少经过一次若程序图中存在环，则要求每个环至少经过一次)。对于图对于图5-35-3（b b）而言，共有四条可执行的路径：）而言，共有四条可执行的路径：1-111-11；1-2-3-4-5-1-2-3-4-5-10-1-11 10-1-11；1-2-3-6-8-9-10-1-111-2-3-6-8-9-10-1-11和和1-2-3-6-7-9-10-1-111-2-3-6-7-9-10-1-11。对应于这四。对应于这四条路径，条路径，第33页，此课件共62页哦 路径覆盖相对来说是相当强的逻辑覆盖标准。测试数据暴露

38、程序路径覆盖相对来说是相当强的逻辑覆盖标准。测试数据暴露程序路径覆盖相对来说是相当强的逻辑覆盖标准。测试数据暴露程序路径覆盖相对来说是相当强的逻辑覆盖标准。测试数据暴露程序错误的能力比较强，错误的能力比较强，错误的能力比较强，错误的能力比较强，有一定的代表性，它能够保证程序中每条可能的路径有一定的代表性，它能够保证程序中每条可能的路径都至少执行一次。但是路径覆盖并没有检验表达式中条件的各种组合情况，都至少执行一次。但是路径覆盖并没有检验表达式中条件的各种组合情况，而只考虑每个判定表达式的取值。而只考虑每个判定表达式的取值。若把路径覆盖和条件覆盖组合起来，可以若把路径覆盖和条件覆盖组合起来，可以

39、若把路径覆盖和条件覆盖组合起来，可以若把路径覆盖和条件覆盖组合起来，可以设计出检错能力更强的测试数据。设计出检错能力更强的测试数据。设计出检错能力更强的测试数据。设计出检错能力更强的测试数据。第34页，此课件共62页哦二二、循环覆盖、循环覆盖在在逻逻辑辑覆覆盖盖的的测测试试技技术术中中，以以上上只只讨讨论论了了程程序序内内部部有有判判定定存存在在的的逻逻辑辑结结构构的的测测试试用用例例设设计计技技术术。而而循循环环也也是是程程序序的的主主要要结结构构，要要覆覆盖盖含含有有循循环环结结构构的的所所有有路路径径是是不不可可能能的的，但但可可通通过过限限制制次次数数来测试，下面给出设计原则供参考：来

40、测试，下面给出设计原则供参考：(1)单循环：其中n为可允许执行循环的最大次数。设计以下情况的测试用例：跳过循环。只执行循环一次。执行循环m次，其中mn.执行循环n-1次，n次，n+1次。第35页，此课件共62页哦(2)嵌套循环置外循环处于最小循环计数值，对于内层进行单循环测试。由里向外，进行下一层的循环测试。三、基本路径测试三、基本路径测试基本路径测试是在程序控制流程图的基础上，通过分析控制构造的环路复杂性，导出基本路径集合。第36页，此课件共62页哦基本路径测试的步骤为：基本路径测试的步骤为：(1)以详细设计或源程序为基础，导出控制流程图的拓扑结构以详细设计或源程序为基础，导出控制流程图的拓

41、扑结构-程序图。程序图。程程序序图图是是退退化化了了的的程程序序流流程程图图，它它是是反反映映控控制制流流程程的的有有向向图图。其中小圆圈成为结点，代表了流程图中每个处理符号（矩形、菱形框），有箭头的连线表示控制流向，称为程序图中的边后路径。图图5.35.3（a a）是一个程序流程图，）是一个程序流程图，可以将它转换成图可以将它转换成图5.35.3（b b）程序图（假设菱形框表示的判断内设有覆合的条件）程序图（假设菱形框表示的判断内设有覆合的条件）。第37页，此课件共62页哦图5.3（a）程序流程图5.3（b）程序图第38页，此课件共62页哦在转换时注意以下几点：一条边必须终止于一个结点，在选

42、择结构中的分支汇聚处即使无语句也应有汇聚结点若判断中的逻辑表达式是复合条件，应分解为一系列只有单个条件的嵌套判断，如对于图5.4（a）的符合条件的判定应画成图5.4（b）所示的程序图5.5.第39页，此课件共62页哦(2)计算程序图计算程序图G G的环路复杂性的环路复杂性V(G).V(G).McCabe 定义程程序序图图的的环环路路复复杂杂性性为此平面图中区域的个数。区域个数为边和结点圈定的封闭区域数加上图形的区域数1。例如图5.3（b）的V(G)=4也可按另一种方法计算，即V(G)=判定结点数+1(3)确定只包含独立路径的基本路径集确定只包含独立路径的基本路径集环路复杂性可导出程序基本路径基

43、合中的独立路径条数，这是确保程序中每个执行语句至少执行一次所必需的测试用例书目的上界。独独立立路路径径是指包括一组以前没有处理的语句或条件的一条路径。从程序图来看，一条独立路径是至少包含有一条在其他独立路径中未有过的边的路径，例如，在图5.3（b）所示的图中，一组独立的路径是：第40页，此课件共62页哦path1:1-11path2:1-2-3-4-5-10-1-11path3:1-2-3-6-8-10-1-11path4:1-2-3-6-7-9-1-11 从例中可知，一条新的路径必须保含有一条新的边。这四条路径组成了图5.3（b）所示的程序图的一个基本路径集，4是构成这个基本路径集的独立路径

44、数的上界，这也是设计测试用例的数目。只要测试用例确保这些基本路径的执行，就可以使程序中每个可执行语句至少执行一次，每个条件的取“真”和取“假”分支也能得到测试。基本路径集不是唯一的，对于给定的程序图，可以得到不同的基本路径集。(4)设计测试用例，确保基本路径集合中每条路径的执行。第41页，此课件共62页哦3.黑盒技术测试用例的设计黑盒技术测试用例的设计黑黑盒盒测测试试是是功功能能测测试试，因此设计测试用例时，需要研究需求规格说明和概要设计说明中有关程序功能或输入、输出之间的关系等信息，从而与测试后的结果进行分析比较。用用黑黑盒盒技技术术设设计计测测试试用用例例的的方方法法一一般般有有以以下下介

45、介绍绍的的四四种种，在在实际测试中应该把各种方法结合起来使用。实际测试中应该把各种方法结合起来使用。一、等价类划分一、等价类划分用等价类划分的方法设计测试用例的步骤为：用等价类划分的方法设计测试用例的步骤为：（1）划分等价类划分等价类从从程程序序的的功功能能说说明明（如如需需求求规规格格说说明明书书）找找出出一一个个个个输输入入条条件件（通通常常是是一一句句话话或或一一个个短短语语），然然后后把把每每一一个个输输入入条条件件划划分分成成两两个个或多个等价类，或多个等价类，将其列表，其格式为表将其列表，其格式为表5.15.1所示所示第42页，此课件共62页哦vv表5.1第43页，此课件共62页哦

46、表中合合理理等等价价类类是指各种正确的输入数据，不不合合理理的的等等价价类类是其他错误的输入数据。划划分分等等价价类类是是一一个个比比较较复复杂杂的的问问题题，以以下下提提供供了几条经验以供参考了几条经验以供参考。A 如果某个输入条件规定了取值范围或值的个数。则可确定一个合理的等价类（输入值或数在此范围内）和两个不合理等价类（输入值或个数小于这个范围的最小值或大于这个范围）。例如，输入值是儿童的编号位数，取值范围为0编号位数=8，确定一个合理的等价类为“0编号位数=8”，两个不合理的等价类为“编号位数8”。B 如果规定了输入数据的一组值，而且程序对不同的输入值做不同的处理，则每个允许输入值是一

47、个合理等价类，此外还有一个不合理等价类（任何一个不允许的输入值）。第44页，此课件共62页哦例如，输入条件上说明教师的职称可为助教、讲师、副教授、教授四种职称之一，则分别取这4个值作为4个合理等价类，另外把4个职称之外的任何职称作为不合理等价类。C 如果规定了输入数据必须遵循的规则，可确定一个合理等价类（符合规则）和若干个不合理等价类（从各种不同角度违反规则）。D 如果已划分的等价类中各元素在程序中的处理方式不同，则应将此等价类进一步划分为更小的等价类。以以上上这这些些划划分分输输入入数数据据等等价价类类的的经经验验也也同同样样适适用用于于输输出出数数据据，这这些些数数据据也也只只是是测测试试

48、时时可可能能遇遇到到的的情情况况的的很很小小的的部部分分。为为了了能能正正确的划分等价类，一定要正确分析被测程序的功能。确的划分等价类，一定要正确分析被测程序的功能。第45页，此课件共62页哦（2）确定测试用例确定测试用例根据已划分的等价类，按以下步骤设计测试用例：为每一个等价类编号。设计一个测试用例，使其尽可能多地覆盖尚未被覆盖过的合理等价类。重复这步，直到所有合理等价类被测试用例覆盖。设计一个测试用例，使其只覆盖一个不合理等价类。重复这一步，直到所有不合理等价类被覆盖。之所以这样做，是因为某些程序中对某一输入错误的检查往往会屏蔽对其他输入错误的检查。因此必须针对每一个不合理等价类，分别设计

49、测试用例。例5.1：某报表处理系统，要求用户输入处理报表的日期。假设日期限制在2000年1月至2008年12月，即系统只能对该段日期由年月的六位数字字符组成，前四位代表年，后两位代表月。第46页，此课件共62页哦现用等价划分法设计测试用例，来测试程序的“日期检查功能”。划分等价类并编号。划分成三个有效等价类，七个无效等价类，如表5.2所示。表5.2“报表日期”输入条件的等价类表输入数据输入数据合理等价类合理等价类不合理等价类不合理等价类报表日期报表日期1六位数字字符2有非数字字符3少于六位数字字符4多于六位数字字符年份范围年份范围5在2000-2008之间6小于20007大于2008月份范围月

50、份范围8在1-12之间9等于010大于12第47页，此课件共62页哦A 为合理定价类设计测试用例，对于表中编号为1、5、8对应的三个合理等价类，用一个测试用例覆盖。测试数据 期望结果 覆盖范围200605 输入有效 1、5、8B 为每一个不合理等价类至少设计一个测试用例。测试数据 期望结果 覆盖范围99MAY 输入无效 220005 输入无效 32005005 输入无效 4198912 输入无效 6200901 输入无效 7200700 输入无效 9200613 输入无效 10第48页，此课件共62页哦注注意意在在七七个个不不合合理理的的测测试试用用例例中中，不不能能出出现现相相同同的的测测试