白盒测试的实用技术.ppt

《白盒测试的实用技术.ppt》由会员分享，可在线阅读，更多相关《白盒测试的实用技术.ppt（32页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、白盒测试的实用技术现在学习的是第1页，共32页白盒测试技术是软件测试的主要方法之白盒测试技术是软件测试的主要方法之一，白盒测试的基本概念、检查方法、测试一，白盒测试的基本概念、检查方法、测试方法、测试工具等内容是必须掌握的，本章方法、测试工具等内容是必须掌握的，本章重点讨论以下内容：重点讨论以下内容：白盒测试的概述白盒测试的概述白盒测试的静态检查方法白盒测试的静态检查方法白盒测试的常用方法白盒测试的常用方法软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第2页，共32页2.1白盒测试的概述白盒测试的概述白盒测试的对象主要是源程序。是指用白盒测试的对象主要是源程序。是指用

2、代码内部的分支、路径、条件，使程序设计代码内部的分支、路径、条件，使程序设计的控制结构导出测试用例，是软件测试的主的控制结构导出测试用例，是软件测试的主要方法之一。要方法之一。2.1.1白盒测试的基本知识白盒测试的基本知识白盒测试方法分为两类：白盒测试方法分为两类：（1）静态测试）静态测试（2）动态测试：）动态测试：软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第3页，共32页2.1.2白盒测试测试原则白盒测试测试原则白盒测试的原则有白盒测试的原则有4点：点：1）保证一个模块中所有路径至少被测试一次；）保证一个模块中所有路径至少被测试一次；2）所有逻辑值都要测试真和假

3、两种情况；）所有逻辑值都要测试真和假两种情况；3）检查程序的内部数据结构是否有效；）检查程序的内部数据结构是否有效；4）检查上、下边界及可操作范围内运行所）检查上、下边界及可操作范围内运行所有循环。有循环。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第4页，共32页2.1.3白盒测试的类别、依据和流程白盒测试的类别、依据和流程白盒测试策略是首先进行静态结构分析，白盒测试策略是首先进行静态结构分析，采用先静态后动态的组合方式。然后进行覆采用先静态后动态的组合方式。然后进行覆盖测试。利用静态测试的分析结果和通过动盖测试。利用静态测试的分析结果和通过动态测试的结果进行进一

4、步确认已达到测试效态测试的结果进行进一步确认已达到测试效果。白盒测试一般要考虑类别、依据和流程。果。白盒测试一般要考虑类别、依据和流程。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第5页，共32页1.白盒测试的类别白盒测试的类别白盒测试的类别具体分为白盒测试的类别具体分为8大类。大类。（1）软件公用问题的测试；软件公用问题的测试；（2）语言测试；语言测试；（3）SQL语句测试；语句测试；（4）数据类型测试；数据类型测试；（5）界面测试；界面测试；（6）数值对象测试；数值对象测试；（7）业务对象测试；业务对象测试；（8）数据管理对象测试。数据管理对象测试。软件测试技术

5、研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第6页，共32页2.白盒测试依据白盒测试依据软件需求报告；软件需求报告；软件需求规格说明；软件需求规格说明；程序设计文档；程序设计文档；软件界面设计；软件界面设计；编码规范；编码规范；开发命名标准。开发命名标准。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第7页，共32页3.白盒测试的流程白盒测试的流程白盒测试的流程分为界面对象和业务对象两种方白盒测试的流程分为界面对象和业务对象两种方式。式。(1)界面对象测试界面对象测试界面对象测试的流程如图界面对象测试的流程如图2-1所示。所示。软件测试技术研究组软件测

6、试技术研究组中国信息大学中国信息大学 图2-1界面对象的流程图 现在学习的是第8页，共32页(2)业务对象流程测试业务对象流程测试业务对象测试的流程如图业务对象测试的流程如图2-2所示。所示。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学 图2-2 业务对象测试的流程图现在学习的是第9页，共32页2.2白盒测试方法白盒测试方法在白盒测试中，可以使用各种测试方法进行测试。但是，在白盒测试中，可以使用各种测试方法进行测试。但是，在白盒测试中，可以使用各种测试方法进行测试。但是，在白盒测试中，可以使用各种测试方法进行测试。但是，测试要考虑五点问题。测试要考虑五点问题。测试要考虑五点问题

