arrow
返回

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
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

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.
Keyword:
Software testing
causal inference
causal testing

期刊

A
ACM Transactions on Software Engineering and Methodology
IF:
6.2
论文数:
1.2K
被引数:
3.4K

机构

U
University of Sheffield
学者数:
3.0W
论文数: 2.9W
被引数: 3.9W
U
ulm university
学者数:
1.9W
论文数: 1.4W
被引数: 57
引用论文

引用论文

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
err分享
err收藏
A Survey on Software Fault Localization软件故障定位研究综述
err2016-08-01
err741
errOAAI
errWong, W. Eric; Gao, Ruizhi; Li, Yihao; Abreu, Rui; Wotawa, Franz
err分享
err收藏
Adaptation to Delayed Force Perturbations in Reaching Movements
err2010-08-11
err0
errOAAI
errNoa Levy; Assaf Pressman; Ferdinando A. Mussa-Ivaldi; Amir Karniel
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
学者 查看更多内容