Testing, Debugging, and Verification TDA567/DIT082, LP2, HT2015
Lecture Notes: Course Introduction.

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: Bug, test, failure, specification

Handouts

Reading hints

  • [Myers] Introduction, Chapter 1.


Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools Atze van der Ploeg, Oct 18, 2016