7、。测试要考虑五点问题。（1 1）测试中，尽量先用自动化工具来进行静态结构分析；）测试中，尽量先用自动化工具来进行静态结构分析；）测试中，尽量先用自动化工具来进行静态结构分析；）测试中，尽量先用自动化工具来进行静态结构分析；（2 2）测试中建议先从静态测试开始，如：静态结构分析、代码走查）测试中建议先从静态测试开始，如：静态结构分析、代码走查）测试中建议先从静态测试开始，如：静态结构分析、代码走查）测试中建议先从静态测试开始，如：静态结构分析、代码走查和静态质量度量，然后进行动态测试，如：覆盖率测试；和静态质量度量，然后进行动态测试，如：覆盖率测试；和静态质量度量，然后进行动态测试，如：覆盖率测

8、试；和静态质量度量，然后进行动态测试，如：覆盖率测试；（3 3）利用静态分析的结果作为依据，再使用代码检查和动态测）利用静态分析的结果作为依据，再使用代码检查和动态测）利用静态分析的结果作为依据，再使用代码检查和动态测）利用静态分析的结果作为依据，再使用代码检查和动态测试的方式对静态分析结果进行进一步确认，提高测试效率及准确试的方式对静态分析结果进行进一步确认，提高测试效率及准确试的方式对静态分析结果进行进一步确认，提高测试效率及准确试的方式对静态分析结果进行进一步确认，提高测试效率及准确性；性；性；性；（4 4）覆盖率测试是白盒测试中的重要手段，在测试报告中可）覆盖率测试是白盒测试中的重要手

9、段，在测试报告中可）覆盖率测试是白盒测试中的重要手段，在测试报告中可）覆盖率测试是白盒测试中的重要手段，在测试报告中可以作为量化指标的依据，对于软件的重点模块，应使用多种覆以作为量化指标的依据，对于软件的重点模块，应使用多种覆以作为量化指标的依据，对于软件的重点模块，应使用多种覆以作为量化指标的依据，对于软件的重点模块，应使用多种覆盖率标准衡量代码的覆盖率；盖率标准衡量代码的覆盖率；盖率标准衡量代码的覆盖率；盖率标准衡量代码的覆盖率；（5 5）在不同的测试阶段，测试的侧重点是不同的。）在不同的测试阶段，测试的侧重点是不同的。）在不同的测试阶段，测试的侧重点是不同的。）在不同的测试阶段，测试的侧

10、重点是不同的。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第10页，共32页2.2.1代码检查代码检查代码检查是静态测试的主要方法，代码代码检查是静态测试的主要方法，代码检查包括代码走查、桌面检查、流程图审查检查包括代码走查、桌面检查、流程图审查等。对于代码检查从如下几点进行叙述。等。对于代码检查从如下几点进行叙述。1）概述）概述代码检查主要检查代码和流图设计的一代码检查主要检查代码和流图设计的一致性、代码结构的合理性、代码编写的标准致性、代码结构的合理性、代码编写的标准性、可读性、代码的逻辑表达的正确性等方性、可读性、代码的逻辑表达的正确性等方面。包括变量检查、命

11、名和类型审查、程序面。包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等逻辑审查、程序语法检查和程序结构检查等内容。内容。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第11页，共32页2 2）代码走查目的）代码走查目的）代码走查目的）代码走查目的代码走查是为达到以下目的：代码走查是为达到以下目的：代码走查是为达到以下目的：代码走查是为达到以下目的：通过检查代码程序是不是按照某种标准或规范编写的通过检查代码程序是不是按照某种标准或规范编写的通过检查代码程序是不是按照某种标准或规范编写的通过检查代码程序是不是按照某种标准或规范编写的代码；代码；代码

12、；代码；通过检查代码来发现程序缺陷；通过检查代码来发现程序缺陷；通过检查代码来发现程序缺陷；通过检查代码来发现程序缺陷；通过检查代码容易发现程序产生的错误；通过检查代码容易发现程序产生的错误；通过检查代码容易发现程序产生的错误；通过检查代码容易发现程序产生的错误；通过检查代码来发现代码是不是流程图要求的；通过检查代码来发现代码是不是流程图要求的；通过检查代码来发现代码是不是流程图要求的；通过检查代码来发现代码是不是流程图要求的；通过检查代码来发现有没有遗漏的项目；通过检查代码来发现有没有遗漏的项目；通过检查代码来发现有没有遗漏的项目；通过检查代码来发现有没有遗漏的项目；要代码易于移植，代码经常

