Gesellschaft für Informatik e.V.

Fachbereich Softwaretechnik

Fachgruppe Test, Analyse und Verifikation von Software (TAV)


Most of the information is provided in German only. Links to English pages are colored in red / italic.
Letzte Änderung/Last update: 07. September 2011

Allgemeines
General
Arbeitskreise
Working Groups
Neuigkeiten News
Nächstes Treffen
Next Meeting
TAV-Junior
TAV-Junior
Veröffentlichungen
Publications
Bisherige Treffen der FG
Previous Meetings

Interessante Links:

interesting Links:
Andere Fachgruppen (weltweit und in der GI)
Other SIG's (worldwide and in Germany)
Zeitschriften
Journals / Magazines
Informationen zum Themengebiet
additional Information
Konferenzhinweise
Conferences
   
Leitungsgremium
Chairmanship
   

 


Allgemeines / General

Die Fachgruppe TAV (Test, Analyse und Verifikation von Software) ist eine Einrichtung im Fachbereich 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.

Ins Leben gerufen wurde der (damalige) Arbeitskreis Test, Analyse und Verifikation von Software (TAV) der Fachgruppe Softwaretechnik durch Andreas Spillner und Peter Liggesmeyer, das erste Treffen fand im Juni 1991 statt. Das 8. Treffen im Oktober 1995 war dann das Gründungstreffen der Fachgruppe TAV. Im Jahr 2010 wurde das 30. TAV-Treffen in München durchgeführt.

Die Fachgruppe TAV stellt im wesentlichen ein Diskussionsforum dar, zu dem alle an den genannten Gebieten Interessierte herzlich eingeladen sind. An den regelmäßig ein- bis zwei Mal im Jahr stattfindenden 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).


[Zurück zur Inhaltsübersicht]


Arbeitskreise / Working Groups

In der Fachgruppe sind derzeit folgende Arbeitskreise aktiv:

Diese AKs treffen sich während der FG-Treffen und ggf. an zusätzlichen Terminen (s. AK-Seiten)

Nicht mehr aktiv sind folgende AKs:

Ergebnisse des AK Begriffsdefinitionen
Qualitätstechniken für Systeme und Anlagen
Prüfen und Testen in der Praxis


[Zurück zur Inhaltsübersicht]


Neuigkeiten - News


Nächstes Treffen

Das 32. Treffen der Fachgruppe findet am Donnerstag und Freitag, den 17. und 18. November 2011 in Berlin bei Fraunhofer FIRST statt. Lokaler Organisator vor Ort ist Dr. Stefan Weißleder.

TAV 32

Testen von geschäftskritischen und sicherheitskritischen
Anwendungen

 

 

 

Gesucht werden speziell Beiträge zu den folgenden Themen; Einreichungen sind aber auch zu allen anderen Bereichen von Test, Analyse und Verifikation von Software erwünscht:

Das Treffen setzt sich wie folgt zusammen:

Akzeptierte Beiträge werden als Kurzvorträge mit 10 min., Fokusvorträge mit 30 min. oder Langvorträge mit 45 min. Vortrag und anschließender Diskussion präsentiert. Kurzfassungen aller akzeptierten Beiträge werden in den Softwaretechnik-Trends (STT) der Gesellschaft für Informatik veröffentlicht. Alle Einreichungen sind als PDF-Dokument ohne Seitenzahlen einzureichen an andrej.pietschker@gi-de.com

Fristen und Termine

23.9.2011 Einreichungsfrist für Beiträge (max. 4 Seiten im STT-Format, s.U.)
10.10.2011 Benachrichtigung über die Annahme
28.10.2011 Anmeldefrist zur Teilnahme
4.11.2011 Einreichungsfrist für Vortragsfolien
17.+ 18.11.2011 Treffen in Berlin
25.11.2011 Abgabe der überarbeiteten Kurzfassungen (max. 2 S.) für die STT

Die Formatierungsrichtlinien für die STT sind abrufbar unter

http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html

Veranstaltungsort

Fraunhofer FIRST
Kekuléstraße 7
12489 Berlin
http://www.first.fraunhofer.de/

Organisation vor Ort

Dr. Stephan Weißleder (Fraunhofer FIRST)
stephan.weissleder@first.fraunhofer.de

 

Übernächstes Treffen

Das 33. TAV-Treffen findet aller Voraussicht findet im Mai/Juni 2012 statt.

Themenvorschläge für die inhaltliche Ausgestaltung werden wie immer auf dem kommenden Treffen gesammelt.

Wenn Sie eine Möglichkeit zum "Hosting" eines zukünftigen TAV-Treffens in Ihrer Firma o.Ä. sehen, würden wir uns über Ihre Nachricht sehr freuen.

[Zurück zur Inhaltsübersicht]


GTB unterstützt Doktoranden mit dem Programm "TAV Junior" /

GTB supports Ph.d. students with the new program "TAV Junior"

