软件测试第03章.ppt

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

1、第3章 软件测试基本技术3.1黑盒测试与白盒测试3.2白盒测试技术3.3黑盒测试技术3.1黑盒测试与白盒测试任何工程产品都可以使用白盒测试和黑盒测试两种方法之一进行测试。1黑盒测试黑盒测试：在测试时，把被测程序视为一个不能打开的黑盒子，完全不考虑程序的内部结构和内部特性下进行的测试。已知产品的功能设计规格和用户手册，可以进行测试证明每个功能是否实现、每个实现了的功能是否符合要求，以及产品的性能是否满足用户的要求。黑盒测试的过程黑盒测试主要是为了发现以下几类错误：1.是否有不正确或遗漏的功能？2.在接口上，输入是否能正确的接受？能否输出正确的结果？3.是否有数据结构错误或外部信息（例如数据文件）

2、访问错误？4.性能上是否能够满足要求？5.是否有初始化或终止性错误？黑盒测试的优缺点优点：1、简单，不需要了解程序的内部结构2、与软件的内部实现无关3、从用户角度出发，能很容易知道用户会用到哪些功能，遇到哪些问题4、基于说明书，知道软件实现了说明书哪些功能5、采用自动化测试，较为方便缺点：1、不可能覆盖所有的代码2、不能测试程序内部特定部位3、程序中代码未执行的代码无法发现错误4、无法发现说明书本身存在问题的问题2白盒测试白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。软件的白盒测试是对软件的过程性细节做细致的检查，它允许测试人员

3、利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。白盒测试过程白盒测试须对程序模块进行如下检查：1.保证一个模块中的所有独立路径至少被使用一次2.对所有逻辑值均测试true和false。3.在循环的边界和运行的界限内执行循环体。4.检查内部数据结构以确定其有效性。白盒测试优缺点优点：1、迫使测试人员去了解软件的实现2、检测代码中的每条路径和分支3、揭示隐藏在代码中的错误4、对代码的测试进行比较彻底缺点：1、白盒测试投入较大，成本较高2、白盒测试不验证规格的正确性

4、3、无法检查代码中遗漏的路径和数据敏感性错误3.2白盒测试技术白盒测试是一种被广泛使用的逻辑测试方法，也称为结构测试或逻辑驱动测试。白盒测试对象基本上是源程序，是以程序的内部逻辑为基础的一种测试方法。白盒测试方法的分类白 盒 测 试 分 为 静静 态态 测测 试试（StaticTesting）和 动动 态态 测测 试试（DynamicTesting）两大类。静态测试不实际执行程序，静态测试的主要目的是检查软件的不实际执行程序，静态测试的主要目的是检查软件的表示和描述是否一致，没有冲突和歧义。表示和描述是否一致，没有冲突和歧义。动态测试需要实际运行测试用例，以发现软件中的错误。白盒需要实际运行测

5、试用例，以发现软件中的错误。白盒测试中的动态测试主要包括功能确认与接口测试、覆盖率测测试中的动态测试主要包括功能确认与接口测试、覆盖率测试、性能分析、内存分析等。试、性能分析、内存分析等。静态白盒测试1.程序的静态测试是在不执行程序的条件下，有条理地仔细审查软件设计、体系结构和代码，从而找出软件错误的过程。2.可尽早发现软件缺陷（开发初期），找到动态黑盒测试难以发现或者隔离的软件缺陷（测试后期）。3.也可为不了解代码细节的黑盒测试员提供思路。白盒测试静态：1、代码检查法、代码检查法2、静态结构分析法、静态结构分析法3、代码质量度量法、代码质量度量法动态：1、逻辑覆盖法、逻辑覆盖法2、基本路径测

6、试法、基本路径测试法3、控制结构测试、控制结构测试4、程序插桩、程序插桩代码检查法代码检查法代码检查包括桌面检查、代码审查和走查等，包括桌面检查、代码审查和走查等，主要检查主要检查代码和设计的一致性，代码对标准的遵循、可代码和设计的一致性，代码对标准的遵循、可读性，代码逻辑表达的正确性，代码结构的合读性，代码逻辑表达的正确性，代码结构的合理性等方面；理性等方面；发现违背程序编写标准的问题，程序中不安全、发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的内容，包括变量检查、分、违背程序编程风格的内容，包