13、需要在不同的硬件中运要代码易于移植，代码经常需要在不同的硬件中运要代码易于移植，代码经常需要在不同的硬件中运要代码易于移植，代码经常需要在不同的硬件中运行，或者使用不同的编译器编译；行，或者使用不同的编译器编译；行，或者使用不同的编译器编译；行，或者使用不同的编译器编译；要代码易于阅读、理解和维护。要代码易于阅读、理解和维护。要代码易于阅读、理解和维护。要代码易于阅读、理解和维护。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第12页，共32页2.2.22.2.2代码检查方式代码检查方式代码检查方式代码检查方式代码走查的方式有：代码走查的方式有：代码走查的方式有：代码

14、走查的方式有：1 1 桌面检查桌面检查桌面检查桌面检查2 2 走查走查走查走查3 3 代码审查代码审查代码审查代码审查 代码审查可分为以下两步：代码审查可分为以下两步：代码审查可分为以下两步：代码审查可分为以下两步：第一步：小组负责人把程序文本、规范、相关要求、流程第一步：小组负责人把程序文本、规范、相关要求、流程第一步：小组负责人把程序文本、规范、相关要求、流程第一步：小组负责人把程序文本、规范、相关要求、流程图及设计说明书发给每个成员。图及设计说明书发给每个成员。图及设计说明书发给每个成员。图及设计说明书发给每个成员。第二步：每个成员依据所发材料作为审查依据，但是由第二步：每个成员依据所发

15、材料作为审查依据，但是由第二步：每个成员依据所发材料作为审查依据，但是由第二步：每个成员依据所发材料作为审查依据，但是由程序员讲解程序的结构每、逻辑和源程序。在此过程中，程序员讲解程序的结构每、逻辑和源程序。在此过程中，程序员讲解程序的结构每、逻辑和源程序。在此过程中，程序员讲解程序的结构每、逻辑和源程序。在此过程中，小组成员可以提出自己的疑问；程序员在讲解自己的程小组成员可以提出自己的疑问；程序员在讲解自己的程小组成员可以提出自己的疑问；程序员在讲解自己的程小组成员可以提出自己的疑问；程序员在讲解自己的程序时，也能发现自己原来没有注意到的问题。序时，也能发现自己原来没有注意到的问题。序时，也

16、能发现自己原来没有注意到的问题。序时，也能发现自己原来没有注意到的问题。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第13页，共32页2.2.3代码检查项目代码检查项目代码检查项目主要有以下几点：代码检查项目主要有以下几点：u目录文件组织目录文件组织u检查函数检查函数u数据类型及变量数据类型及变量u检查条件判断语句检查条件判断语句u检查循环体制检查循环体制u检查代码注释检查代码注释u桌面检查桌面检查u其它检查其它检查软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第14页，共32页2.2.4静态结构分析静态结构分析 静态结构分析主要是以图形的

17、方式表现程序的静态结构分析主要是以图形的方式表现程序的静态结构分析主要是以图形的方式表现程序的静态结构分析主要是以图形的方式表现程序的内部结构，例如函数调用关系图、函数内部控制流图。内部结构，例如函数调用关系图、函数内部控制流图。内部结构，例如函数调用关系图、函数内部控制流图。内部结构，例如函数调用关系图、函数内部控制流图。通过应用程序各函数之间的调用关系展示了系通过应用程序各函数之间的调用关系展示了系通过应用程序各函数之间的调用关系展示了系通过应用程序各函数之间的调用关系展示了系统的结构。列出所有函数，用连线表示调用关系和作统的结构。列出所有函数，用连线表示调用关系和作统的结构。列出所有函数

18、，用连线表示调用关系和作统的结构。列出所有函数，用连线表示调用关系和作用。静态结构主要分析：用。静态结构主要分析：用。静态结构主要分析：用。静态结构主要分析：1.1.可以检查函数的调用关系是否正确；可以检查函数的调用关系是否正确；可以检查函数的调用关系是否正确；可以检查函数的调用关系是否正确；2.2.是否存在孤立的函数而没有被调用；是否存在孤立的函数而没有被调用；是否存在孤立的函数而没有被调用；是否存在孤立的函数而没有被调用；3.3.明确函数被调用的频繁度，对调用频繁的函数可以重点明确函数被调用的频繁度，对调用频繁的函数可以重点明确函数被调用的频繁度，对调用频繁的函数可以重点明确函数被调用的频

