Test and Verification

Lecture 5

Subject

Test Driven Development
Test First
Automated unit-testing

Material

1. David Janzen, Hossein Saiedian: Test-Driven Development: Concepts, Taxonomy, and Future Direction
2. Laurie Williams, E. Michael Maximilien, Mladen Vouk Test-Driven Development as a Defect-Reduction Practice
3. [JUnit] JUnit Test Infected: Programmers Love Writing Tests
4. [fow07] Martin Fowler, Mocks Aren't Stubs
5. [Jef01] What is Extreme Programming
6. [CUNIT guide] Cunit User's Guide

Exercises

• TDD Exercise. Read the following document briefly. Do the steps one at a time without looking ahead and without taking into account the extensions. 1) the basic classification using TDD, 2) extend with first new requirement, and then 3) with the second new requirement.
• Java Files
• C# Files