软件工程第13章 软件测试方法与过程.pptxVIP

第13章 软件测试方法与过程本章目标 掌握等价类划分法；熟悉黑盒测试的其他方法掌握逻辑覆盖法；熟悉白盒测试的其他方法掌握软件测试的一般步骤，以及每个阶段性测试的关注点了解回归测试和面向对象测试熟悉软件调试掌握Visual Studio中单元测试工具的用法13.1　软件测试方法 按照执行测试时是否需要运行程序，软件测试可以划分为静态测试和动态测试。静态测试以人工测试为主，通过测试人员认真阅读文档和代码，仔细分析其正确性、一致性及逻辑结构的正确性，从而找出软件产品中的错误或缺陷。静态测试对自动化工具的依赖性较小，通过人脑的思考和逻辑判断来查找错误，因而可以更好地发挥人的主观能动性。根据软件开发实践的总结，静态测试的成效非常显著，一般静态测试检测出的错误数可以达到总错误数的80%以上。13.1　软件测试方法 审查和走查是静态测试的常用形式。审查是指通过阅读并讨论各种设计文档以及程序代码，来检查其是否有错。审查的工作可以独自进行，也可以通过会议的形式将相关的人员召集起来共同发现并纠正错误。而走查的对象只是代码，不包括设计文档。代码走查以小组会议的形式进行，相关测试人员提供所需的测试用例，参会人员模拟计算机，跟踪程序的执行过程，对其逻辑和功能提出各种疑问，并通过讨论发现问题。总而言之，静态测试的效率比较高，而且要求测试人员具有丰富的经验。与静态测试不同的是，动态测试需要通过实际运行被测程序来发现问题。测试人员可以输入一系列的测试用例，通过观察测试用例的输出结果是否与预期相符来检验系统内潜在的问题或缺陷。动态测试中有两种非常流行的测试技术，即黑盒测试和白盒测试。13.2 黑盒测试 在黑盒测试里，测试人员把被测试的软件系统看成是一个黑盒子，并不需要关心盒子的内部结构和内部特性，而只关注软件产品的输入数据和输出结果，从而检查软件产品是否符合它的功能说明。与黑盒测试不同，白盒测试关注软件产品的内部细节和逻辑结构，即把被测的程序看成是一个透明的盒子。 不论是黑盒测试还是白盒测试，它们都可以发现被测系统的问题。但是由于它们侧重的角度不同，所以发现的问题也不尽相同。一般在软件测试的过程中，既要用到黑盒测试，又要用到白盒测试。大的功能模块采用黑盒测试，小的构件采用白盒测试。可以说，黑盒测试和白盒测试都是基于用例的测试方法，因为它们都通过运行测试用例来发现问题。根据设计用例的方法的不同，黑盒测试包括等价类划分法、边界值分析法、错误推测法、因果图法等，而白盒测试包括逻辑覆盖测试方法和基本路径测试等方法。下面将重点对黑盒测试和白盒测试进行详细的介绍。13.2 黑盒测试 13.2.1　等价类划分法 等价类划分是把程序的输入域划分为若干子集，然后从每个子集中选取少数具有代表性的数据用作测试用例，所选取的输入数据对于揭露程序中的错误都是等效的。对于测试来说，某个等价类的代表值与该等价类的其他值是等价的，因此可以把所有的输入数据划分为若干等价类，在每一个等价类中取少部分数据进行测试。等价类分为有效等价类和无效等价类。有效等价类是指对程序的规格说明是有意义的、合理的输入数据所构成的集合。无效等价类是指对程序的规格说明是无意义的、不合理的输入数据构成的集合。13.2 黑盒测试 在划分等价类时，有一些可供遵循的原则。(1) 如果输入条件规定了取值范围或个数，则可确定一个有效等价类和两个无效等价类。例如，输入值是选课人数，在0到100之间，那么有效等价类是“0≤学生人数≤100”，无效等价类是“学生人数0”和“学生人数100”。(2) 如果输入条件规定了输入值的集合或是规定了“必须如何”的条件，则可确定一个有效等价类和一个无效等价类。例如，输入值是日期类型的数据，那么有效等价类是：日期类型的数据；无效等价类是：非日期类型的数据。(3) 如果输入条件是布尔表达式，则可以分为一个有效等价类和一个无效等价类。例如，要求密码非空，则有效等价类为非空密码，无效等价类为空密码。13.2 黑盒测试 (4) 如果输入条件是一组值，且程序对不同的值有不同的处理方式，则每个允许的输入值对应一个有效等价类，所有不允许的输入值的集合为一个无效等价类。例如，输入条件“职称”的值是初级、中级或高级，那么有效等价类应该有3个，即初级，中级，高级，无效等价类有一个，即其他任何职称。(5) 如果规定了输入数据必须遵循的规则，则可以划分出一个有效的等价类（符合规则）和若干个无效的等价类（从不同的角度违反规则）。例如，在Pascal语言中对变量标识符规定为“以字母为开头的....串”，那么其有效等价类是“以字母开头的串”，而“以非字母开头的串”为其中的一个无效等价类。（6） 如已划分的等价类各元素在程序中的处理方式不同，则应将此等价类进一步划分成更小的等价类，如最终用户与系统交互的提示。13.2 黑