19、繁度，对调用频繁的函数可以重点检查。检查。检查。检查。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第15页，共32页2.2.5SQL语句测试语句测试主要检查以下两点：主要检查以下两点：1.语句检查语句检查2.类型转换类型转换2.2.6代码检查的分析与评价代码检查的分析与评价代码检查的分析与评价主要注意以下两大代码检查的分析与评价主要注意以下两大点：点：1能力能力陈述经代码检查证实了的本软件的能力。陈述经代码检查证实了的本软件的能力。2缺陷和限制缺陷和限制软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第16页，共32页2.3白盒测试的常用技术

20、白盒测试的常用技术白盒测试常用技术主要有白盒测试常用技术主要有7种。现分别叙述如种。现分别叙述如下下:2.3.1逻辑覆盖法逻辑覆盖法逻辑覆盖法主要讨论四点：逻辑覆盖法主要讨论四点：测试覆盖率；测试覆盖率；逻辑覆盖逻辑覆盖；面向对象的覆盖面向对象的覆盖；测试覆盖准则。测试覆盖准则。现分别进行讨论。现分别进行讨论。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第17页，共32页1.测试覆盖率测试覆盖率测试覆盖率是用于确定测试所执行到的测试覆盖率是用于确定测试所执行到的覆盖项的百分比。其中的覆盖项是指作为测覆盖项的百分比。其中的覆盖项是指作为测试基础的一个入口或属性，比如语

21、句、分支、试基础的一个入口或属性，比如语句、分支、条件等。条件等。测试覆盖率可以表示出测试的充分性，测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高效果越好。但覆盖率不是目测试覆盖率越高效果越好。但覆盖率不是目标，只是一种手段。标，只是一种手段。其中其中测试覆盖率包括功能覆盖和结构覆盖测试覆盖率包括功能覆盖和结构覆盖软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第18页，共32页2.逻辑覆盖逻辑覆盖根据覆盖目标的不同和覆盖源程序语句根据覆盖目标的不同和覆盖源程序语句的详尽程度，逻辑覆盖又可

22、分为语句覆盖的详尽程度，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修改条件判定覆盖、组合覆盖多条件覆盖、修改条件判定覆盖、组合覆盖和路径覆盖。和路径覆盖。3.面向对象的覆盖面向对象的覆盖面向对象的覆盖主要讨论继承上下文覆面向对象的覆盖主要讨论继承上下文覆盖和基于状态的上下文覆盖。盖和基于状态的上下文覆盖。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第19页，共32页4.测试覆盖准则测试覆盖准则测试覆盖准则主要讨论测试覆盖准则主要讨论ESTCA（ErrorSensitiveTestCasesAna

23、lysis）错误敏感）错误敏感测试用例分析和测试用例分析和LCSAJ(LinearCodeSequenceandJump)线性代码序列与跳转。线性代码序列与跳转。（1）ESTCA覆盖准则覆盖准则（2）现行代码序列与跳转）现行代码序列与跳转LCSAJ现行代码序列与条状现行代码序列与条状LCSAJ是指一组顺序执是指一组顺序执行的代码，以控制流跳转为结束点。可产生行的代码，以控制流跳转为结束点。可产生4层覆盖层覆盖软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第20页，共32页2.3.2插桩技术插桩技术软件动态测试中，插桩测试是一个被广泛应软件动态测试中，插桩测试是一个被广

24、泛应用的测试方法。插桩测试就是向源程序中插用的测试方法。插桩测试就是向源程序中插入语句然后执行程序，通过打印语句，获得入语句然后执行程序，通过打印语句，获得动态信息（我们最为关心的信息）。动态信息（我们最为关心的信息）。在这里，我们举一个最简单的例子，以计算在这里，我们举一个最简单的例子，以计算整数整数X和整数和整数Y的最大公约数为例，试图说明的最大公约数为例，试图说明插桩技术的要点。插桩技术的要点。插桩后求最大公约数程序流程图如图插桩后求最大公约数程序流程图如图2-3所示。所示。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第21页，共32页 软件测试技术研究组软件

