| Testing, Debugging, and
Verification |
TDA566/DIT082, LP2, HT2011 |
Lecture Notes, November 23.
|
Topics
The topics of the lecture are
- black-box testing
- specifications as source of test cases
- IUT preconditions as test preamble specifications
- explicit and implicit disjunctions, disjunctive normal form
- specification coverage criteria
- partitioning of large domains and representative selection
- test oracle synthesis
Handouts
|
|
|
Home
| Course
| Schedule
| Exam
| Exercises
| Labs
| Evaluation
| Tools
| Links
|
W. Ahrendt,
V. Klebanov,
Nov 23, 2011
|