软件工程 第17章：软件测试.pptVIP

广东工业大学计算机学院 软件工程 Software Engineering 第17章 软件测试 软件测试是软件质量保证的关键阶段，是对软件设计和编码的最终检查 本章内容： 17.1 软件测试概述 17.2 测试方法 17.3 测试用例的设计 17.4 测试过程 17.5 调试 17.1 软件测试概述 软件测试就是在软件投入运行前，对软件的需求分析、设计、实现编码进行最终审查。表面上看，在软件工程的其他阶段，都是建设性的，而软件测试是摧毁性的。但是，软件测试的最终目的是建立一个可靠性高的软件系统的一部分。它的定义为：是为了发现错误而执行程序的过程。 17.1.1 软件测试的目的 （1）软件测试是为了发现错误而执行程序的过程。 （2）一个好的测试用例能够发现至今尚未发现的错误。 （3）一个成功的测试是发现了至今尚未发现的错误的测试。 17.1.2 软件测试的原则 （1）测试用例由输入数据和预期的输出数据两部分组成。 （2）在输入数据的选择上，不仅要选择合理的输入数据，还要选择不合理的输入数据。 （3）用穷举测试是不可能的。 （4）应该在真正的测试工作开始之前很长时间内，就根据软件的需求和设计来制定测试计划，在测试工作开始后，要严格执行，排除随意性。 （5）长期保留测试用例。 （6）对发现错误较多的程序段，应进行更深入的测试。 （7）为了达到最佳测试效果，应该有第三方来构造测试用例。 17.2 测试方法 软件测试方法一般分为动态测试方法与静态测试方法。动态测试方法中又根据测试用例的设计方法不同，分为黑盒测试与白盒测试两类。 17.2.1 静态测试 静态测试是采用人工检测和计算机辅助静态分析的手段对程序进行检测，方法如下： （1）人工测试：是指不依靠计算机运行程序，而靠人工审查程序或评审软件。人工审查程序的重点是对编码质量进行检查，而软件审查除了审查编码还要对各阶段的软件产品（各种文档）进行复查。人工检测可以发现计算机不易发现的错误，特别是软件总体设计和详细设计阶段的错误。据统计，能有效地发现30%~70%的逻辑设计和编码错误，可以减少系统测试的总工作量。 （2）计算机辅助静态分析：指利用静态分析软件工具对被测试程序进行特性分析，从程序中提取一些信息，主要检查用错的局部变量和全程变量、不匹配参数、错误的循环嵌套、潜在的死循环及不会执行到的代码等。还可以分析各种类型的语句出现的次数、变量和常量的引用表、标识符的使用方式、过程的调用层次及违背编码规则等。静态分析中还可以用符号代替数值求得程序结果，以便对程序进行运算规律的检验。 17.2.2 动态测试 动态测试与静态测试相反，主要是设计一组输入数据，然后通过运行程序来发现错误。在软件的设计中，出现了大量的测试用例设计方法。测试任何工程化产品，一般有两种方法： （1）了解了产品的功能，然后构造测试，来证实所有的功能是完全可执行的。 （2）知道测试产品的内部结构及处理过程，可以构造测试用例，对所有的结构都进行测试。 前一种方法称为黑盒测试法，后一种方法称为白盒测试法。 1. 黑盒测试法 该方法把被测试对象看成一个黑盒子，测试人员完全不考虑程序的内部结构和处理过程，只在软件的界面上进行测试，用来证实软件功能的可操作性，检查程序是否满足功能要求，是否能很好地接收数据，并产生正确的输出。因此，黑盒测试又称为功能测试或数据驱动测试。一般用来检验系统的基本特征。 黑盒测试的任务是发现以下错误： （1）是否有不正确或遗漏了的功能。 （2）在界面上，能否正确地处理合理和不合理的输入数据，并产生正确的输出信息。 （3）访问外部信息是否有错。 （4）性能上是否满足要求等。 （5）初始化和终止错误。 用黑盒法测试时，必须在所有可能的输入条件和输出条件中确定测试数据 2. 白盒测试法 该方法把测试对象看作一个透明的盒子，测试人员能了解程序的内容结构和处理过程，以检查处理过程为目的，对程序中尽可能多的逻辑路径进行测试，在所有的点检验内部控制结构和数据结构是否和预期相同。 简单地来看，会认为通过全面的白盒测试法的程序将是“完全正确”的程序。但是同样，“全面”的白盒测试法也是不可能的。 因为白盒测试不检查功能，因此即使每条路径都测试并正确了，程序仍可能有错。例如要求编写一个升序的程序，错编成降序程序（功能错误），就是穷举路径测试也无法发现。再如由于疏忽漏写了路径，白盒测试也发现不了。 所以，黑盒法和白盒法都不能使测试达到彻底。为了让有限的测试发现更多的错误，需精心设计测试用例。 17.3 测试用例的设计17.3.1 白盒技术 白盒测试是结构测试，所以一般都是以程序的内部逻辑结构为基础来设计测试用例。 1. 逻辑覆盖 下面根据如图17-1所示的程序，分别讨论几种常