Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models

Published

June 2, 2021

Author(s)

M S Raunak, Megan Olsen

Abstract

Metamorphic testing has been shown to be useful in testing "non-testable" programs in many domains. Modeling & simulation is one such domain, where both verification and validation can be difficult due to lack of oracles. Although the definition of verification and validation vary slightly in modeling and simulation when compared to standard software, we show that metamorphic testing is appropriate in both steps of ensuring that a simulation model is accurate. In this paper we expand on our five years of prior work on metamorphic testing for simulation validation to show how metamorphic testing can be used for verification as well, and how the previously defined guidelines for validation can be utilized in eliciting metamorphic relations for verification.

Proceedings Title

IEEE/ACM 6th International Workshop on Metamorphic Testing (MET)

Conference Dates

June 1-2, 2021

Conference Location

Madrid, ES

Conference Title

6th International Workshop on Metamorphic Testing

Pub Type

Conferences

Download Paper

https://doi.org/10.1109/MET52542.2021.00015

Local Download

Keywords

Simulation Model, Verification and Validation, Metamorphic Testing

Citation

Raunak, M. and Olsen, M. (2021), Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models, IEEE/ACM 6th International Workshop on Metamorphic Testing (MET), Madrid, ES, [online], https://doi.org/10.1109/MET52542.2021.00015, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=931851 (Accessed October 13, 2025)