TowardSustainableSWforScience.pdf (4.68 MB)
Toward Sustainable Software for Science - Implementing and Assessing Systematic Testing Approaches for Scientific Software
Custom scientific software is
widely used in science and engineering.
Often such software plays an important role in critical decision making. But, due to the lack of systematic testing in
scientific software, subtle faults can remain undetected. One of the greatest challenges for
systematic testing of scientific software is the oracle
problem. We aim to develop automated testing
techniques to overcome this challenge. These techniques will be implemented in
METtester: a
publically available testing tool that can be used in the day-to-day scientific
development process