Testkomplexität beherrschen (Treffen der GI-Fachgruppe TAV)
Veranstaltungsort
Zukunftsmeile33102 Paderborn
Beschreibung
Die Fachgruppe TAV (Test, Analyse und Verifikation von Software) der GI tauscht sich aus zu den Themen dynamisches Testen, statische Analysen und formale Techniken (z.B. symbolische Interpretation und formale Korrektheitsbeweise) der Programmprüfung sowie Fragen des Testmanagements. Bei diesem Treffen geht es um Testkomplexität: Komplexe Software, Einsatz von Modellen, Umgang mit Komplexität.