Challenges for Verifying and Validating Scientific Software in Computational Materials Science

被引：5

作者：

Vogel, Thomas ^{[1
]}

Druskat, Stephan ^{[1
,2
]}

Scheidgen, Markus ^{[3
,4
]}

Draxl, Claudia ^{[3
,4
]}

Grunske, Lars ^{[1
]}

机构：

[1] Humboldt Univ, Comp Sci Dept, Berlin, Germany

[2] German Aerosp Ctr DLR, Berlin, Germany

[3] Humboldt Univ, Phys Dept, Berlin, Germany

[4] Humboldt Univ, IRIS Adlershof, Berlin, Germany

来源：

2019 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SCIENCE (SE4SCIENCE 2019) | 2019年

关键词：

Verification and Validation; Scientific Software; Computational Materials Science; DESIGN; RISK; FAIR;

D O I：

10.1109/SE4Science.2019.00010

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Many fields of science rely on software systems to answer different research questions. For valid results researchers need to trust the results scientific software produces, and consequently quality assurance is of utmost importance. In this paper we are investigating the impact of quality assurance in the domain of computational materials science (CMS). Based on our experience in this domain we formulate challenges for validation and verification of scientific software and their results. Furthermore, we describe directions for future research that can potentially help dealing with these challenges.

引用

页码：25 / 32

页数：8

共 63 条

[31] Software Engineering for Computational Science: Past, Present, Future
Johanson, Arne N.
Hasselbring, Wilhelm
[J]. COMPUTING IN SCIENCE & ENGINEERING, 2018, 20 (02) : 90 - 109
[32] Testing scientific software: A systematic literature review
Kanewala, Upulee
Bieman, James M.
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2014, 56 (10) : 1219 - 1232
[33] Kanewala U, 2013, 2013 5TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR COMPUTATIONAL SCIENCE AND ENGINEERING (SE-CSE), P48, DOI 10.1109/SECSE.2013.6615099
[34] Scientific software development viewed as knowledge acquisition: Towards understanding the development of risk-averse scientific software
Kelly, Diane
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2015, 109 : 50 - 61
[35] SOFTWARE ENGINEERING FOR SCIENTISTS
Kelly, Diane
Smith, Spencer
Meng, Nicholas
[J]. COMPUTING IN SCIENCE & ENGINEERING, 2011, 13 (05) : 7 - 10
[36] Scientific Software Testing: Analysis with Four Dimensions
Kelly, Diane
Thorsteinson, Stefan
Hook, Daniel
[J]. IEEE SOFTWARE, 2011, 28 (03) : 84 - 90
[37] Examining random and designed tests to detect code mistakes in scientific software
Kelly, Diane
Gray, Robert
Shao, Yizhen
[J]. JOURNAL OF COMPUTATIONAL SCIENCE, 2011, 2 (01) : 47 - 56
[38] Five Recommended Practices for Computational Scientists Who Write Software
Kelly, Diane
Hook, Daniel
Sanders, Rebecca
[J]. COMPUTING IN SCIENCE & ENGINEERING, 2009, 11 (05) : 48 - 52
[39] Khodabandelou G., 2014, P 11 WORKING C MININ, DOI [10.1145/2597073.2597101, DOI 10.1145/2597073.2597101]
[40] Khodabandelou G., 2013, RES CHALL INF SCI RC, P1, DOI DOI 10.1109/RCIS.2013.6577728

← 1 2 3 4 5 6 7 →