7、括变量检查、命名和类型审查、程序逻辑审查、程序语法检命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容查和程序结构检查等内容 代码检查法代码检查法代码检查包括代码检查包括桌面检查（桌面检查（DeskChecking）代码审查（代码审查（Inspection）代码走查（代码走查（Walkthrough）技术评审（技术评审（Review）当然在实际工作，我们完全不必要被概当然在实际工作，我们完全不必要被概念所束缚住，而应根据项目的实际情况来决定念所束缚住，而应根据项目的实际情况来决定采取哪种静态测试形采取哪种静态测试形式，不用严格去区分到底式，不用严格去区分到底是代码走查，代码审查和还

8、是技术评审。是代码走查，代码审查和还是技术评审。静态测试静态测试-桌面检查桌面检查桌面检查：由桌面检查：由程序员程序员自己检查自己编写的程序。程序员在程序自己检查自己编写的程序。程序员在程序通过编译之后，进行单元测试设计之前，对源程序代码进行分通过编译之后，进行单元测试设计之前，对源程序代码进行分析，检验，并补充相关的文档，目的是发现程序中的错误。析，检验，并补充相关的文档，目的是发现程序中的错误。检查内容：检查内容：变量和标识符的交叉引用变量和标识符的交叉引用子程序、函数、宏的调用、参数子程序、函数、宏的调用、参数等价性检查等价性检查常量检查，常量的取值、数据类型常量检查，常量的取值、数据类

9、型设计标准检查设计标准检查风格检查风格检查路径检查路径检查静态测试静态测试-桌面检查桌面检查由于程序员熟悉自己的程序及其程序设计风格，可以由于程序员熟悉自己的程序及其程序设计风格，可以节省很多的检查时间，但应避免主观片面性。这种检查应节省很多的检查时间，但应避免主观片面性。这种检查应在软件开发早期实施，最好在设计编码之后、系统测试之在软件开发早期实施，最好在设计编码之后、系统测试之前使用。桌面检查的文档是一种过渡性的文档，不是公开前使用。桌面检查的文档是一种过渡性的文档，不是公开的正式文档。通过编写文档，也是对程序的一种下意识的的正式文档。通过编写文档，也是对程序的一种下意识的检查和测试，可以

10、帮助程序员发现和抓住更多的错误。管检查和测试，可以帮助程序员发现和抓住更多的错误。管理部门也可以通过审查桌面检查文档，了解模块的质量、理部门也可以通过审查桌面检查文档，了解模块的质量、完全性、测试方法和开发人员的能力。完全性、测试方法和开发人员的能力。静态测试静态测试-代码审查和走查代码审查和走查代码审查代码审查由若干程序员和测试员组成一个会审小组，通过阅读、讨由若干程序员和测试员组成一个会审小组，通过阅读、讨论和争议，对程序进行静态分析的过程。论和争议，对程序进行静态分析的过程。优点优点比桌面检查更有效比桌面检查更有效一旦发现错误，通常就能在代码中对其进行精确定位，降一旦发现错误，通常就能在

11、代码中对其进行精确定位，降低调试成本。低调试成本。可以发现成批同一类型错误并得以修正。可以发现成批同一类型错误并得以修正。静态测试静态测试-代码审查和走查代码审查和走查代码审查小组人员代码审查小组人员(4人组成最佳人组成最佳)协调人、编码人员、模块的设计人员、一名协调人、编码人员、模块的设计人员、一名测试专家测试专家协调人职责协调人职责为代码审查分发材料为代码审查分发材料(程序清单、设计规范程序清单、设计规范)，安，安排进程排进程在代码审查过程中起主导作用在代码审查过程中起主导作用记录发现的所有错误记录发现的所有错误确保所有错误随后得到改正确保所有错误随后得到改正静态测试静态测试-代码审查和走

12、查代码审查和走查代码审查过程：代码审查过程：(1)(1)协调人提前把协调人提前把代码审查常见错误列表代码审查常见错误列表、设计规格说明书、控制流、设计规格说明书、控制流程图、程序文本及有关要求、规范等分发给小组成员，作为评审的程图、程序文本及有关要求、规范等分发给小组成员，作为评审的依据。小组成员在充分阅读这些材料之后，进入审查的第二步。依据。小组成员在充分阅读这些材料之后，进入审查的第二步。常见错误列表：常见错误列表：把以往所有可能发生的常见错误罗列出来，供与会把以往所有可能发生的常见错误罗列出来，供与会者对照检查，以提高会审的实效。这个常见错误清单也叫做检查表，者对照检查，以提高会审的实效

