软件工程ppt-07软件测试课件.ppt

：梁丽梁丽我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物第七章第七章 软件测试软件测试n内容要点：内容要点：本章主要介绍软件测试目的、测试原则、测试用本章主要介绍软件测试目的、测试原则、测试用例设计方法、测试步骤以及调试。例设计方法、测试步骤以及调试。 n教学重点：教学重点：n白盒法、黑盒法白盒法、黑盒法n逻辑覆盖中各种覆盖的区别逻辑覆盖中各种覆盖的区别n单元测试的内容及方法、集成测试的方法、单元测试的内容及方法、集成测试的方法、渐增式及非渐增式测试的区别、自顶向下及渐增式及非渐增式测试的区别、自顶向下及自底向上结合模块的步骤、三种测试与软件自底向上结合模块的步骤、三种测试与软件开发各阶段之间的关系开发各阶段之间的关系n教学难点：教学难点：n用白盒法、黑盒法设计测试用例用白盒法、黑盒法设计测试用例我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物本章的知识结构图本章的知识结构图我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物软件测试是在软件投入运行前，对软件需求分析，软件测试是在软件投入运行前，对软件需求分析，设计规格说明和编码的最终复审，是软件质量保设计规格说明和编码的最终复审，是软件质量保证的关键步骤。证的关键步骤。定义：定义：软件测试是为了发现错误而执行程序的过软件测试是为了发现错误而执行程序的过程。程。或者说或者说软件测试是根据软件开发各阶段的规软件测试是根据软件开发各阶段的规格说明和程序的内部结构而精心设计一批测试用格说明和程序的内部结构而精心设计一批测试用例，并利用这些测试用例去运行程序，以发现程例，并利用这些测试用例去运行程序，以发现程序错误的过程。序错误的过程。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n基于不同的立场，存在着两种完全不同基于不同的立场，存在着两种完全不同的测试目的。的测试目的。n从从出发，普遍希望通过软件出发，普遍希望通过软件测试测试，以，以考虑是否可接受该产品。考虑是否可接受该产品。n从从出发，则希望测试出发，则希望测试成为成为的过程，的过程，验证该软件已正确地实现了用户的要求，验证该软件已正确地实现了用户的要求，确立人们对软件质量的信心。确立人们对软件质量的信心。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物 我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物5. 充分注意测试中的群集现象。充分注意测试中的群集现象。经验表明，测试后经验表明，测试后。6. 严格执行测试计划，严格执行测试计划，。7. 应当对每一个测试结果做全面检查。应当对每一个测试结果做全面检查。8. 妥善保存测试计划，测试用例，出错统计和妥善保存测试计划，测试用例，出错统计和最终分析报告，为维护提供方便。最终分析报告，为维护提供方便。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n软件测试并不等于程序测试。软件测试并不等于程序测试。、等各阶段所得到的等各阶段所得到的，包，包括需求规格说明、概要设计规格说明、括需求规格说明、概要设计规格说明、详细设计规格说明以及源程序，详细设计规格说明以及源程序，。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n为把握软件开发各个环节的正确性，需为把握软件开发各个环节的正确性，需要进行各种要进行各种和和工作。工作。(Validation)，是一系列的活动和过是一系列的活动和过程，目的是想证实在一个给定的外部环程，目的是想证实在一个给定的外部环境中软件的逻辑正确性。境中软件的逻辑正确性。n 需求规格说明的确认需求规格说明的确认n 程序的确认程序的确认 (静态确认、动态确认静态确认、动态确认) (Verification)，试图证明在软件生存试图证明在软件生存期各个阶段，以及阶段间的逻辑协调性、期各个阶段，以及阶段间的逻辑协调性、完备性和正确性。完备性和正确性。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物软件软件配置配置测试测试测试测试配置配置测试测试工具工具结果结果分析分析排错排错可靠性可靠性 分析分析测试测试结果结果错误错误预期预期结果结果出错率出错率 改正改正的软件的软件预测预测的可的可靠性靠性需求规格说明书需求规格说明书软件设计说明书软件设计说明书 被测源程序被测源程序 测试计划测试计划 测试用例测试用例( (测试数据测试数据) )测试驱动程序测试驱动程序我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物：软件需求规格说明、软件设：软件需求规格说明、软件设计规格说明、源代码等；计规格说明、源代码等；：测试计划、测试用例、测试：测试计划、测试用例、测试程序等；程序等；：测试数据自动生成程序、静：测试数据自动生成程序、静态分析程序、动态分析程序、测试结果态分析程序、动态分析程序、测试结果分析程序、以及驱动测试的测试数据库分析程序、以及驱动测试的测试数据库等等。等等。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物：比较实测结果与预：比较实测结果与预期结果，评价错误是否发生。期结果，评价错误是否发生。( () )：对已经发现的错误进：对已经发现的错误进行错误定位和确定出错性质，并改行错误定位和确定出错性质，并改正这些错误，同时修改相关的文档。正这些错误，同时修改相关的文档。：直到通过测：直到通过测试为止。试为止。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n通过收集和分析测试结果数据，对软件建立通过收集和分析测试结果数据，对软件建立可靠性模型可靠性模型n利用可靠性分析，评价软件质量：利用可靠性分析，评价软件质量：n n n如果测试发现不了错误，可以肯定，测试配如果测试发现不了错误，可以肯定，测试配置考虑得不够细致充分，错误仍然潜伏在软置考虑得不够细致充分，错误仍然潜伏在软件中。件中。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n软件开发过程是一个自顶向下，逐步软件开发过程是一个自顶向下，逐步细化的过程细化的过程n软件计划阶段定义软件作用域软件计划阶段定义软件作用域n软件需求分析建立软件信息域、功能软件需求分析建立软件信息域、功能和性能需求、约束等和性能需求、约束等n软件设计软件设计n把设计用某种程序设计语言转换成程把设计用某种程序设计语言转换成程序代码序代码我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n测试过程是依相反顺序安排的自底测试过程是依相反顺序安排的自底向上，逐步集成的过程。向上，逐步集成的过程。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物测试的方法与技术测试的方法与技术软件测试的软件测试的策略和方法策略和方法静态测静态测试方法试方法动态测动态测试方法试方法人工测试方法人工测试方法计算机辅助静计算机辅助静态分析方法态分析方法白盒测试方法白盒测试方法黑盒测试方法黑盒测试方法我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物动态测试方法动态测试方法(1)(1)选取定义域有效值选取定义域有效值, ,或定义域或定义域 外无效值外无效值. .(2)(2)对已选取值决定对已选取值决定预期的结果预期的结果(3)(3)用选取值执行程序用选取值执行程序(4)(4)执行结果执行结果 与与(2)(2)结果相比结果相比, , 不吻和程序有错不吻和程序有错. .我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n这种方法是把这种方法是把看做看做，测试人员完全不考虑程序内部的逻辑结测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的说明书，检查程序的功能是否符合它的功能说明。功能说明。n黑盒测试又叫做黑盒测试又叫做或或。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物动态黑盒测试动态黑盒测试 闭着眼睛测试软件闭着眼睛测试软件软件输入输入 不深入代码细节的测试方法称为动态黑盒测试。不深入代码细节的测试方法称为动态黑盒测试。软件测试员充当客户来使用它。软件测试员充当客户来使用它。输出输出我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n黑盒测试方法是在黑盒测试方法是在程序接口上程序接口上进行进行测试，主要是为了发现以下错误测试，主要是为了发现以下错误: :n ? ?n 在接口上，在接口上，? ? ? ?n ( (例如数据文件例如数据文件) )? ?n ? ?n ? ?我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n用黑盒测试发现程序中的错误，必用黑盒测试发现程序中的错误，必须在须在中确定测试数据，来检查程序是中确定测试数据，来检查程序是否都能产生正确的输出。否都能产生正确的输出。n但这是但这是的。的。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n假设一个假设一个程序程序P有有输入量输入量X和和Y及及输输出量出量Z。在字长为在字长为32位的计算机上运位的计算机上运行。若行。若X、Y取整数，按黑盒方法进取整数，按黑盒方法进行穷举测试：行穷举测试：n可能采用的可能采用的 测试数据组：测试数据组： 232232 264 n如果测试一如果测试一 组数据需要组数据需要1 1毫秒，一年工作毫秒，一年工作365 24小时，完成所有测试需小时，完成所有测试需5 5亿年。亿年。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n此方法把此方法把看做一个看做一个，它允许测试人员利用程序内部的，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试用例，对程序所有逻辑路径进行测试。试。n通过在不同点检查程序的状态，确定通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。实际的状态是否与预期的状态一致。因此白盒测试又称为因此白盒测试又称为结构测试结构测试或或逻辑逻辑驱动测试驱动测试。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物动态白盒测试动态白盒测试 带上带上X光眼镜测试软件光眼镜测试软件? ?3581322.293419985680302829734315250*(1+0.015)*(1+0.015)360-1)/0.015250*(1+0.015)*(1+0.015)360-1)/0.015 假如知道一个盒子包含一台计算机假如知道一个盒子包含一台计算机, ,而另一个而另一个盒子是人用纸笔计算盒子是人用纸笔计算, ,就会选择不同的测试用例就会选择不同的测试用例了解软件的运作方式会影响测试手段了解软件的运作方式会影响测试手段我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n软件人员使用白盒测试方法，主要想对软件人员使用白盒测试方法，主要想对程程序模块序模块进行如下的检查：进行如下的检查：n 对程序模块的对程序模块的至少测至少测试一次；试一次；n 对对，；n 在循环的边界和运行界限内执行循环体；在循环的边界和运行界限内执行循环体；n 测试测试，等。，等。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n对一个具有对一个具有的的程序，程序，。给出一个小程序的流程图，。给出一个小程序的流程图，它包括了一个执行它包括了一个执行20次的循环。次的循环。n包含的不同执行路径数达包含的不同执行路径数达520条，对条，对每一条路径进行测试需要每一条路径进行测试需要1毫秒，假毫秒，假定一年工作定一年工作365 24小时，要想把小时，要想把所有路径测试完，需所有路径测试完，需3170年。年。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n白盒法是设计测试用例的基本策略之白盒法是设计测试用例的基本策略之一，属于一，属于动态测试动态测试。n白盒法对应的测试用例设计技术按白盒法对应的测试用例设计技术按逻逻辑覆盖程度辑覆盖程度不同，有不同，有语句覆盖语句覆盖、判定判定覆盖覆盖、条件覆盖条件覆盖、判定判定/ /条件覆盖条件覆盖、条条件组合覆盖件组合覆盖和和路径覆盖路径覆盖。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n n n n n n 逻辑覆盖是以逻辑覆盖是以的设计测试用例的技术。它属白的设计测试用例的技术。它属白盒测试。盒测试。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物例例: :PROCEDURE SAMPAL (A，B：REAL； VAR X：REAL); BEGIN IF (A1) AND (B=0) THEN X:=X/A IF (A=2) OR (X1) THEN X:=X+1 END; 我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物开始开始(A1) AND (B=0)(A=2) OR (X1)返回返回X=X/AX=X+1FFTTabdce我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物L1(ace)A B A XA1021andandorA B A A B X A102101andandorandandA B A B X A20101andorandand我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物L2 (abd) =A B A X1021andandorA B A X1021orandand= A A X B A X121021andandorandandA X B A X11021andorandand我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物e)b(a L3 A B A X1021andandor A B A X1021orandor A 1 and X 1 or B 0 and A2 or B 0 and X 1 A X B A B X110201andorandorand 我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物L4 (acd)A B A X A1021andandorA B A X A1021andandand我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n语句覆盖就是设计若干个测试用例，语句覆盖就是设计若干个测试用例，运行被测程序，使得运行被测程序，使得。n在图例中，正好所有的可执行语句在图例中，正好所有的可执行语句都在都在上，所以选择上，所以选择设计测试用例，就可以覆盖所有的设计测试用例，就可以覆盖所有的可执行语句。可执行语句。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n测试用例的设计格式如下测试用例的设计格式如下【输入的【输入的(A, B, X)，输出的输出的(A, B, X)】n为图例设计满足为图例设计满足的测试用的测试用例是例是:【(2, 0, 4)，(2, 0, 3)】 覆盖覆盖 ace【L1】A B A B XA20101andorandand语句覆盖是语句覆盖是最弱最弱的逻辑覆盖的逻辑覆盖我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物 n判定覆盖就是设计若干个测试用例，判定覆盖就是设计若干个测试用例，运行被测程序，使得运行被测程序，使得。n判定覆盖又称为判定覆盖又称为。n对于图例，如果选择对于图例，如果选择和和，就可得满足要求的测试用例就可得满足要求的测试用例:我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n【(2, 0, 4)，(2, 0, 3)】覆盖】覆盖 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆盖覆盖 abd【L2】A X B A X11021andorandandA B A B X A20101andorandand我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n如果选择路径如果选择路径L3和和L4，还可得另一还可得另一组可用的测试用例组可用的测试用例:【(2, 1, 1)，(2, 1, 2)】覆盖】覆盖 abe【L3】【(3, 0, 3)，(3, 1, 1)】覆盖覆盖 acd【L4】A X B A B X110201andorandorandA B A X A1021andandand语句覆盖仍是语句覆盖仍是弱弱的逻辑覆的逻辑覆盖盖我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n条件覆盖就是设计若干个测试用例，条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中运行被测程序，使得程序中。n在图例中，我们事先可对所有条件在图例中，我们事先可对所有条件的取值加以标记。例如，的取值加以标记。例如，n对于第一个判断：对于第一个判断：n 条件条件 A1 取真为取真为 ，取假为，取假为 条件条件 B0 取真为取真为 ，取假为，取假为T1T2T1T2我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n对于第二个判断：对于第二个判断：n 条件条件A2 取真为取真为 ，取假为，取假为 条件条件X1 取真为取真为 ，取假为，取假为测试用例测试用例 覆盖分支覆盖分支 条件取值条件取值【(2, 0, 4)，(2, 0, 3)】 L1(c, e) 【(1, 0, 1)，(1, 0, 1)】 L2(b, d) 【(2, 1, 1)，(2, 1, 2)】 L3(b, e)或或T3T4T3T4T T T T1234T T T T1234T T T T1234我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物 测测 试试 用用 例例覆盖分支覆盖分支 条件取值条件取值【(1, 0, 3)，(1, 0, 4)】 L3(b, e) 【(2, 1, 1)，(2, 1, 2)】 L3(b, e) n判定条件覆盖就是设计足够的测试判定条件覆盖就是设计足够的测试用例，使得用例，使得，同时，同时。T T T T1234T T T T1234我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物 测测 试试 用用 例例 覆盖分支覆盖分支 条件取值条件取值【(2, 0, 4)，(2, 0, 3)】L1(c, e)【(1, 1, 1)，(1, 1, 1)】L2(b, d)T T T T1234T T T T1234A B A B X A20101andorandandA X B A X11021andorandand我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n条件组合覆盖就是设计足够的测条件组合覆盖就是设计足够的测试用例，运行被测程序，使得试用例，运行被测程序，使得。 记记 A1, B0 作作 A1, B0 作作 A 1, B0 作作 A 1, B0 作作T T12T T12T T12T T12我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物 A2, X1 作作 A2, X 1 作作 A2, X1 作作 A2, X 1 作作 测测 试试 用用 例例 覆盖条件覆盖条件 覆盖组合覆盖组合【(2, 0, 4), (2, 0, 3)】(L1) , 【(2, 1, 1), (2, 1, 2)】(L3) , 【(1, 0, 3), (1, 0, 4)】(L3) , 【(1, 1, 1), (1, 1, 1)】(L2) , T T34T T34T T34T T34T T T T1234T T T T1234T T T T1234T T T T1234我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n路径测试就是设计足够的测试用例，路径测试就是设计足够的测试用例，。 测测 试试 用用 例例 通过路径通过路径 覆盖条件覆盖条件【(2, 0, 4), (2, 0, 3)】 ace (L1) 【(1, 1, 1), (1, 1, 1)】 abd (L2) 【(1, 1, 2), (1, 1, 3)】 abe (L3) 【(3, 0, 3), (3, 0, 1)】 acd (L4) T T T T1234T T T T1234T T T T1234T T T T3412我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n黑盒法是设计测试用例的基本策略之黑盒法是设计测试用例的基本策略之一，属于一，属于动态测试动态测试。n黑盒法对应的测试用例设计技术包括黑盒法对应的测试用例设计技术包括:n等价类划分等价类划分n边界值分析边界值分析n错误推测错误推测n因果图因果图我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n等价类划分是一种典型的黑盒测试方法，等价类划分是一种典型的黑盒测试方法，使用这一方法时，使用这一方法时，。n等价类划分方法等价类划分方法，即程序的输入域即程序的输入域，然后，然后。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n使用这一方法设计测试用例要经历使用这一方法设计测试用例要经历（列出等价类表）和（列出等价类表）和两步。两步。等价类是指某个输入域的子集合。在该子集等价类是指某个输入域的子集合。在该子集合中，合中，。测试某等价类的代表值就等价。测试某等价类的代表值就等价于对这一类其它值的测试。于对这一类其它值的测试。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n等价类的划分有两种不同的情况：等价类的划分有两种不同的情况： ：是指对于程序的规格说：是指对于程序的规格说明来说，是合理的，有意义的输入数据明来说，是合理的，有意义的输入数据构成的集合。构成的集合。 ：是指对于程序的规格说：是指对于程序的规格说明来说，是不合理的，无意义的输入数明来说，是不合理的，无意义的输入数据构成的集合。据构成的集合。n在设计测试用例时，要同时考虑有效等在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。价类和无效等价类的设计。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n划分等价类等价类的原则。划分等价类等价类的原则。(1) 我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n例如，在程序的规格说明中，对输入例如，在程序的规格说明中，对输入条件有一句话：条件有一句话： “ ” 则有效等价类是则有效等价类是“1项数项数999”两个无效等价类是两个无效等价类是“项数项数1”或或“项项数数999”。在数轴上表示成。在数轴上表示成: 我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物(2) n例如，在例如，在Pascal语言中对变量标识符规定语言中对变量标识符规定为为“以字母打头的以字母打头的串串”。那么所有以。那么所有以字母打头的构成有效等价类，而不在此集字母打头的构成有效等价类，而不在此集合内（不以字母打头）的归于无效等价类。合内（不以字母打头）的归于无效等价类。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物(3) (4) 如果规定了输入数据的一组值，而且如果规定了输入数据的一组值，而且程序要对每个输入值分别进行处理。这时程序要对每个输入值分别进行处理。这时可为可为 每一个输入值确立一个有效等价类，每一个输入值确立一个有效等价类，此外针对这组值确立一个无效等价类，它此外针对这组值确立一个无效等价类，它是所有不允许的输入值的集合。是所有不允许的输入值的集合。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n例如，在教师上岗方案中规定对教授、副教授、例如，在教师上岗方案中规定对教授、副教授、讲师和助教分别计算分数，做相应的处理。因此讲师和助教分别计算分数，做相应的处理。因此可以确定可以确定4个有效等价类为教授、副教授、讲师个有效等价类为教授、副教授、讲师和助教，一个无效等价类，它是所有不符合以上和助教，一个无效等价类，它是所有不符合以上身分的人员的输入值的集合。身分的人员的输入值的集合。(5) 我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n例如，例如，Pascal语言规定语言规定 “一个语句必须以一个语句必须以分号分号;结束结束”。这时，可以确定一个。这时，可以确定一个有效等价类有效等价类 “以以;结束结束”，若干个无，若干个无效等价类效等价类 “以以:结束结束”、“以以,结结束束”、“以以 结束结束”、“以以LF结束结束”等。等。n确立测试用例确立测试用例在确立了等价类之后，建立等价类表，列在确立了等价类之后，建立等价类表，列出所有划分出的等价类。出所有划分出的等价类。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n再从划分出的等价类中按以下原则选择测再从划分出的等价类中按以下原则选择测试用例：试用例：(1) 为每一个等价类规定一个唯一编号；为每一个等价类规定一个唯一编号；(2) 设计一个新的测试用例，使其设计一个新的测试用例，使其，重复，重复这一步，直到所有的有效等价类都被覆盖这一步，直到所有的有效等价类都被覆盖为止；为止；（3）设计一个新的测试用例，使其）设计一个新的测试用例，使其，重复这，重复这一步，直到所有的无效等价类都被覆盖为一步，直到所有的无效等价类都被覆盖为止止。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n用等价类划分法设计测试用例的实例用等价类划分法设计测试用例的实例在某一在某一PASCAL语言版本中规定：语言版本中规定：“标识符标识符是由字母开头是由字母开头，后跟字母或数字的任意组合构后跟字母或数字的任意组合构成成。有效字符数为有效字符数为8个个，最大字符数为最大字符数为80个个。”并且规定：并且规定：“标识符必须先说明标识符必须先说明，再使用再使用。” “在同一说明语句中在同一说明语句中，标识符至少必须有一标识符至少必须有一个个。”我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物用等价类划分的方法，建立输入等价类表用等价类划分的方法，建立输入等价类表:我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n下面选取了下面选取了9个测试用例，它们覆盖个测试用例，它们覆盖了所有的等价类。了所有的等价类。 (1), (2), (4), (8), (9), (12), (14) (3) (5)我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物 (6) (7) 多于多于80个字符个字符 (10) (11) (13) (15) 我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n边界值分析也是一种黑盒测试方法，边界值分析也是一种黑盒测试方法，是对等价类划分方法的补充。是对等价类划分方法的补充。n人们从长期的测试工作经验得知，人们从长期的测试工作经验得知，。因此针对各种边界情况设计。因此针对各种边界情况设计测试用例，测试用例，。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n比如，在做三角形计算时，要输入比如，在做三角形计算时，要输入三角形的三个边长：三角形的三个边长：A、B和和C。 我我们应注意到这三个数值应当满足们应注意到这三个数值应当满足 A0、B0、C0、 ABC、ACB、BCA，才能构成三角形。但如果把六个不才能构成三角形。但如果把六个不等式中的任何一个大于号等式中的任何一个大于号“”错错写成大于等于号写成大于等于号“”，那就不能，那就不能构成三角形。问题恰出现在容易被构成三角形。问题恰出现在容易被疏忽的边界附近。疏忽的边界附近。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n这里所说的边界是指，相当于输入等这里所说的边界是指，相当于输入等价类和输出等价类而言，稍高于其边价类和输出等价类而言，稍高于其边界值及稍低于其边界值的一些特定情界值及稍低于其边界值的一些特定情况。况。n使用边界值分析方法设计测试用例，使用边界值分析方法设计测试用例，首先应确定边界情况。首先应确定边界情况。，而不是选取等价类，而不是选取等价类中的典型值或任意值做为测试数据。中的典型值或任意值做为测试数据。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n人们也可以靠经验和直觉推测程序人们也可以靠经验和直觉推测程序中可能存在的各种错误，从而有针中可能存在的各种错误，从而有针对性地编写检查这些错误的例子。对性地编写检查这些错误的例子。这就是错误推测法。这就是错误推测法。n错误推测法的基本想法是：错误推测法的基本想法是：。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n因果图的适用范围因果图的适用范围如果在测试时必须考虑如果在测试时必须考虑，可使用一种适合于描述对于多种，可使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式条件的组合，相应产生多个动作的形式来设计测试用例，这就需要利用因果图。来设计测试用例，这就需要利用因果图。因果图方法最终生成的就是因果图方法最终生成的就是判定表判定表。它。它适合于检查程序输入条件的各种组合情适合于检查程序输入条件的各种组合情况。况。我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物n用因果图生成测试用例的基本步骤用因果图生成测试用例的基本步骤(1) 分析软件规格说明描述中，哪些是分析软件规格说明描述中，哪些是原因原因 (即输入条件或输入条件的等价即输入条件或输入条件的等价类类)，哪些是结果，哪些是结果 (即输出条件即输出条件)，并给，并给每个原因和结果赋予一个标识符。每个原因和结果赋予一个标识符。(2) 分析