Table of Contents

Part I. A Mathematical Context. Chapter 1. A Perspective on Testing. Chapter 2. Examples. Chapter 3. Discrete Math for Testers. Chapter 4. Graph Theory for Testers. Part II. Unit Testing. Chapter 5. Boundary Value Testing. Chapter 6. Equivalence Class Testing. Chapter 7. Decision Table-Based Testing. Chapter 8. Code-Based Testing. Chapter 9 Testing Object-Oriented Software. Chapter 10. Retrospective on Unit Testing. Part III. Beyond Unit Testing. Chapter 11. Life Cycle-Based Testing. Chapter 12. Integration Testing. Chapter 13. System Testing. Chapter 14. Model-Based Testing. Chapter 15. Software Complexity. Chapter 16. Testing Systems of Systems. Chapter 17. Feature Interaction Testing. Chapter 18. Case Study: Testing Event-Driven Systems. Chapter 19. A Closer Look at All Pairs Testing. Chapter 20. Software Technical Reviews. Chapter 21. Epilogue: Software Testing Excellence.

About the Author

Paul C. Jorgensen, Ph.D., spent 20 years of his first career developing, supporting, and testing telephone switching systems. Since 1986, he has been teaching graduate courses in software engineering, first at Arizona State University, and then at Grand Valley State University. As of August 2017, he became a Professor Emeritus of Computer Science at Grand Valley State University. He claims he is not retired, he just has a 7-day weekend, every week. Paul is a co-author of two McGraw-Hill books (1970 and 1992). In addition to his software testing book, he is the author of two other CRC Press books: Modeling Software Behavior-A Craftsman’s Approach and The Craft of Model-Based Testing. He has reactivated his consulting practice, Software Paradigms, working with companies in Europe and North America.
Byron DeVries, Ph.D., currently teaches graduate and undergraduate courses in software engineering at Grand Valley State University. Previously, he directed the testing of flight-worthy avionics software during his 12-year career in the aviation systems industry. His research interests are the in the modeling and verification of high-assurance adaptive cyber-physical systems.