Challenges for Verifying and Validating Scientific Software in Computational Materials Science

by   Thomas Vogel, et al.

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.


page 1

page 2

page 3

page 4


How Research Software Engineers Can Support Scientific Software

We are research software engineers and team members in the Department of...

High Quality Software for Planetary Science from Space

Planetary science space missions need high quality software ed efficient...

Thematic Domain Analysis for Ocean Modeling

Ocean science is a discipline that employs ocean models as an essential ...

Interpretable and Explainable Machine Learning for Materials Science and Chemistry

While the uptake of data-driven approaches for materials science and che...

Science-Software Linkage: The Challenges of Traceability between Scientific Knowledge and Software Artifacts

Although computer science papers are often accompanied by software artif...

"Only the Initiates Will Have the Secrets Revealed": Computational Chemists and the Openness of Scientific Software

Computational chemistry is a scientific field within which the computer ...

Experience Report: Formal Methods in Material Science

Increased demands in the field of scientific computation require that al...