25、测试技术研究组中国信息大学中国信息大学图2-3求最大公约数程序插桩流程图现在学习的是第22页，共32页2.3.32.3.3基本路径测试法基本路径测试法基本路径测试法基本路径测试法基本路径测试法是在程序控制流图的基础上，通基本路径测试法是在程序控制流图的基础上，通基本路径测试法是在程序控制流图的基础上，通基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径过分析控制构造的环路复杂性，导出基本可执行路径过分析控制构造的环路复杂性，导出基本可执行路径过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例集合，从而设计测试用例的

26、方法。设计出的测试用例集合，从而设计测试用例的方法。设计出的测试用例集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。要保证在测试中程序的每个可执行语句至少执行一次。要保证在测试中程序的每个可执行语句至少执行一次。要保证在测试中程序的每个可执行语句至少执行一次。基本路径测试法的重点内容如下：基本路径测试法的重点内容如下：基本路径测试法的重点内容如下：基本路径测试法的重点内容如下：程序的控制流图：描述程序控制流的一种图示方法。程序的控制流图：描述程序控制流的一种图示方法。程序的控制流图：描述程序控制流的一种图示方法。程序的控制流图：描述程序控制流的一种

27、图示方法。程序环形复杂度：程序环形复杂度：程序环形复杂度：程序环形复杂度：McCabeMcCabe复杂性度量。从程序的环复杂性度量。从程序的环复杂性度量。从程序的环复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是路复杂性可导出程序基本路径集合中的独立路径条数，这是路复杂性可导出程序基本路径集合中的独立路径条数，这是路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例确定程序中每个可执行语句至少执行一次所必须的测试用例确定程序中每个可执行语句至少执行一次所必须的测试用例确定程序中每个可执行语句至少执行一次所必须的测试用

28、例数目的上界数目的上界数目的上界数目的上界。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第23页，共32页1 1 程序控制流图程序控制流图程序控制流图程序控制流图程序控制流图（可简称流图）是对程序流程图程序控制流图（可简称流图）是对程序流程图程序控制流图（可简称流图）是对程序流程图程序控制流图（可简称流图）是对程序流程图进行简化后得到的，它突出表示程序控制流的结构。进行简化后得到的，它突出表示程序控制流的结构。进行简化后得到的，它突出表示程序控制流的结构。进行简化后得到的，它突出表示程序控制流的结构。程序控制流图是描述程序控制流的一种方式。控制程序控制流图是描述程序

29、控制流的一种方式。控制程序控制流图是描述程序控制流的一种方式。控制程序控制流图是描述程序控制流的一种方式。控制流图图形符号：流图图形符号：流图图形符号：流图图形符号：图形符号：圆圈代表一个结点，图形符号：圆圈代表一个结点，图形符号：圆圈代表一个结点，图形符号：圆圈代表一个结点，表示一个或多表示一个或多表示一个或多表示一个或多个无分支的语句或源程序语句；个无分支的语句或源程序语句；个无分支的语句或源程序语句；个无分支的语句或源程序语句；程序控制流边和点圈定的部分叫做区域。当对区域程序控制流边和点圈定的部分叫做区域。当对区域程序控制流边和点圈定的部分叫做区域。当对区域程序控制流边和点圈定的部分叫做

30、区域。当对区域计数时，图形外的一个部分也应记为一个区域；计数时，图形外的一个部分也应记为一个区域；计数时，图形外的一个部分也应记为一个区域；计数时，图形外的一个部分也应记为一个区域；判断语句中的条件为复合条件时，即条件表判断语句中的条件为复合条件时，即条件表判断语句中的条件为复合条件时，即条件表判断语句中的条件为复合条件时，即条件表达式由一个或多个逻辑运算符连接的逻辑表达式达式由一个或多个逻辑运算符连接的逻辑表达式达式由一个或多个逻辑运算符连接的逻辑表达式达式由一个或多个逻辑运算符连接的逻辑表达式（aandbaandb），则需要改变复合条件的判断为一系列），则需要改变复合条件的判断为一系列），

