Zum Hauptinhalt springen

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.

Aktuelle Mitteilungen

Wir freuen uns auf interessante Vorträge, einen spannenden Workshop und produktive Arbeitskreistreffen am 15./16. Februar 2024 in Gummersbach. Die…
weiterlesen
Wer auf der letzten TAV anwesend war, wusste es schon: Richard Seidl hat mit einigen der Teilnehmer über ihre Vortragsthemen oder über andere Themen…
weiterlesen
Das 49. Treffen der Fachgruppe TAV der Gesellschaft für Informatik (GI) am 15. und 16. Februar 2024 in Gummersbach steht unter dem Motto: Qualität…
weiterlesen
Der Deutsche Preis für Software-Qualität 2023 wurde vergeben! Das Kuratorium freut sich, Prof. Dr.-Ing. Peter Liggesmeyer für seine langjährigen und…
weiterlesen
Wir freuen uns auf interessante Vorträge, einen spannenden Workshop und produktive Arbeitskreistreffen. Alle Info und Anmeldung zum Treffen auf der Ve…
weiterlesen
Seit heute gibt es einen neuen Podcast "Software-Testen" von Richard Seidl. Die TAV unterstützt als Community Partner.
weiterlesen
DPSQ 2023 - Aufruf zur Einreichung von Vorschlägen bis zum 30.4.2023
weiterlesen
Das 48. Treffen der Fachgruppe TAV der Gesellschaft für Informatik (GI) am 15. und 16. Juni 2023 in Paderborn steht unter dem Motto: Softwarequalität…
weiterlesen
Das Jahr neigt sich dem Ende zu und wir schauen auch in der TAV auf das nächste Jahr. Das nächste Treffen wird am 15. und 16. Juni 2023 in Paderborn…
weiterlesen
Dehla Sokenou (Sprecherin), Mario Friske (stellv. Sprecher), Baris Güldali und David Faragó bilden das neue Leitungsgremium der TAV.
weiterlesen

Nächste Veranstaltungen

  • Kaiserlautern
    14.11. - 15.11.2024 Fachgruppe TAV