Abstracts

Bekanntermaßen können alle Tests der Welt nur die Anwesenheit von Fehlern zeigen, nicht aber deren Abwesenheit.  Was also tun, wenn bestimmte Eigenschaften der Software so wichtig sind, dass Köpfe rollen, wenn sie nicht eingehalten werden?

Glücklicherweise sind in den letzten Jahren die sogenannten formalen Methoden und ihre Werkzeuge immer zugänglicher geworden.  Diese Methoden werden inzwischen auch in größeren Projekten angewandt und liefern mathematische Beweise, dass die Software kritische, explizit formulierte Anforderungen auch garantiert erfüllt.  Dafür werden die kritischen Eigenschaften in den Code aufgenommen, gegebenenfalls durch Property-Based Testing abgesichert und schließlich mit Hilfe spezieller Werkzeuge verifiziert.

Neben einer Einführung in formale Methoden gibt der Vortrag Hilfestellung beim Entscheiden, in welchem Kontext ihr Einsatz sinnvoll sind und was bei der Einführung zu beachten ist. Er gibt Antworten auf folgende Fragen:

• Wann lohnt sich der Einsatz formaler Methoden?
• Was für Voraussetzungen brauche ich in der Codebasis und im Team?
• Wie wähle ich die richtige formale Methode aus?