Willkommen bei der Fachgruppe Test, Analyse und Verifikation von Software

Die Fachgruppe TAV (Test, Analyse und Verifikation von Software) ist eine Einrichtung des Fachbereichs Softwaretechnik der Gesellschaft für Informatik e.V. (GI). Die Schwerpunkte der Arbeit der Fachgruppe sind dynamisches Testen, statische Analysen und formale Techniken (z.B. symbolische Interpretation und formale Korrektheitsbeweise) der Programmprüfung sowie Fragen des Testmanagements.

Die Fachgruppe arbeitet eng mit dem German Testing Board (GTB) und dem Arbeitskreis Softwarequalität & -Fortbildung e.V. (ASQF e.V.) zusammen. Die drei Organisationen bündeln so die Expertise im Bereich Software-Qualität und vergeben darüberhinaus gemeinsam den Deutschen Preis für Software-Qualität (DPSQ). Die Fachgruppe unterstützt den Podcast Software Testing als Community-Partner.