Back to schedule page
In-Class Exercise
Ch. 2 Thinking Questions

SWE 437, Spring 2018
12 February

This is an in-class group exercise. Form small groups and discuss the questions amongst yourselves. You have 5 minutes per question.

  1. (after slide 2) Discuss software correctness. Have you thought of correctness in software as possible or impossible? Do you agree with the claim in the book, or is it hard to accept?

  2. (after slide 6) Discuss test oracles. Have you written many automated tests? How did you decide what assertions to write? Do you think you ever checked the wrong part of the state?

  3. (after slide 23) Discuss coverage criteria. Why do software organizations use coverage criteria? Why don’t more software organizations use coverage criteria?