13、。这个常见错误清单也叫做检查表，它把程序中可能发生的各种错误进行分类，对每一类列举出尽可能它把程序中可能发生的各种错误进行分类，对每一类列举出尽可能多的典型错误，然后把它们制成表格，供在会审时使用。多的典型错误，然后把它们制成表格，供在会审时使用。静态测试静态测试-代码审查和走查代码审查和走查代码审查过程：代码审查过程：(2)(2)召开程序审查会。在会上，首先由程序员逐句讲解程序的逻辑。在此过程召开程序审查会。在会上，首先由程序员逐句讲解程序的逻辑。在此过程中，程序员或其他小组成员可以提出问题，展开讨论，审查错误是否存在。中，程序员或其他小组成员可以提出问题，展开讨论，审查错误是否存在。实践表

14、明，程序员在讲解过程中能发现许多原来自己没有发现的错误，而讨实践表明，程序员在讲解过程中能发现许多原来自己没有发现的错误，而讨论和争议则促进了问题的暴露。论和争议则促进了问题的暴露。协调人要确保会议高效进行，参与者将注意力用于查将注意力用于查找错误而不是修正错误找错误而不是修正错误。修正错误由程序员在会后完成。会议结束后，程序员得到一份已发现错误清单。如果错误太多或程序要做根本改动，协调人可以再安排一次审查。静态测试静态测试-代码审查和走查代码审查和走查会议理想时间为90-120分钟。时间越长，效率越低。审查按150行/小时速度进行。每次会议审查一个或几个模块或子程序。为了使每个人都采取建设性

15、态度，最好对审查结果进行保密，仅限于参与者内部。如果让管理人员做为考评依据，则与检查过程的目的背道而驰。静态测试静态测试-代码检查和走查代码检查和走查代码审查常见错误列表(1)检查代码和设计的一致性；检查代码和设计的一致性；(2)代码的可读性以及对软件设计标准的遵循情况；代码的可读性以及对软件设计标准的遵循情况；(3)代码逻辑表达的正确性；代码逻辑表达的正确性；(4)代码结构的合理性；代码结构的合理性；(5)程序中不安全、不明确和模糊的部分；程序中不安全、不明确和模糊的部分；(6)编程风格方面的问题等。编程风格方面的问题等。静态测试静态测试-常见错误列表常见错误列表针对代码的常见错误列表针对代

16、码的常见错误列表数据引用错误数据声明错误运算错误比较错误控制流程错误接口错误输入输出错误其它检查针对代码的常见错误列表针对代码的常见错误列表1.1.数据引用错误数据引用错误变量使用前是否赋值或初始化？变量使用前是否赋值或初始化？容易引起变量使用错误，特别是对于指针或引用变量。在java中要求变量在使用前必须初始化。数组下标的范围和类型数组下标的范围和类型是否存在下标越界错误，下表类型是否为整型。通过指针引用的内存单元是否存在（虚调用）？通过指针引用的内存单元是否存在（虚调用）？如在函数返回局部变量的指针或引用时会产生虚调用错误。被引用的变量或内存的属性是否与编译器预期的一致？被引用的变量或内存

17、的属性是否与编译器预期的一致？如A类型的指针或引用是否指向的是非A类型对象。针对代码的常见错误列表2.数据声明错误数据声明错误是否所有变量都已声明？是否所有变量都已声明？绝大多数编程语言要求变量先定义后使用，可保证变量使用的安全性。默认的属性（默认值）是否正确？默认的属性（默认值）是否正确？变量的初始化是否正确？变量的初始化是否与其存储空间的类型一致？变量的初始化是否正确？变量的初始化是否与其存储空间的类型一致？是否每个变量都有正确的长度、类型和存储类别？是否每个变量都有正确的长度、类型和存储类别？是否存在相似名称的变量？是否存在相似名称的变量？3.运算错误运算错误是否存在非算术变量之间的运算

18、？是否存在非算术变量之间的运算？是否存在混合模式的运算？（是否存在混合模式的运算？（intint与与floatfloat类型，例）类型，例）是否存在不同字长变量之间的运算？（是否存在不同字长变量之间的运算？（intint与与longlong类型）类型）目标变量大小是否小于所赋值的大小？（精度损失或越界错误）目标变量大小是否小于所赋值的大小？（精度损失或越界错误）中间结果是否上溢或下溢？中间结果是否上溢或下溢？是否存在除是否存在除0 0错误？错误？操作符的优先顺序是否正确？操作符的优先顺序是否正确？整数除法是否正确？（精度问题，如整数除法是否正确？（精度问题，如2*2*（i/2i/2）=i=i）

