Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
1-1-2011
Abstract
Health care professionals rely on software to simulate anatomical and physiological elements of the human body for purposes of training, prototyping, and decision making. Software can also be used to simulate medical processes and protocols to measure cost effectiveness and resource utilization. Whereas much of the software engineering research into simulation software focuses on validation (determining that the simulation accurately models real-world activity), to date there has been little investigation into the testing of simulation software itself, that is, the ability to effectively search for errors in the implementation. This is particularly challenging because often there is no test oracle to indicate whether the results of the simulation are correct. In this paper, we present an approach to systematically testing simulation software in the absence of test oracles, and evaluate the effectiveness of the technique.
Keywords
Reliability, Verification, Software Testing, Oracle Problem, Metamorphic Testing
Recommended Citation
Christian Murphy, M. S. Raunak, Andrew King, Sanjian Chen, Christopher Imbraino, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, and Leon Osterweil, "On Effective Testing of Health Care Simulation Software", . January 2011.
Date Posted: 07 February 2011
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-11-05.