Introduction to Software Testing

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.