19、针对代码的常见错误列表针对代码的常见错误列表针对代码的常见错误列表针对代码的常见错误列表intx=1;inty=2;floatz=0;z=x/y;System.out.println(z=z);OUTPUT:z=0针对代码的常见错误列表针对代码的常见错误列表4.比较错误n是否有不同类型数据的比较运算？（如日期与数字）是否有不同类型数据的比较运算？（如日期与数字）n是否有混合模式或不同长度数据的比较运算？是否有混合模式或不同长度数据的比较运算？n比较运算符是否正确？（如至多、至少，不小于）比较运算符是否正确？（如至多、至少，不小于）n布尔表达式（与、或、非）是否正确？布尔表达式（与、或、非）是否

20、正确？n比较运算符是否与布尔表达式相混合？（如比较运算符是否与布尔表达式相混合？（如2iz)）5.控制流程错误控制流程错误是否所有循环都能终止？（循环结束条件是否能满足以及递归的终止条件是否能是否所有循环都能终止？（循环结束条件是否能满足以及递归的终止条件是否能满足。）满足。）是否存在由于入口条件不满足而跳过循环体？（是否存在由于入口条件不满足而跳过循环体？（do-while循环，例）循环，例）是否存在仅差一个的循环错误？（如是否存在仅差一个的循环错误？（如for(inti=0;i=80 and Y=801-TYESX+Y=140 and(x=90 or y=90)2-T3-TYESNONOO

21、EABCDOBDE50502OBCE70903OAE90901路径路径YX测试用例设计：测试用例设计：测试用例设计：a b cmid路径1 2 5 3 101282 1 2 1 0013483 4 2 1-1201358开始开始Float a,b,c,x1,x2,mid;Scanf(“%f,%f,%f”,&a,&b,&c);a!=0mid=b*b-4*a*c;mid0 x1=(-b+sqrt(mid)/(2*a);x2=(-b-sqrt(mid)/(2*a);printf(“two real rootsn”);mid=0结束结束YNYNx1=-b/(2*a);printf(“one real

22、rootn”);x1=-b/(2*a);x2=sqrt(-mid)/(2*a);printf(“two complex rootsn”);printf(“x1=%f,x2=%fn”,x1,x2);YN（0）（1）（9）（2）（3）（4）（5）（8）语句覆盖优点：直观、简单、易自动化缺点：发现错误能力很“弱”对隐藏的条件和可能到达的隐式逻辑分支，无法测试判定覆盖判定覆盖是指设计测试用例，使得程序中每一个判断的取真分支和取假分支都至少能够执行一次。不能保证一定能查出在判断的条件中存在的错误判定覆盖设计若干测试用例，使得程序中每个判定每个分支至少有一次为真值，有一次为假值保证程序中的每个分支至少执行

23、一次保证程序中的每个分支至少执行一次保证程序中的每个分支至少执行一次保证程序中的每个分支至少执行一次2.判定覆盖续1a=2，b=1，c=6可覆盖判断M的Y分支和判断Q的Y分支；a=-2，b=-1，c=-3可覆盖判断M的N分支和判断Q的N分支。o这两组测试用例可覆盖所有判定的真假分支。判断M判断Q2.判定覆盖续2a=1，b=1，c=-3可覆盖判断M的Y分支和判断Q的N分支；a=1，b=-2，c=3可覆盖判断M的N分支和判断Q的Y分支；o同样的这两组测试用例也可覆盖所有判定的真假分支。判断M判断Q判定覆盖Scanf(“%d”,&x)X!=0Y=1Y=2YN测试用例设计：测试用例设计：OBD02OA

24、D51路径路径X（O）（A）（B）（D）当当当当A=2 B=0 X=3A=2 B=0 X=3A=2 B=0 X=3A=2 B=0 X=3时，时，时，时，即可满足语句覆盖要求，即可满足语句覆盖要求，即可满足语句覆盖要求，即可满足语句覆盖要求，但但但但abdabdabdabd分支未测试分支未测试分支未测试分支未测试判定覆盖测试用例：判定覆盖测试用例：判定覆盖测试用例：判定覆盖测试用例：判定覆盖ABDABDABDABD0 0 0 00 0 0 00 0 0 02 2 2 2ACEACEACEACE3 3 3 30 0 0 02 2 2 21 1 1 1执行路径执行路径执行路径执行路径X X X XB

25、 B B BA A A AA1 AND A1 AND B=0B=0A=2 OR A=2 OR X1X1X=X+1X=X/AYNYN(A)(B)(C)(D)(E)开始开始结束结束X=80 and Y=801-TYESX+Y=140 and(x=90 or y=90)2-T3-TYESNONOOEABCD测试用例设计：测试用例设计：XY路径1 9090OAE2 9030OBDE3 9070OBCE例3-2测试用例设计：a b cmid路径1 2 5 3 101282 1 2 1 0013483 4 2 1-12013584 0 2 109开始开始Float a,b,c,x1,x2,mid;Scan

26、f(“%f,%f,%f”,&a,&b,&c);a!=0mid=b*b-4*a*c;mid0 x1=(-b+sqrt(mid)/(2*a);x2=(-b-sqrt(mid)/(2*a);printf(“two real rootsn”);mid=0结束结束YNYNx1=-b/(2*a);printf(“one real rootn”);x1=-b/(2*a);x2=sqrt(-mid)/(2*a);printf(“two complex rootsn”);printf(“x1=%f,x2=%fn”,x1,x2);YN（0）（1）（9）（2）（3）（4）（5）（8）判定覆盖优点：发现错误能力比语句

27、覆盖强缺点：对复合条件判断，只考虑整个判定条件的最终结果，而忽略每个条件的取值情况（若程序中的判定是由几个条件联合构成时，它未必能发现每个条件的错误）必然会遗漏部分测试情况。条件覆盖条件覆盖是指设计测试用例，使得程序中每一个判断的每个条件的可能取值至少执行一次。某些用例可能只覆盖了某个判断的某个分支，不能满足判定覆盖的要求条件覆盖设计若干测试用例，使得判定中的每个条件的可能取值至少满足一次。3.条件覆盖续1判断M表达式:o设条件a0取真记为T1假F1o条件b0取真记为T2假F2判断Q表达式:o设条件a1取真记为T3假F3o条件c1取真记为T4假F4判断M判断Q3.条件覆盖续2测试用例覆盖条件具

28、体取值条件a=2,b=-1,c=-2T1,F2,T3,F4a0,b1,c=1a=-1,b=2,c=3F1,T2,F3,T4a0,a1o它覆盖了判定它覆盖了判定M M的的N分支和判断分支和判断Q Q的的Y分支。分支。我们用条件覆盖设计的思想就是让测试用例能覆盖T1、T2、T3、T4、F1、F2、F3、F4判断M判断Q条件覆盖Scanf(“%d”,&x)X!=0Y=1Y=2YN测试用例设计：测试用例设计：OBD02OAD51路径路径X（O）（A）（B）（D）判定覆盖测试用例设判定覆盖测试用例设计未有计未有B!=0的取值的取值条件覆盖ABDABDABDABD0 0 0 00 0 0 00 0 0 0

29、2 2 2 2ACEACEACEACE3 3 3 30 0 0 02 2 2 21 1 1 1执行路径执行路径执行路径执行路径X X X XB B B BA A A A条件覆盖测试用例：条件覆盖测试用例：ABDABDABDABD0 0 0 01 1 1 10 0 0 02 2 2 2ACEACEACEACE3 3 3 30 0 0 02 2 2 21 1 1 1执行路径执行路径执行路径执行路径X X X XB B B BA A A AA1 AND A1 AND B=0B=0A=2 OR A=2 OR X1X1X=X+1X=X/AYNYN(A)(B)(C)(D)(E)开始开始结束结束X=80 a

30、nd Y=801-TYESX+Y=140 and(x=90 or y=90)2-T3-TYESNONOOEABCD测试用例设计：测试用例设计：XY路径1 4090OBDE2 9070OBCE例3-2测试用例设计：开始开始Float a,b,c,x1,x2,mid;Scanf(“%f,%f,%f”,&a,&b,&c);a!=0mid=b*b-4*a*c;mid0 x1=(-b+sqrt(mid)/(2*a);x2=(-b-sqrt(mid)/(2*a);printf(“two real rootsn”);mid=0结束结束YNYNx1=-b/(2*a);printf(“one real root

31、n”);x1=-b/(2*a);x2=sqrt(-mid)/(2*a);printf(“two complex rootsn”);printf(“x1=%f,x2=%fn”,x1,x2);YN（0）（1）（9）（2）（3）（4）（5）（8）a b cmid路径1 2 5 3 101282 1 2 1 0013483 4 2 1-12013584 0 2 109条件覆盖优点：发现错误能力比语句覆盖强缺点：条件覆盖并不能保证判定覆盖。对复合条件，条件覆盖只能保证每个条件的可能结果至少出现一次，而不考虑所有的判定结果，因此未必能覆盖全部分支。判定条件覆盖设计若干测试用例，使得判定中的每个条件的可能取

32、值至少出现一次，且每个判断本身的判定结果也至少出现一次。实际就是考虑条件覆盖的基础上满足判定覆盖判断M判断Q4.判定条件覆盖续1o按照判定条件覆盖的要求，我们设计的测试用例要满足如下条件：o所有条件可能至少执行一次取值；o所有判断的可能结所有判断的可能结果至少执行一次。果至少执行一次。要满足要满足T1、T2、T3、T4F1、F2、F3、F44.判定条件覆盖续2测试用例覆盖条件覆盖判断a=2,b=1,c=6T1,T2,T3,T4M的Y分支和Q的Y分支a=-1,b=-2,c=-3F1,F2,F3,F4M的N分支和Q的N分支判断M判断Q要满足要满足T1、T2、T3、T4F1、F2、F3、F4判定条件

33、覆盖Scanf(“%d”,&x)X!=0Y=1Y=2YN测试用例设计：测试用例设计：OBD02OAD51路径路径X（O）（A）（B）（D）判定条件覆盖条件覆盖测试用例设条件覆盖测试用例设计也满足判定条件覆计也满足判定条件覆盖的要求：盖的要求：ABDABDABDABD0 0 0 01 1 1 10 0 0 02 2 2 2ACEACEACEACE3 3 3 30 0 0 02 2 2 21 1 1 1执行路径执行路径执行路径执行路径X X X XB B B BA A A AABDABDABDABD0 0 0 00 0 0 00 0 0 02 2 2 2ACEACEACEACE3 3 3 30 0

34、 0 02 2 2 21 1 1 1执行路径执行路径执行路径执行路径X X X XB B B BA A A AA1 AND A1 AND B=0B=0A=2 OR A=2 OR X1X1X=X+1X=X/AYNYN(A)(B)(C)(D)(E)开始开始结束结束X=80 and Y=801-TYESX+Y=140 and(x=90 or y=90)2-T3-TYESNONOOEABCD测试用例设计：测试用例设计：XY路径路径1 90 90 OAE2 50 50OBDE3 90 70OBCE4 70 90OBCE例3-2测试用例设计：开始开始Float a,b,c,x1,x2,mid;Scanf(

35、“%f,%f,%f”,&a,&b,&c);a!=0mid=b*b-4*a*c;mid0 x1=(-b+sqrt(mid)/(2*a);x2=(-b-sqrt(mid)/(2*a);printf(“two real rootsn”);mid=0结束结束YNYNx1=-b/(2*a);printf(“one real rootn”);x1=-b/(2*a);x2=sqrt(-mid)/(2*a);printf(“two complex rootsn”);printf(“x1=%f,x2=%fn”,x1,x2);YN（0）（1）（9）（2）（3）（4）（5）（8）a b cmid路径1 2 5 3

36、101282 1 2 1 0013483 4 2 1-12013584 0 2 109判定条件覆盖优点：发现错误能力比判定覆盖和条件覆盖强缺点：不能保证覆盖程序所有执行路径条件组合覆盖设计若干测试用例，使得每个判定中条件结果的所有可能组合至少出现一次5.条件组合覆盖续1按照条件组合覆盖的基本思想，对于前面的例子，我们把每个判断中的所有条件进行组合，设计组合条件如表所示，而我们设计的测试用例就要包括所有的组合条件。编号覆盖条件取值判定条件取值具体条件取值1 T1,T2 M取Y a0,b02 T1,F2 M取Na0,b=03 F1,T2 M取Na04 F1,F2 M取Na=0,b1,c16 T3,

37、F4 Q取Y a1,c=17 F3,T4 Q取Y a18 F3,F4 Q取N a=1,c1 AND A1 AND B=0B=0A=2 OR A=2 OR X1X1X=X+1X=X/AYNYN(A)(B)(C)(D)(E)A B X A1B=0A=2X11 2 0 3 T T T T2 2 1 0 T F T F3 0 1 3 F T F T4 0 1 0 F F F F理论上最多需要几个理论上最多需要几个测试用例？测试用例？开始开始结束结束X=80 and Y=801-TYESX+Y=140 and(x=90 or y=90)2-T3-TYESNONOOEABCD测试用例设计：测试用例设计：X

38、 Y 路径路径X=80 Y=80X+Y=140 x=90y=901 90 90OAETTTTT2 90 70 OBCETFTTF3 70 90 OBCEFTTFT4 8070OBDETFF5-FTT6 9050OBDEFTF7 5090OBDEFFT8 50 50 OBDEFFFFF例3-2测试用例设计：开始开始Float a,b,c,x1,x2,mid;Scanf(“%f,%f,%f”,&a,&b,&c);a!=0mid=b*b-4*a*c;mid0 x1=(-b+sqrt(mid)/(2*a);x2=(-b-sqrt(mid)/(2*a);printf(“two real rootsn”)

39、;mid=0结束结束YNYNx1=-b/(2*a);printf(“one real rootn”);x1=-b/(2*a);x2=sqrt(-mid)/(2*a);printf(“two complex rootsn”);printf(“x1=%f,x2=%fn”,x1,x2);YN（0）（1）（9）（2）（3）（4）（5）（8）a b cmid路径1 2 5 3 101282 1 2 1 0013483 4 2 1-12013584 0 2 109条件组合覆盖优点：发现错误能力比判定/条件覆盖强缺点：不能保证覆盖程序所有执行路径部分覆盖能力间的关系：部分覆盖能力间的关系：部分覆盖能力间的关

40、系：部分覆盖能力间的关系：测试覆盖准则1、错误敏感测试用例分例准则（ESTCA）2、线性代码序列与跳转覆盖准则（LCSAJ）测试覆盖准则逻辑覆盖的出发点是合理的、完善的。所谓“覆盖”，就是想要做到全面而无遗漏，但逻辑覆盖并不能真正做到无遗漏。例如：我们不小心将前面提到的程序段中的if(x3&Z=3&Z10)按照我们前面设计的测试用例（x的值取2或4）来看，逻辑覆盖对这样的小问题都无能为力。分析出现这一情况的原因在于：错误区域仅仅在x=3这个点上，即仅当x的值取3时，测试才能发现错误。面对这类情况，我们应该从中吸取的教训是测试工作要有重点，要多针对容易发生问题的地方设计测试用例。测试覆盖准则1、

41、错误敏感测试用例分例准则（ESTCA）2、线性代码序列与跳转覆盖准则（LCSAJ）ESTCA规则1对于ArelB（rel可以是）型的分支谓词，应适当地选择A与B的值，使得测试执行到该分支语句时，AB的情况分别出现一次。规则2对于Arel1C（rel1可以是或是，A是变量，C是常量）型的分支谓词，当rel1为时，应适当地选择A，使：A=C+M。规则3对外部输入变量赋值，使其在每一测试用例中均有不同的值与符号，并与同一组测试用例中其它变量的值与符合不一致。ESTCAESTCA覆盖准则：在容易发生问题的地方设计测试用例，即重视程序中谓词（条件判断）的取值。ESTCA覆盖准则是一套错误敏感用例分析规则

42、。这一规则虽然并不完备，但在普通程序中却是有效的。原因在于这是一种经验型的覆盖准则，规则本身针对了程序编写人员容易发生的错误，或是围绕着发生错误的频繁区域，从而提高了发现错误的命中率。LCSAJ关于LCSAJLCSAJ(LinearCodeSequenceandJump)的字面含义是线性代码序列与跳转。在程序中，一个LCSAJ是一组顺序执行的代码，以控制跳转为其结束点。LCSAJ的起点是根据程序本身决定的。它的起点可以是程序第一行或转移语句的入口点，或是控制流可跳达的点。如果有几个LCSAJ首尾相接，且第一个LCSAJ起点为程序起点，最后一个LCSAJ终点为程序终点，这样的LCSAJ串就组成了

43、程序的一条路径（LCSAJ路径）。一条LCSAJ程序路径可能是由2个、3个或多个LCSAJ组成的。LCSAJAnLCSAJisasoftwarecodepathfragmentconsistingofasequenceofcode(alinearcodesequence)followedbyacontrolflowJump,andconsistsofthefollowingthreeitems:61：thestartofthelinearsequenceofexecutablestatements2：theendofthelinearsequence3：thetargetlinetowhich

44、controlflowistransferredattheendofthelinearsequence.3.2.4基本路径测试法基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一条可执行语句至少执行一次。基本路径测试基本路径测试-续续路径测试就是从一个程序的入口开始，执行所经历的各个语句的完整过程。从广义的角度讲，任何有关路径分析的测试都可以被称为路径测试。完成路径测试的理想情况是做到路径覆盖，但对于复杂性大的程序要做到所有路径覆盖是不可能的。路径测试的例子(3,0,3)(1,1,1)(

45、1,1,3)(2,0,1)路径步骤L1aceL2abdL3abeL4acd基本路径测试基本路径测试在不能做到所有路径覆盖的前提下，如果某一程序的每一个独立路径都被测试过，那么可以认为程序中的每个语句都已经检验过了。这种测试方法就是通常所说的基本路径测试法。基本路径测试基本路径测试基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形复杂度，导出执行路径的基本集，再从该基本集设计测试用例。基本路径测试方法包括4个步骤：基本路径测试基本路径测试（1）画出程序的控制流图。（2）计算程序的环形复杂度，导出程序基本路径集中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目

46、的上界。（3）导出基本路径集，确定程序的独立路径。（4）根据(3)中的独立路径，设计测试用例的输入数据和预期输出控制流图程序流程图又称框图，是我们最熟悉，也是最容易理解的一种程序控制结构的图形表示了。在这种图上的框里面常常标明了处理要求或者条件，但是，这些标注在做路径分析时是不重要的。为了更加突出控制流的结构，需要对程序流程图做一些简化。在控制流图中只有两种图形符号，它们是：o节点：以标有编号的圆圈表示。o控制流线或弧：以箭头表示。1.1.程序的控制流图程序的控制流图节点节点 1、标有编号的圆圈 2、程序流程图中矩形框所表示的处理 3、菱形表示的两个甚至多个出口判断 4、多条流线相交的汇合点1

47、.1.程序的控制流图程序的控制流图1.1.程序的控制流图程序的控制流图控制流线或弧 1 1、箭头、箭头 2 2、与程序流程图中的流线一致，表、与程序流程图中的流线一致，表 明了控制的顺序明了控制的顺序 3 3、控制流线通常标有名字、控制流线通常标有名字常见结构的流程图与控制流图1.1.程序的控制流图程序的控制流图在选择或多分支结构中，分支的汇聚处应有一个汇聚节点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。控制流图实例其中，包含条件的节点被称为判判定定节节点点（也叫谓词节点），由判定节点发出的边必须终止于某一个节点，由边和节点所限定的范围被称为区区域域。17638

48、910114,5节点边区域21.程序的控制流图程序的控制流图1.程序的控制流图程序的控制流图区域区域1.1.程序的控制流图程序的控制流图复合条件的控制流图 如果判断中的条件表达式是由一个或多个逻辑运算符(OR,AND,.)连接的复合条件表达式，则需改为 一系列只有单个条件的嵌套的判断。1.1.程序的控制流图程序的控制流图1.1.程序的控制流图程序的控制流图2.2.程序环路复杂性程序环路复杂性环路复杂性即McCabe复杂性度量，在进行程序的基本路径测试时，从程序的环路复杂性可导出程序基本路径集合中的独立路径条数。程序的环路复杂性给出了程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至

49、少执行一次所必需的测试用例数目的上界。2.2.程序环路复杂性程序环路复杂性独立路径：指包括一组以前没有处理的语句或条件的一条路径。从控制流图来看，一条独立路径是至少包含有一条在其它独立路径中从未有过的边的路径。一条路径这里指一条“程序通路”。思考思考:根据独立根据独立路径的定义路径的定义,在在图示的控制流图图示的控制流图中，有哪些独立中，有哪些独立的路径的路径?2.2.程序环路复杂性程序环路复杂性2.2.程序环路复杂性程序环路复杂性path1：1-11path2：1-2-3-4-5-10-1-11path3：1-2-3-6-8-9-10-1-11path4：1-2-3-6-7-9-10-1-1

50、1路径 path1，path2，path3，path4组成了控制流图的一个基本路径集。2.2.程序环路复杂性程序环路复杂性程序环路复杂性计算方法（三种）：(1)流图中区域的数量对应于环形复杂度(2)给定流图G的环形复杂度V(G),定义为V(G)=E-N+2,E是流图中边的数量，N是流图中节点的数量。(3)V(G)=P+1,P是流图G中的判定节点数。2.2.程序环路复杂性程序环路复杂性图中的圈复杂度，计算如下：流图中有四个区域；V(G)=10条边-8结点+2=4;V(G)=3个判定结点+1=4。3.3.导出测试用例导出测试用例导出测试用例，确保基本路径集中的每一条路径的执行。根据判断结点给出的条