Contrast between state based and behaviour based verification - expecting a failed test that needs to be fixed