Software Testing: A Craftsman's Approach, 4/e (Hardcover)

This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.

The Fourth Edition:

• Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection
• Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems
• Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments
• Presents a new section on methods for testing software in an Agile programming environment
• Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing

Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.

這本經過更新和重新組織的第四版《軟體測試：工匠的方法》將先前版本的強大數學內容應用於對基於代碼（結構）和基於規範（功能）測試的模型驅動測試的一致性處理。這些技術從通常的單元測試討論擴展到了較少被理解的集成和系統測試的全面覆蓋。

第四版的特點包括：

- 強調技術檢查，並附帶一個附錄，其中包含了進行樣本用例技術檢查所需的完整文件套件。
- 引入了一種創新方法，將早期版本的事件驅動佩特里網絡與統一建模語言（UML）中的“Swim Lane”概念相結合，允許在系統中的四個層次的組成部分之間進行基於模型的測試。
- 引入了基於模型的開發，並解釋了如何在基於模型的開發環境中進行測試。
- 提供了一個關於在敏捷編程環境中測試軟體的方法的新節。
- 探討了測試驅動開發，重新檢視了全對測試，並解釋了軟體測試的四個上下文。

經過全面修訂和更新，《軟體測試：工匠的方法，第四版》必將成為那些需要與軟體測試中不斷演進的技術保持最新的人的標準參考資料。延續前幾版的傳統，它將繼續為軟體測試人員、開發人員和工程師提供有價值的參考資料。