Introduction to Software Testing

Review of the first edition: 'I think this is a great testing book, both from academic and industrial perspectives. I believe Ammann and Offutt's book will become the testing textbook of choice. There are a lot of testing books out there, some better than others. Most are narrow in the topics they cover and the level of detail they present. In stark contrast, Ammann and Offutt's book has the advantage of presenting concepts and techniques that cover the broad range of languages and platforms used in practice by industry and academia. Theirs is one of the most thorough and practical testing books ever published.' Roger Alexander, Washington State University

Review of the first edition: '... well written, logically organized, and provides excellent examples as well as useful course materials (such as homework assignments and quizzes) ... greatly facilitates the teaching and learning process. I plan to ... use the Ammann and Offutt text [again] ... students ... complimented the book in their student evaluations (a very rare occurrence) ... [it] provides an excellent high level as well as detailed presentation of topics that are often difficult for students to master, such as control flow graph coverage, data flow graph coverage (including all-defs, all-uses, all-du-paths criteria), graph coverage for use cases, logic coverage (predicate coverage, clause coverage) [and] syntax-based testing ... In particular, the logic coverage chapter took very complex concepts and made them understandable for the students. Also, the examples that appear in the book are very useful and are highly representative of what our students run into after they graduate and land jobs as developers and/or testers.' Jane Hayes, University of Kentucky

Review of the first edition: 'This software testing textbook creatively uses only four models to capture current software testing techniques helping students, researchers, and practitioners to deeply grasp these techniques from an abstract, systematic perspective. The textbook provides excellent balance between theory and practice!' Tao Xie, North Carolina State University

Review of the first edition: 'This is a great book for learning software testing. The clear terminology definitions and comprehensive examples provide an easy way to master the software testing techniques ... for people who work in or [are] prepar[ing] to enter the software testing field, this book is definitely what you need in your hand.' Ling Liu, ETH Zurich

Review of the first edition: 'Where has this book been all these years? [It] reminds me why I wanted to study software testing in graduate school: testing touches on all the interesting theoretical/engineering models/representations for software.' Arthur Reyes, University of Texas, Arlington

Review of the first edition: 'These two leading researchers provide an excellent exposition of the recent advancement of software testing in a manner that is suitable for classroom us...

Paul Ammann is Associate Professor of Software Engineering at George Mason University, Virginia, where he earned the Volgenau School of Engineering's Outstanding Teaching Award in 2007. He also led the development of the Applied Computer Science degree, and has served as Director of the MS Software Engineering program. He has taught courses in software testing, applied object-oriented theory, formal methods for software engineering, web software, and distributed software engineering. Ammann has published more than eighty papers in software engineering, with an emphasis on software testing, security, dependability, and software engineering education. Jeff Offutt is Professor of Software Engineering at George Mason University, Virginia, where he leads the MS in Software Engineering program, teaches software engineering courses at all levels, and has developed new courses on several software engineering subjects. He was awarded the George Mason University Teaching Excellence Award, Teaching with Technology, in 2013. Offutt has published more than 165 papers in areas such as model-based testing, criteria-based testing, test automaton, empirical software engineering, and software maintenance. He is Editor-in-Chief of the Journal of Software Testing, Verification and Reliability, helped found the IEEE International Conference on Software Testing, and is the founder of the Java project.

Preface; Part I. Foundations: 1. Why do we test software?; 2. Model-driven test design; 3. Test automation; 4. Putting testing first; 5. Criteria-based test design; Part II. Coverage Criteria: 6. Input space partitioning; 7. Graph coverage; 8. Logic coverage; 9. Syntax-based testing; Part III. Testing in Practice: 10. Managing the test process; 11. Writing test plans; 12. Test implementation; 13. Regression testing for evolving software; 14. Writing effective test oracles; List of criteria.