Description
This extensively classroom-tested text takes an innovative approach to explaining software testing that defines it as the process of applying a few precise, general-purpose criteria to a structure or model of the software. The book incorporates cutting-edge developments, including techniques to test modern types of software such as OO, web applications, and embedded software. This revised second edition significantly expands coverage of the basics, thoroughly discussing test automaton frameworks, and it adds new, improved examples and numerous exercises. The theory of coverage criteria is carefully and cleanly explained to help students understand concepts before delving into practical applications, while extensive use of the JUnit test framework gives students practical experience in a test framework popular in the industry. Exercises, meanwhile, feature specifically tailored tools that allow students to check their own work. The book's website also offers an instructor's manual, PowerPoint slides, testing tools for students, and example software programs in Java.
Table of Contents
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.
