Proving It Works: Designing Test Cases