COM 3220: Topics
In the following you will find a preliminary list of the topics planned
to be covered during this course. Please note that this list may be subject
of change. If you are missing certain topics that you consider as important
to be covered by the course, please feel free to send me your suggestions
via e-mail.
The Craft of Software Testing
- Test Requirements
- Test Specifications
- etc. see text book
Verification
- Def: Are we building the right product?
- Formal Verification
- Verifiable Programming, Floyd/Hoare proofs
- Model checking technology
Validation
- Def: Are we building the right product
- Traceability to customer requirements
Interaction Software Process/Testing Process
- Object-Oriented Methods and Testing issues