Podcast Software Testing: Korrektheit durch formale Methoden

In der neuesten Episode des Podcasts Software Testing feiert Richard Seidl die World Quality Week. Er spricht mit Bianca Lutz und Lars Hupel darüber, wie sich Fehlerfreiheit in Software mathematisch beweisen lässt und welche Tools dabei helfen.

Einblicke aus der Praxis

Bianca Lutz, Softwarearchitektin bei der Active Group GmbH, erklärt anhand von Beispielen aus der Finanz- und Automobilbranche, warum bestimmte Systeme absolute Fehlerfreiheit benötigen. Lars Hupel, Chief Evangelist bei Giesecke+Devrient, ergänzt das Gespräch mit Einblicken in formale Methoden und wie sie in der Praxis angewendet werden. Ein besonders interessantes Thema ist, wie KI bei der Beweisführung unterstützen kann.

Empfohlener redaktioneller Inhalt

Mit Ihrer Zustimmmung wird hier ein externer Podcast (Podigee GmbH) geladen.

Podcasts immer laden Podcast jetzt laden

Ich bin damit einverstanden, dass mir externe Inhalte angezeigt werden. Damit können personenbezogene Daten an Drittplattformen (Podigee GmbH) übermittelt werden. Mehr dazu in unserer Datenschutzerklärung.

Bei diesem Podcast dreht sich alles um Softwarequalität. Ob Testautomatisierung, Qualität in agilen Projekten, Testdaten oder Testteams – Richard Seidl und seine Gäste schauen sich die Dinge an, die mehr Qualität in die Softwareentwicklung bringen.

World Quality Week

Seit 2008 findet am zweiten Donnerstag im November der World Quality Day statt, um mehr Bewusstsein für Qualität zu schaffen. Seit einigen Jahren ist daraus die World Quality Week entstanden, die wir auf eine besondere Art feiern: In dieser Woche gibt es jeden Tag eine neue Folge vom Podcast rund um Qualität, Testen und Automatisierung – frei nach dem Motto: Let's Celebrate Software Quality!

Die aktuelle Ausgabe des Podcasts ist auch auf Richard Seidls Blog verfügbar: Korrektheit durch formale Methoden – Bianca Lutz, Lars Hupel. Zusätzlich steht die Folge auf YouTube bereit.

(mdo)