Programm
Thema: Tests und Verifikation
- Mittwoch
27.09. - Donnerstag
28.09.
, (Mittwoch, 27.September 2023)
16:25 - 17:25
Mi 2.5
Test Intelligence für Architektinnen und Architekten
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…
Elmar Juergens
Paris
, (Donnerstag, 28.September 2023)
15:05 - 16:05
Do 1.4
Kugelsichere Architektur mit formalen Methoden
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…
Michael Sperber,
Lars Hupel,
Adina Aniculaesei
Madrid