A Usage-Model Based Approach to Test Therac-25
1995; Elsevier BV; Volume: 28; Issue: 25 Linguagem: Inglês
10.1016/s1474-6670(17)44824-5
ISSN2589-3653
AutoresPei Hsia, Jayarajan Samuel, David Chenho Kung, Liang Li, Chih‐Tung Hsu, Cris Chen, Y. Toyoshima,
Tópico(s)Software System Performance and Reliability
ResumoIn 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 modelleada 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
Referência(s)