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 条
  • [21] Automated metamorphic testing
    Gotlieb, A
    Botella, B
    [J]. 27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 34 - 40
  • [22] exciting: a full-potential all-electron package implementing density-functional theory and many-body perturbation theory
    Gulans, Andris
    Kontur, Stefan
    Meisenbichler, Christian
    Nabok, Dmitrii
    Pavone, Pasquale
    Rigamonti, Santiago
    Sagmeister, Stephan
    Werner, Ute
    Draxl, Claudia
    [J]. JOURNAL OF PHYSICS-CONDENSED MATTER, 2014, 26 (36)
  • [23] How Do Scientists Develop and Use Scientific Software?
    Hannay, Jo Erskine
    Langtangen, Hans Petter
    MacLeod, Carolyn
    Pfahl, Dietmar
    Singer, Janice
    Wilson, Greg
    [J]. 2009 ICSE WORKSHOP ON SOFTWARE ENGINEERING FOR COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, : 1 - +
  • [24] Ten recommendations for software engineering in research
    Hastings, Janna
    Haug, Kenneth
    Steinbeck, Christoph
    [J]. GIGASCIENCE, 2014, 3
  • [25] HOW ACCURATE IS SCIENTIFIC SOFTWARE
    HATTON, L
    ROBERTS, A
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (10) : 785 - 797
  • [26] Claims about the use of software engineering practices in science: A systematic literature review
    Heaton, Dustin
    Carver, Jeffrey C.
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2015, 67 : 207 - 219
  • [27] Global software development
    Herbsleb, JD
    Moitra, D
    [J]. IEEE SOFTWARE, 2001, 18 (02) : 16 - 20
  • [28] Testing for Trustworthiness in Scientific Software
    Hook, Daniel
    Kelly, Diane
    [J]. 2009 ICSE WORKSHOP ON SOFTWARE ENGINEERING FOR COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, : 59 - +
  • [29] Mutation Sensitivity Testing
    Hook, Daniel
    Kelly, Diane
    [J]. COMPUTING IN SCIENCE & ENGINEERING, 2009, 11 (06) : 40 - 47
  • [30] Ivanov I, 2002, 4 INT S DISTR OBJ AP, P1
1234567