31、则需要改变复合条件的判断为一系列），则需要改变复合条件的判断为一系列只有单个条件的嵌套的判断。只有单个条件的嵌套的判断。只有单个条件的嵌套的判断。只有单个条件的嵌套的判断。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第24页，共32页基本路径测试方法是在控制流图的基础上，通过基本路径测试方法是在控制流图的基础上，通过基本路径测试方法是在控制流图的基础上，通过基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形复杂度，导出执行路径的基本集，分析控制结构的环形复杂度，导出执行路径的基本集，分析控制结构的环形复杂度，导出执行路径的基本集，分析控制结构的环形复杂度，

32、导出执行路径的基本集，再从该基本集设计测试用例。基本路径测试方法包括再从该基本集设计测试用例。基本路径测试方法包括再从该基本集设计测试用例。基本路径测试方法包括再从该基本集设计测试用例。基本路径测试方法包括以下以下以下以下4 4个步骤：个步骤：个步骤：个步骤：画出程序的控制流图。画出程序的控制流图。画出程序的控制流图。画出程序的控制流图。计算程序的环形复杂度，导出程序基本路径集中的计算程序的环形复杂度，导出程序基本路径集中的计算程序的环形复杂度，导出程序基本路径集中的计算程序的环形复杂度，导出程序基本路径集中的独立路径条数，这是确定程序中每个可执行语句至少独立路径条数，这是确定程序中每个可执行

33、语句至少独立路径条数，这是确定程序中每个可执行语句至少独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。执行一次所必须的测试用例数目的上界。执行一次所必须的测试用例数目的上界。执行一次所必须的测试用例数目的上界。导出基本路径集，确定程序的独立路径。导出基本路径集，确定程序的独立路径。导出基本路径集，确定程序的独立路径。导出基本路径集，确定程序的独立路径。根据根据根据根据中的独立路径，设计测试用例的输入数据和预中的独立路径，设计测试用例的输入数据和预中的独立路径，设计测试用例的输入数据和预中的独立路径，设计测试用例的输入数据和预期输出。期输出。期输出。期输出。程序

34、控制流图如图程序控制流图如图程序控制流图如图程序控制流图如图2-42-4所示。所示。所示。所示。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第25页，共32页软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学图图2-4程序控制流程图程序控制流程图现在学习的是第26页，共32页2.3.42.3.4域测试法域测试法域测试法域测试法域测试是一种基于程序结构的测试方法，基于对程序输入域测试是一种基于程序结构的测试方法，基于对程序输入域测试是一种基于程序结构的测试方法，基于对程序输入域测试是一种基于程序结构

35、的测试方法，基于对程序输入空间（域）的分析，选择测试点进行测试。主要为：空间（域）的分析，选择测试点进行测试。主要为：空间（域）的分析，选择测试点进行测试。主要为：空间（域）的分析，选择测试点进行测试。主要为：1 1）域错误：程序的控制流存在错误，对于某一特定的输入）域错误：程序的控制流存在错误，对于某一特定的输入）域错误：程序的控制流存在错误，对于某一特定的输入）域错误：程序的控制流存在错误，对于某一特定的输入可能执行的是一条错误路径，这种错误称为路径错误，也叫可能执行的是一条错误路径，这种错误称为路径错误，也叫可能执行的是一条错误路径，这种错误称为路径错误，也叫可能执行的是一条错误路径，这

36、种错误称为路径错误，也叫做域错误；做域错误；做域错误；做域错误；2 2）计算型错误：对于特定输入执行的路径正确，但赋计算型错误：对于特定输入执行的路径正确，但赋计算型错误：对于特定输入执行的路径正确，但赋计算型错误：对于特定输入执行的路径正确，但赋值语句的错误导致输出结果错误，称为计算型错误；值语句的错误导致输出结果错误，称为计算型错误；值语句的错误导致输出结果错误，称为计算型错误；值语句的错误导致输出结果错误，称为计算型错误；3 3）丢失路径错误：由于程序中的某处少了一个判定谓丢失路径错误：由于程序中的某处少了一个判定谓丢失路径错误：由于程序中的某处少了一个判定谓丢失路径错误：由于程序中的某

37、处少了一个判定谓词而引起的丢失路径错误词而引起的丢失路径错误词而引起的丢失路径错误词而引起的丢失路径错误 软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第27页，共32页2.3.5符号测试符号测试符号测试基本思想是允许程序的输入不符号测试基本思想是允许程序的输入不仅仅是具体的数值数据，而且包括符号值，仅仅是具体的数值数据，而且包括符号值，符号值可以是基本的符号变量值，也可以是符号值可以是基本的符号变量值，也可以是符号变量值的表达式。符号变量值的表达式。1）符号测试执行的是代数运算，可以作为符号测试执行的是代数运算，可以作为普通测试的一个扩充；普通测试的一个扩充；2）符

