A USAGE-MODEL BASED APPROACH TO TEST THERAC-25

摘要

In today's industry practice, there is a lack of systematic method to help testers to construct, formalize and verify acceptance test models, and to use it for automatic test case generation. The lack of a formal acceptance test model leads to an absence of a rigorous acceptance test criteria. This paper proposes a user model, which serves a base for acceptance testing. The Therac-25 radiation therapy machine is described as a case study. We show that the error-producing sequence in the Therac-25 can be generated through the method.