第七篇 测试.pptVIP

第七章 测试 7.1 软件测试基础 7.2 测试与软件开发各阶段的关系 7.3 逻辑覆盖 7.4 控制结构测试 7.5 黑盒测试技术 7.6 软件测试的策略 7.7 调试（Debug） 7.8 软件可靠性 7.1软件测试基础 测试的目标  测试是为了发现程序中的错误而执行程序的过程 好的测试方案是尽可能发现迄今为止尚未发现的错误的测试方案 成功的测试是发现了至今为止尚未发现的错误。 软件测试的目的 基于不同的立场，存在着两种完全不同的测试目的。 从用户的角度出发，普遍希望通过软件测试暴露软件中隐藏的错误和缺陷，以考虑是否可接受该产品。 从软件开发者的角度出发，则希望测试成为表明软件产品中不存在错误的过程，验证该软件已正确地实现了用户的要求，确立人们对软件质量的信心。 Myers软件测试目的 (1) 测试是程序的执行过程，目的在于发现错误； (2) 一个好的测试用例在于能发现至今未发现的错误； (3) 一个成功的测试是发现了至今未发现的错误的测试。 换言之，测试的目的是 想以最少的时间和人力，系统地找出软件中潜在的各种错误和缺陷。如果我们成功地实施了测试，我们就能够发现软件中的错误。 测试的附带收获是，它能够证明软件的功能和性能与需求说明相符合。 实施测试收集到的测试结果数据为可靠性分析提供了依据。 测试不能表明软件中不存在错误，它只能说明软件中存在错误。 测试方法：黑盒测试和白盒测试  （1）黑盒测试要点：已经知道了程序具有的功能；测试在程序的接口进行；输入适当的数据能否产生功能要求的正确的输出结果。  （2）白盒测试要点：已经知道程序的结构和处理过程；主要检查程序的每一条通路。 黑盒测试 这种方法是把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。 黑盒测试又叫做功能测试或数据驱动测试。 黑盒测试方法是在程序接口上进行测试，主要是为了发现以下错误: 是否有不正确或遗漏了的功能? 在接口上，输入能否正确地接受? 能否输出正确的结果? 是否有数据结构错误或外部信息(例如数据文件)访问错误? 性能上是否能够满足要求? 是否有初始化或终止性错误? 白盒测试 此方法把测试对象看做一个透明的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。 通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。 软件人员使用白盒测试方法，主要想对程序模块进行如下的检查： 程序模块的所有独立的执行路径至少测试一次； 对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次； 在循环的边界和运行界限内执行循环体； 测试准则 所有的测试都起源于用户需求。 测试工作开始之前，就制定出测试的计划。 把Pareto原理应用于软件测试。 测试应该从“小规模”开始，逐步进行“大规模”测试。 穷举测试是不可能的。 为了达到最佳的测试效果，应该由独立的第三方来从事测试工作。 测试的特征 挑剔性 系统性 经济性 完全测试的不可能性。 假设一个程序P有输入量X和Y及输出量Z。在字长为32位的计算机上运行。若X、Y取整数，按黑盒方法进行穷举测试： 可能采用的 测试数据组： 232×232 ＝264 如果测试一组数据需要1毫秒，一年工作365× 24小时，完成所有测试需5亿年。 对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。给出一个小程序的流程图，它包括了一个执行20次的循环。 包含的不同执行路径数达520条，对每一条路径进行测试需要1毫秒，假定一年工作365 × 24小时，要想把所有路径测试完，需3170年。 软件测试的对象 软件测试并不等于程序测试。软件测试应贯穿于软件定义与开发的整个期间。 需求分析、概要设计、详细设计以及程序编码等各阶段所得到的文档，包括需求规格说明、概要设计规格说明、详细设计规格说明以及源程序，都应成为软件测试的对象。 为把握软件开发各个环节的正确性，需要进行各种确认和验证工作。 确认(Validation)，是一系列的活动和过程，目的是想证实在一个给定的外部环境中软件的逻辑正确性。 需求规格说明确认 程序确认 (静态确认、动态确认) 验证(Verification)，试图证明在软件生存期各个阶段，以及阶段间的逻辑协调性、完备性和正确性。 测试信息流 软件配置：软件需求规格说明、软件设计规格 说明、源代码等； 测试配置：测试计划、测试用例、测试程序等； 测试工具：测试数据自动生成程序、静态