回溯法：软件测试的艺术—黑盒白盒并重

第9章的主题深入探讨了软件测试的重要性和方法，特别是回溯法或跟踪法在其中的角色。回溯法是一种通过观察程序的错误症状，逆向追溯至源代码的技术，尤其适合于小型程序，但当程序路径众多时，其局限性就显现出来，因为无法全面覆盖所有可能的路径。这种方法强调人工干预，体现了测试人员对程序结构的理解。 本章的教学重点围绕以下几个方面展开： 1. 软件测试的目标与原则：明确软件测试的主要目的是为了发现错误而非证明软件正确，这与早期的认识阶段相比，更加重视预防和减少软件故障的风险。测试应被视为软件开发过程中的关键环节，是对规范、设计和编码的最后验证。 2. 测试用例设计：介绍黑盒测试方法，如等价划分法、边界值分析法和错误推测法，这些都是不考虑内部逻辑的测试策略。同时，也讲解白盒测试方法，如逻辑覆盖法和基本路径法，这些方法依赖于对程序内部结构的了解。 3. 面向对象测试：针对面向对象软件的特殊策略，例如类测试和组装测试，需要测试人员理解如何针对类和组件进行有效测试。 4. 软件测试的方法和步骤：包括确定测试数据、测试内容，以及测试过程中涉及的时间、参与人员等要素。 5. 软件测试的成本和投入：强调软件错误检测和修复的成本高昂，测试工作在软件开发过程中占据显著比例，尤其是在关键领域如航空和核工业，测试工作的重要性更甚。 6. 软件测试的认识历程：讲述了人们对于软件测试认识的逐步深化，从早期的误解到将其视为度量软件质量的关键手段。 7. 测试目标和目的：虽然完全预防错误难以实现，但通过优化测试，应尽可能多地发现并修复错误，以降低软件运行时的风险。 通过学习本章，软件评测师或测试人员将能够更好地理解和执行软件测试，提升软件质量，并理解测试在软件开发中的核心地位。