Fachgruppe Test,
Analyse und
Verifikation von
Software (TAV)

Einleitung

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 stellt im wesentlichen ein Diskussionsforum dar, an dem alle Interessierten gerne teilnehmen können, die in den genannten Gebieten tätig sind. Bei den regelmäßigen Treffen der Fachgruppe kommen Personen aus Praxis und Forschung zusammen und stellen ihre aktuellen Probleme, Ergebnisse und Forschungsvorhaben zur Diskussion.

Ziel der Fachgruppe ist es, die immer noch vorhandene Diskrepanz zwischen Forschung und Praxis auf dem Tätigkeitsfeld der Fachgruppe zu verringern und darüber hinaus Anregungen zu neuen Arbeiten im Testbereich zu geben.

Aufrufe zu Einreichungen für die oder Einladungen zu den Fachgruppentreffen sowie aktuelle Informationen werden über den Mailverteiler der Fachgruppe TAV versendet.
Weitere Informationen und Anmeldung zum TAV-Mailverteiler.

Antragsformulare für die Mitgliedschaft in der GI oder der Fachgruppe (assoziiertes Mitglied, pdf).