Software Testing

More about the book

This updated fourth edition of Software Testing: A Craftsman's Approach presents a coherent treatment of Model-Based Testing, integrating strong mathematical foundations with practical applications for both code-based and specification-based testing. It expands beyond unit testing to cover integration and system testing comprehensively. Key features include an emphasis on technical inspections, supported by an appendix containing essential documents for a sample Use Case technical inspection. The edition introduces a novel approach that combines Event-Driven Petri Nets with the "Swim Lane" concept from UML, enabling model-based testing across four interaction levels in a System of Systems. It also discusses model-based development and how to conduct testing within such environments. A new section addresses testing methods in Agile programming contexts, while the text explores test-driven development, revisits all-pairs testing, and clarifies the four contexts of software testing. Thoroughly revised and updated, this edition is poised to become a standard reference for those seeking to stay current with advancements in software testing, continuing its legacy as a vital resource for software testers, developers, and engineers.