Increasing Validity of Simulation Models Through Metamorphic Testing

摘要: Simulation validation, demonstrating that a simulation accurately represents the system it studies, poses particularly potent form of oracle problem. A must be validated for its results to reliable, but often no exists due nature simulations. We propose taking metamorphic testing (MT) approach from realm software verification and applying validating executable models. By establishing pseudo-oracles based on relations between parameters behaviors within an model, we can create methodical overall framework guidelines apply MT with details two prevalent approaches: agent-based models (ABM), discrete-event (DES) modeling. Through three case demonstrate successful application toward different models: ABM gossip propagation, cancer, DES airport check-in security.