Departmental Papers (CIS)

Document Type

Conference Paper

Subject Area

CPS Medical

Date of this Version



3rd International Workshop on Software Engineering in Health Care (SEHC 2011)
May 22-23, 2011
Honolulu, Hawaii

Also available as Technical report


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.


Reliability, Verification, Software Testing, Oracle Problem, Metamorphic Testing



Date Posted: 07 May 2011

This document has been peer reviewed.