The Approximation Tower in Computational Science: Why Testing Scientific Software is Difficult

Computing in Science and Engineering

Volumn 17, Issue 4, 2015, Pages 72-77

  Hinsen, Konrad ^a,b  

^a CENTRE DE BIOPHYSIQUE MOLÉCULAIRE   (France)

^b SYNCHROTRON SOLEIL   (France)

Author keywords

scientific computing; scientific programming; software; testing

Indexed keywords

COMPUTER SOFTWARE; NATURAL SCIENCES COMPUTING; TESTING;

COMPUTATIONAL SCIENCE; MATHEMATICAL EQUATIONS; NUMERICAL SOLUTION; SCIENTIFIC PROGRAMMING; SCIENTIFIC SOFTWARES;

SOFTWARE TESTING;

EID: 84934278956     PISSN: 15219615     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCSE.2015.75     Document Type: Article

References (7)

1. P.F. Dubois, "Testing Scientific Programs, " Computing in Science & Eng., vol. 14, no. 4, 2012, pp. 69-73.
2. M.B. Pour-El and J.I. Richards, Computability in Analysis and Physics, Springer, 1989.
3. V. Ménissier-Morain, "Arbitrary Precision Real Arithmetic: Design and Algorithms, " J. Logic and Algebraic Programming, vol. 64, no. 1, 2005, pp. 13-39.
4. N. Toronto and J. McCarthy, "Practically Accurate Floating- Point Math, " Computing in Science & Eng., vol. 16, no. 4, 2014, pp. 80-95.
5. T. Boekholt and S. Portegies Zwart, "On the Reliability of N-Body Simulations, " Computational Astrophysics and Cosmology, vol. 2, 2015, p. 2.
6. K. Diethelm, "The Limits of Reproducibility in Numerical Simulation, " Computing in Science & Eng., vol. 14, no. 1, 2012, pp. 64-72.
7. K. Hinsen, "Writing Software Specifications, " Computing in Science & Eng., vol. 17, no. 3, 2015, pp. 54-61.