Das Programm als praktische Übersicht
Zum vergrößern einfach auf die Grafik klicken. Alternativ gibt es hier auch einen PDF-Download.
Thema: Tests und Verifikation
- Mittwoch
27.09. - Donnerstag
28.09.
Wenn ein System "historisch gewachsen" ist, gilt das oft auch für die Tests: Die laufen viel zu lange, finden aber zu wenig Fehler.
Ursache ist, dass diese Test-Suites oft gleichzeitig zu viel und zu wenig testen. Zuviel, da sie Tests enthalten, die Kosten erzeugen, aber kaum Mehrwert gegenüber ähnlichen Tests bieten. Zu wenig, da trotzdem wichtige Funktionalität ungetestet bleibt.
Im Vortrag stelle ich Analysen vor, die das aufdecken: Pareto-Optimierung von Test-Suiten und Test-Impact-Analyse finden die Tests, die genau jetzt das beste Kosten-Nutzen-Verhältnis haben; die Test-Gap-Analyse deckt auf, welche Code-Änderungen noch ungetestet sind und ob daher Tests fehlen.
Damit geben sie uns als Architekt*innen wirksame Werkzeuge an die Hand, um unsere Testarchitektur zu verstehen und zu verbessern.
Mehr Inhalte dieses Speakers? Schaut doch mal bei sigs.de vorbei: https://www.sigs.de/autor/elmar.juergens
Dr. Elmar Juergens hat über statische Codeanalyse promoviert und für seine Doktorarbeit den Software-Engineering-Preis der Ernst Denert-Stiftung erhalten. Er ist Mitgründer der CQSE GmbH und begleitet seit zehn Jahren Teams bei der Verbesserung ihrer Qualitätssicherungs- und Testprozesse. Juergens spricht regelmäßig auf Forschungs- und Industriekonferenzen und wurde für seine Vorträge mehrfach ausgezeichnet. Elmar Jürgens wurde 2015 zum Junior Fellow der Gesellschaft für Informatik ernannt.
Korrektheit sollte eigentlich eine selbstverständliche Anforderung an Software sein, schafft es dennoch selten in die offizielle Design-Dokumentation. Aber: Manche Software *muss* korrekt sein - solche, die kritische Hardware steuert, sensible Informationen schützt oder umsatzkritische Berechnungen anstellt. Leider sind Entwicklungsprozesse oft fehleranfällig, und bekanntermaßen können alle Tests der Welt nur die Anwesenheit von Fehlern zeigen, nicht aber deren Abwesenheit.
Um dafür Gewissheit zu bekommen, brauchen wir Beweise - mathematische, formale Beweise. Inzwischen gibt es aber ein großes Arsenal von Techniken und Werkzeugen, die dabei helfen, Korrektheitsbeweise zu erstellen und zu überprüfen. Der Vortrag gibt einen Überblick über Technik und Technologie.
Mehr Inhalte dieser Speaker? Schaut doch mal bei sigs.de vorbei: https://www.sigs.de/autor/michael.sperber, https://www.sigs.de/autor/lars.hupel
English below
Dr. Michael Sperber ist Geschäftsführer der Active Group GmbH. Er ist international anerkannter Experte für funktionale Programmierung. Außerdem hat er zahlreiche Fachartikel und Bücher zum Thema verfasst. Michael Sperber ist Mitbegründer des Blogs funktionale-programmierung.de und Mitorganisator der Entwicklerkonferenz BOB. Außerdem ist er einer der primären Autoren des iSAQB-Advanced-Curriculums "Funktionale Software-Architektur".
----------
Dr. Michael Sperber is CEO of Active Group in Tübingen, Germany. Mike specializes in functional architecture, and has been an internationally recognized expert in the field. He has authored many papers on the subject as well as several books. Mike is also an accredited iSAQB trainer, curator of its FUNAR and DSL curricula, and a member of iSAQB's Foundation working group.
Vortrag Teilen