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 条
  • [1] The Oracle Problem in Software Testing: A Survey
    Barr, Earl T.
    Harman, Mark
    McMinn, Phil
    Shahbaz, Muzammil
    Yoo, Shin
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2015, 41 (05) : 507 - 525
  • [2] VERIFYING AND VALIDATING SOFTWARE REQUIREMENTS AND DESIGN SPECIFICATIONS
    BOEHM, BW
    [J]. IEEE SOFTWARE, 1984, 1 (01) : 75 - 88
  • [3] Carbogno C., 2018, APS M
  • [4] Carver J.C., 2016, Software Engineering for Science
  • [5] Carver JC, 2007, PROC INT CONF SOFTW, P550
  • [6] Navigating the Maze: The Impact of Configurability in Bioinformatics Software
    Cashman, Mikaela
    Cohen, Myra B.
    Ranjan, Priya
    Cottingham, Robert W.
    [J]. PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 757 - 767
  • [7] PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs
    Chan, W. K.
    Cheung, S. C.
    Ho, Jeffrey C. F.
    Tse, T. H.
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (03) : 422 - 434
  • [8] Chapman Brad, 2016, COMMON WORKFLOW LANG
  • [9] Chen T. Y., 1998, TECH REP
  • [10] An innovative approach for testing bioinformatics programs using metamorphic testing
    Chen, Tsong Yueh
    Ho, Joshua W. K.
    Liu, Huai
    Xie, Xiaoyuan
    [J]. BMC BIOINFORMATICS, 2009, 10
1234567