arrow
Return

Testing Causality in Scientific Modelling Software

delete2023-11-24
delete5
delete
OA
AI
A
Andrew G. Clark *
M
Michael S. Foster
B
Benedikt Prifling
N
Neil Walkinshaw
R
Robert M. Hierons
V
Volker Schmidt
R
Robert D. Turner
DOI:10.1145/3607184delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decisions that affect us all. Given these critical applications, a poor modelling assumption or bug could have far-reaching consequences. However, scientific models possess several properties that make them notoriously difficult to test, including a complex input space, long execution times, and non-determinism, rendering existing testing techniques impractical. In fields such as epidemiology, where researchers seek answers to challenging causal questions, a statistical methodology known as Causal inference has addressed similar problems, enabling the inference of causal conclusions from noisy, biased, and sparse data instead of costly experiments. This article introduces the causal testing framework: a framework that uses causal inference techniques to establish causal effects from existing data, enabling users to conduct software testing activities concerning the effect of a change, such as metamorphic testing, a posteriori. We present three case studies covering real-world scientific models, demonstrating how the causal testing framework can infer metamorphic test outcomes from reused, confounded test data to provide an efficient solution for testing scientific modelling software.
Keywords:
Software testing
causal inference
causal testing

Journal

A
ACM Transactions on Software Engineering and Methodology
IF:
6.2
Papers:
1.2K
Citations:
3.4K

Organization

U
University of Sheffield
Scholars:
3.0W
Papers: 2.9W
Citations: 3.9W
U
ulm university
Scholars:
1.9W
Papers: 1.4W
Citations: 57
Cited Papers

Cited Papers

Characteristics of Pelvic Lymph Node Metastases in Prostatic Adenocarcinoma
err2012-06-06
err0
PREAI
errJi Yoon Yoon; Oleksandr N. Kryvenko; Khurshid R. Ghani; Chad Bertucci; Mani Menon; Nilesh S. Gupta
errShare
errSave
A Survey on Software Fault Localization
err2016-08-01
err741
errOAAI
errWong, W. Eric; Gao, Ruizhi; Li, Yihao; Abreu, Rui; Wotawa, Franz
errShare
errSave
Adaptation to Delayed Force Perturbations in Reaching Movements
err2010-08-11
err0
errOAAI
errNoa Levy; Assaf Pressman; Ferdinando A. Mussa-Ivaldi; Amir Karniel
errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
researcher View more