A good test case has a high probability of finding an as-yet undiscovered error ... about the system, but, will attempt to break it and, is driven by quality ...
Therac-25 design based on the Therac-24. Was a mix of hardware and software ... a message from an underlying function or subsystem to further explain the result ...