第四版《软件测试：匠人之道》：模型驱动的全面指南

"《软件测试：工匠之道第四版》是一本由Paul C. Jorgensen编著的专业软件测试指南，该书在2013年10月18日由Auerbach Publications出版，适合英语阅读。本书是前三版的更新和重组，特别关注模型驱动测试，涵盖了代码（结构）和规范（功能）测试的各个方面，从单元测试扩展到集成和系统测试，深入探讨了软件测试的各个层次。 第四版的特点包括强化技术审查，附录中提供了样本用例技术审查所需的完整文档集。书中引入了一种创新方法，将早期版本中的事件驱动Petri网与统一建模语言（UML）中的“泳道”概念相结合，为系统-of-systems中的四个交互层次提供模型驱动的测试策略。此外，作者还介绍了模型驱动开发，并解释了如何在模型驱动开发环境中进行测试。 新章节涵盖了敏捷编程环境下的软件测试方法，重新审视了全对测试，并详细阐述了软件测试的四个上下文。书中全面修订和更新了内容，确保读者了解软件测试领域的最新技术动态。内容覆盖广泛，包括单元测试、边界值测试、等价类测试、决策表测试、路径测试、数据流测试、模型基础测试、系统测试、对象导向测试、软件复杂性分析、系统-of-systems模型测试、探索性测试、测试驱动开发、全对测试评估以及软件技术评审等多个主题。 《软件测试：工匠之道第四版》不仅针对软件测试人员，也适用于开发者和工程师，作为一本标准参考书籍，它持续提供有价值的信息，帮助读者掌握软件测试的精髓，追求卓越的软件质量。"