Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Dieser Vortrag wird online stattfinden, da Herr Prof. Grunske zu diesem
Zeitpunkt im Forschungsfreisemester in Singapur ist. Eine Zoom-Einladung finden Sie hier. (nur mit Informatik-Account)

Zusammenfassung:
Scientific software plays a crucial and ever-growing role in various scientific fields by facilitating complex modeling, simulation, exploration, and data analysis. However, ensuring the correctness and reliability of these software systems presents significant challenges due to their computational complexity, their explorative nature, and the lack of explicit specifications or even documentations. Traditional testing methods fall short in validating scientific software comprehensively -- in particular for explorative software and simulation tools suffer from the Oracle Problem. In fact, Segura et al. (Metamorphic testing: Testing the untestable. IEEE Software, 37(3):46–53, 2018) show that scientific and explorative software systems are inherently difficult to test. In this context, metamorphic testing is a promising approach that addresses these challenges effectively. By exploiting the inherent properties within scientific problems, metamorphic testing provides a systematic means to validate the accuracy and robustness of scientific software while avoiding the challenges posed by the Oracle Problem. This thesis highlights the importance of metamorphic testing in scientific software, its ability to uncover subtle bugs, enhance result consistency, and show approaches for a more rigorous and systematic software development process in the scientific domain. In particular, this thesis presents GeoMetaMorph as an automatic tool to exploit recurring invariant behavior using geometrically representable input data.