A Toolkit for Testing Stochastic Simulations against Statistical Oracles

作者:Patrick Matthew*; Donnelly Ruairi; Gilligan Christopher A
来源:10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), 2017-03-13 To 2017-03-17.
DOI:10.1109/ICST.2017.50

摘要

Stochastic simulations are developed and employed across many fields, to advise governmental policy decisions and direct future research. Faulty simulation software can have serious consequences, but its correctness is difficult to determine due to complexity and random behaviour. Stochastic simulations may output a different result each time they are run, whereas most testing techniques are designed for programs which (for a given set of inputs) always produce the same behaviour. In this paper, we introduce a new approach towards testing stochastic simulations using statistical oracles and transition probabilities. Our approach was implemented as a toolkit, which allows the frequency of state transitions to be tested, along with their final output distribution. We evaluated our toolkit on eight simulation programs from a variety fields and found it can detect errors at least three times smaller (and in one case, over 1000 times smaller) than a conventional (tolerance threshold) approach.

  • 出版日期2017