Beitrag von SIGS DATACOM GmbH

"Mit Tests kann ich Fehlerfreiheit nicht nachweisen. Es gibt einfach bestimmte Domänen, da brauche ich aber die Fehlerfreiheit und eben auch den Nachweis." - Lars Hupel, Bianca L. In der neuesten Episode des Software Testing Podcasts feiern wir die World Quality Week. Ich spreche mit mit Lars und Bianca darüber, wie man Fehlerfreiheit in Software mathematisch beweisen kann und welche Tools dabei helfen. Bianca erklärt uns anhand von Beispielen aus der Finanz- und Automobilbranche, warum bestimmte Systeme absolute Fehlerfreiheit benötigen. Lars ergänzt das Gespräch mit Einblicken in formale Methoden und wie sie in der Praxis angewendet werden. Ein besonders interessantes Thema war, wie KI uns bei der Beweisführung unterstützen kann. Highlights: * In Bereichen wie Finanzen und Medizin ist Fehlerfreiheit entscheidend, und formale Methoden können dabei helfen. * Formale Methoden nutzen mathematische Modelle und Beweisassistenten, um Softwarefehler zu vermeiden. * Microsoft nutzt automatisierte Tools, um Treiber auf Fehlerfreiheit zu überprüfen. * Formale Methoden sind keine Allheilmittel, sondern ergänzen andere Testmethoden. * Änderungen in der Software können zu aufwendigen Anpassungen in den Beweisen führen. Was meinst Du dazu? Was haltet ihr von der Idee, formale Methoden zur Beweisführung in der Softwareentwicklung einzusetzen? Habt ihr schon Erfahrungen damit gemacht? Schreib gerne in die Kommentare. Dankeschön an die Community-Partner des Podcasts: A4Q - Alliance for Qualification | ASQF e.V. | Austrian Testing Board | dpunkt.verlag | German Testing Board e.V. | German Testing Day | GI Fachgruppe TAV | Hanser Verlag | iSQI DACH | ISTQB® - International Software Testing Qualifications Board | iX-Magazin | OOP Konferenz | Software-QS-Tag | SIGS DATACOM GmbH | skillsclub | Software Quality Days | Swiss Testing Board (STB) Giesecke+Devrient Active Group GmbH