TAV-Junior ist eine Initiative zur Förderung des wissenschaftlichen Nachwuchses im Bereich Software-Test, die vom "German Testing Board e.V." (GTB) in Zusammenarbeit mit der GI-Fachgruppe "Test, Analyse und Verifikation von Software" (TAV) getragen wird.

Im Rahmen des TAV-Junior lobt das GTB zu den im jährlichen Wechsel ein- oder zweimal stattfindenden TAV-Treffen Stipendien für Promovenden im Bereich Software-Test aus, so dass sie an einem TAV-Treffen teilnehmen und in Erfahrungsaustausch und Diskussion mit den Experten treten können. Zudem sind die Promovenden aufgefordert, den Stand ihrer Arbeit in einem ca. 30-Minütigen Kurzbeitrag zu präsentieren.

Das TAV-Junior-Stipendium umfasst die Reisemittel für die Teilnahme an einem TAV-Treffen und folgt den Bestimmungen des Hochschulreisegesetzes. Den Stipendiaten werden nach Aufwand bis zu 500,-EUR ihrer Reisekosten erstattet. Die Abrechnung der Reisekosten erfolgt über das Backoffice des GTB. Das nächste TAV-Junior-Stipendium wird für das 32. TAV-Treffen im November 2011 in Berlin vergeben. Bewerbungen für das Stipendium sind bis zum 30. September 2011 unter

https://www.easychair.org/conferences/?conf=tavj32

einzureichen und sollen

umfassen.

Die Auswahl der Stipendiaten erfolgt durch die TAV-Junior-Jury.
Rechtsmittel sind ausgeschlossen.


Veröffentlichungen / Publications

Bisher sind neben den Kurzfassungen der Beiträge, die auf den Treffen der FG gehalten wurden (veröffentlicht in den Softwaretechnik-Trends , s. bisherige Treffen), auch zwei Bücher und ein Themenheft erschienen.

A. Spillner, P. Liggesmeyer (Gastherausgeber):
Aktuelle Entwicklungen im Softwaretest
Themenheft der Zeitschrift Informatik -Forschung und Entwicklung, Springer Verlag, Heft 3/2000

M. Müllerburg, A. Spillner, P.Liggesmeyer (Hrsg):
Test, Analyse und Verifikation von Software
GMD-Bericht Nr. 260, R. Oldenbourg-Verlag, 1996, ISBN 3-486-23845-0

Themenheft des Software Quality Journal (London: Chapmann & Hall; Vol. 4, No. 4, December 1995, ISSN 0963-9314) (Editorial and Contents)

P. Liggesmeyer, H.M. Sneed, A. Spillner (Hrsg.):
Testen, Analysieren und Verifizieren von Software
Informatik aktuell, Springer-Verlag, 1992, ISBN 3-540-55860-8 (Vorwort und Inhaltsverzeichnis )

[Zurück zur Inhaltsübersicht]


Bisherige Treffen der FG / previous Meetings

Bisher sind neunundzwanzig Treffen durchgeführt worden.

[Zurück zur Inhaltsübersicht]


Leitungsgremium der FG TAV - Chairmanship

Dr. Andrej Pietschker (Sprecher)
Giesecke & Devrient GmbH
Prinzregentenstraße 159, 81677 München
Fon +49 89 4119-8281
Fax +49 89 4119-9099
mail andrej.pietschker"at"gi-de.com

Prof. Dr. Stephan Jacobs (Stellvertretender Sprecher)
Fachhochschule Aachen
Eupener Straße 70, 52066 Aachen
Fon +49 241 6009 51914
mail jacobs"at"fh-aachen.de

Dr. Uwe Hehn
method park Software AG
Wetterkreuz 19a
91058 Erlangen
mail uwe.hehn"at"methodpark.de

Hans-Josef Eisenbach
SBM GmbH
fon +49 241 990087-0
mail h.eisenbach"at"sbm.de


Peter Wagner
Robert Bosch GmbH / CR/AEA
Postfach 30 02 20
D-70442 Stuttgart
fon +49 (0) 711 811 24644
mail peter.wagner"at"de.bosch.com


Interessante Links / interesting Links

(ohne Gewähr - Korrekturhinweise bitte an M. Winter)


Hiermit verlassen Sie die Fachgruppe TAV! Auf Wiedersehen!


Links zu anderen GI und europäischen Fachgruppen zum Thema Testen und verwandten Themen / other SIG's (worldwide and in Germany) :

Fachgruppen und Arbeitskreisen der GI / other SIG's ( in Germany) :

Weitere Test-Gruppen in Deutschland / other SIG's (in Germany) :

Europäische und außereuropäische Fachgruppen / other SIG's (worldwide) :



[Zurück zur Inhaltsübersicht]


Zeitschriften / Journals / Magazines :

[Zurück zur Inhaltsübersicht]


Links in die Welt / additional Information :


[Zurück zur Inhaltsübersicht]


Verantwortlich für die Gestaltung der Seite: M. Winter (Seitenentwurf: A. Spillner)