Formale Methoden in der Softwarequalität - Michael Sperber, Markus Schlegel

In dieser Episode spreche ich mit Michael Sperber und Markus
Schlegel über formale Methoden – die vielleicht unbekannteste und
gleichzeitig mächtigste Technik, um Software wirklich korrekt zu
machen. Während wir beim Testen oft nur ein paar Beispiele prüfen,
ermöglichen formale Methoden Software mathematisch zu beweisen,
dass sie für alle möglichen Eingaben das Richtige tut. Die beiden
zeigen, warum funktionale Programmierung der Schlüssel dazu ist,
wie Property Based Testing der erste praktische Schritt sein kann
und weshalb dieser Ansatz nicht nur sicherer, sondern oft sogar
effizienter ist als klassische Entwicklung.