38、号测试可以看作是程序测试和程序验符号测试可以看作是程序测试和程序验证的一个折衷办法；证的一个折衷办法；3）符号测试程序中仅有有限的几条执行路符号测试程序中仅有有限的几条执行路径；径；软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第28页，共32页2.3.6Z2.3.6Z路径覆盖法路径覆盖法路径覆盖法路径覆盖法分析程序中的路径是指检验程序从入口开始，执分析程序中的路径是指检验程序从入口开始，执分析程序中的路径是指检验程序从入口开始，执分析程序中的路径是指检验程序从入口开始，执行过程中经历的各个语句，直到出口。行过程中经历的各个语句，直到出口。行过程中经历的各个语句，直到

39、出口。行过程中经历的各个语句，直到出口。Z Z路径覆盖路径覆盖路径覆盖路径覆盖 对循环机制进行简化，减少路径的数量，使得覆对循环机制进行简化，减少路径的数量，使得覆对循环机制进行简化，减少路径的数量，使得覆对循环机制进行简化，减少路径的数量，使得覆盖所有路径成为可能，简化循环意义下的路径覆盖称为盖所有路径成为可能，简化循环意义下的路径覆盖称为盖所有路径成为可能，简化循环意义下的路径覆盖称为盖所有路径成为可能，简化循环意义下的路径覆盖称为Z Z路路路路径覆盖（循环简化：限制循环次数，只考虑循环一次或零径覆盖（循环简化：限制循环次数，只考虑循环一次或零径覆盖（循环简化：限制循环次数，只考虑循环一次

40、或零径覆盖（循环简化：限制循环次数，只考虑循环一次或零次情况），循环简化的目的是限制循环的次数，无论循环次情况），循环简化的目的是限制循环的次数，无论循环次情况），循环简化的目的是限制循环的次数，无论循环次情况），循环简化的目的是限制循环的次数，无论循环的形式和循环体实际执行的次数，简化后的循环测试只考的形式和循环体实际执行的次数，简化后的循环测试只考的形式和循环体实际执行的次数，简化后的循环测试只考的形式和循环体实际执行的次数，简化后的循环测试只考虑执行循环体一次和零次（不执行）两种情况，即考虑执虑执行循环体一次和零次（不执行）两种情况，即考虑执虑执行循环体一次和零次（不执行）两种情况，即考

41、虑执虑执行循环体一次和零次（不执行）两种情况，即考虑执行时进入循环体一次和跳过循环体这两种情况。行时进入循环体一次和跳过循环体这两种情况。行时进入循环体一次和跳过循环体这两种情况。行时进入循环体一次和跳过循环体这两种情况。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第29页，共32页2.3.7程序变异测试法程序变异测试法程序变异是一种错误驱动测试。错误驱程序变异是一种错误驱动测试。错误驱动测试是指该方法是针对某类特定程序错误动测试是指该方法是针对某类特定程序错误的，经过多年的测试理论研究和软件测试的的，经过多年的测试理论研究和软件测试的实践，人们逐渐发现要想找出程序

42、中所有的实践，人们逐渐发现要想找出程序中所有的错误几乎是不可能的。比较现实的解决办法错误几乎是不可能的。比较现实的解决办法是将错误的搜索范围尽可能地缩小，以利于是将错误的搜索范围尽可能地缩小，以利于专门测试某类错误是否存在。专门测试某类错误是否存在。软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第30页，共32页请您解答请您解答:1.白盒测试有哪两个分类？白盒测试有哪两个分类？2.说出白盒测试的说出白盒测试的4个原则。个原则。3.详细说明白盒测试方法要注意的问题。详细说明白盒测试方法要注意的问题。4.请简要写出白盒测试常用的请简要写出白盒测试常用的7类技术。类技术。5.逻辑覆盖主要测试哪逻辑覆盖主要测试哪8各方面的覆盖率？各方面的覆盖率？现在学习的是第31页，共32页谢谢谢谢软件测试技术研究组软件测试技术研究组中国信息大学中国信息大学现在学习的是第32页，共32页