Testing for trustworthiness in scientific software

Proceedings of the 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering, SECSE 2009

Volumn , Issue , 2009, Pages 59-64

  Hook, Daniel ^a   Kelly, Diane ^b  

^a QUEEN S UNIVERSITY   (Canada)

^b ROYAL MILITARY COLLEGE OF CANADA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SCIENTIFIC SOFTWARES; STANDARD TESTING; TESTING ORACLES;

TESTING;

COMPUTER SOFTWARE;

EID: 70349916281     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SECSE.2009.5069163     Document Type: Conference Paper

References (14)

1. James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin, "Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria", IEEE Transactions on Software Engineering, Vol. 32, No. 8, August 2006, pp. 608-624
2. th International Conference on Software Engineering ICSE '05, 2005, pp. 402-411
3. CSA N286.7-99, Quality Assurance of Analytical, Scientific, and Design Computer Programs for Nuclear Power Plants, Canadian Standards Association, March 1999
4. Les Hatton, "The chimera of software quality", Computer, 40(8):104, 2007, pp.102-103
5. Les Hatton, Andy Roberts, "How accurate is scientific software?", IEEE Transactions on Software Engineering, 20:10, 1994, pp. 786-797
6. IEEE Standard 610.12-1990, IEEE Standard Glossary of Software Engineering Terminology, 1999
7. Patrick Knupp, Kambiz Salari, Verification of Computer Codes in Computational Science and Engineering, Chapman & Hall/CRC, USA, 2003
8. A. Jefferson Offut, Roland H. Untch, Mutation 2000: Uniting the orthogonal. Mutation testing for the new century, Kluwer Academic Publishers, Norwell, MA, USA, 2001, pp. 34-44
9. Douglass E. Post, Lawrence G. Votta, "Computational Science Demands a New Paradigm", Physics Today, January 2005, pp. 35-41
10. Patrick J. Roache, "Building PDE Codes to be Verifiable and Validatable", Computing in Science and Engineering, September/October 2004, pp. 30-38
11. Patrick J. Roache, Verification and Validation in Computational Science and Engineering, Hermosa publishing, USE, 1998
12. Rebecca Sanders, Diane Kelly, "Scientific Software: Where's the Risk and how do Scientists Deal with it?", IEEE Software, July/August 2008, pp. 21-28
13. D.E. Stevenson, "A Critical Look at Quality in Large-Scale Simulations", Computing in Science and Engineering, May-June 1999, pp. 53-63
14. Elaine Weyuker, "On Testing Non-testable Programs", The Computer Journal, Vol. 25, No. 4, 1982, pp. 465-470