COEN 345
Software Testing and Validation
Fall 2008
Topics
- Software quality assurance
- Verification and validation
- Test coverage
- Black-box testing
- White-box testing
- Control-flow and data-flow testing
- Static analysis
- Mutation testing
- Finite-state-machine testing
- Integration testing
- Reachability analysis
Readings
- Mauro Pezze and Michael Young, Software Testing and Analysis: Process, Principles and Techniques, Wiley, 2007.
- Aditya P. Mathur, Foundations of Software Testing, Pearson, 2008.
- Ilene Burnstein, Practical Software Testing: A Process-Oriented Approach, Springer, 2003.
- Paul C. Jorgensen, Software Testing: A Craftsman’s Approach, 3rd ed., CRC Press, 2008.
- Edward Kit, Software Testing in the Real World: Improving the Process, Addison-Wesley, 1996.
Sources
- Syllabus or course outline ↗Fall 2008
- References are explicitly labelled none mandatory.