Checkout must reject a bad card: a write exercise in test automation