Table of Contents
CS 501: Software EngineeringFall 1999
Administration
Reading
Validation and Verification
Static and Dynamic Verification
Static Validation & Verification
Cleanroom Software Development
Static Verification: Program Inspections
Inspection Checklist: Common Errors
Static Analysis Tools
Static Analysis Tools (continued)
Testing and Debugging
Acceptance Testing
The Testing Process
Testing Strategies
Test Design
Test Cases
Test Case Selection: Coverage of Inputs
Test Case Selection: Program
Program Flow Graph
Fixing Bugs
Moving the Bugs Around |