Testing, Debugging, and Verification TDA566/DIT082, LP2, HT2013
Lecture Notes, October 29.

Topics

The topics of the lecture are
  • significance of the central course topics
  • brainstorming on what is testing, what is debugging, what is verification
  • terminology: defect, infection, propagation, failure
  • specification

Handouts

Reading hints

  • [Myers] Introduction, Chapter 1


Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools | Links Moa Johansson, Oct 29, 2012