Test, Analyse und Verifikation von Software – gestern, heute, morgen

Das Buch zum 25-jährigen Bestehen der Fachgruppe TAV der GI

Herausgegeben von
Andreas Spillner, Mario Winter und Andrej Pietschker

Das Testen, Analysieren und Verifizieren von Software hat in den letzten Jahren erheblich an Bedeutung gewonnen, da die Qualität eine immer größere Rolle beim Einsatz von Software spielt. Auch durch die Anwendung von agilen Vorgehensweisen bei der Erstellung von Software ist das Testen zunehmend relevanter geworden.
Seit über 25 Jahren gibt es in der "Gesellschaft für Informatik e.V." (GI) eine Fachgruppe, die sich mit diesem Thema auseinandersetzt: TAV – Test, Analyse und Verifikation von Software. Das 25-jährige Bestehen dieser Fachgruppe wurde im Juni 2016 auf dem 39. Treffen in Bremen gefeiert.
Dieses Buch umfasst einige der Vorträge, die auf dem Treffen gehalten wurden. Es wirft nicht nur einen Blick zurück in die Vergangenheit, sondern schaut auch nach vorne. Dabei beleuchtet es in weiteren Beiträgen aktuelle und zukünftige Ausrichtungen des Testens in Theorie und Praxis.

Eine Auswahl der Themen:

• Softwarequalität zwischen hohem Ziel und hohler Floskel
• Leistungsfähige neue Testverfahren
• Quality Engineering für das Internet der Dinge
• Complete Model-based Testing
• Modellbasiertes Security-Testen
• Test- und Qualitätsmanagement in agilen Projekten
• Testen mit automatisch bestimmten Eingabegrammatiken
• The Future of Software Testing

Spillner, A.; Winter, M.; Pietschker, A. (Hrsg.). Test, Analyse und Verifikation von Software – gestern, heute, morgen. dpunkt.verlag, 2017. ISBN Print: 978-3-86490-470-7; ISBN PDF: 978-3-96088-381-4.

1. Grußwort
   Peter Liggesmeyer
2. Vorwort
   Andreas Spillner, Mario Winter, Andrej Pietschker
3. Softwarequalität zwischen hohem Ziel und hohler Floskel
   Jochen Ludewig
4. Leistungsfähige neue Testverfahren
   Joachim Wegener, Peter Kruse
5. Testen mit automatisch bestimmten Eingabegrammatiken
   Matthias Höschele, Alexander Kampmann, Andreas Zeller
6. The Future of Software Testing
   Tilo Linz, Bernd Flessner
7. Modellbasiertes Security-Testen
   Jürgen Großmann, Martin Schneider, Johannes Viehmann
8. Complete Model-based Testing
   Jan Peleska, Wen-ling Huang, Felix Hübner
9. Lazy On-the-fly Model-Based Testing
   David Faragó
10. Test- und Qualitätsmanagement in agilen Projekten
    Baris Güldali, Masud Fazal-Baqaie
11. Quality Engineering für das Internet der Dinge
    Ina Schieferdecker, Axel Rennoch, Michael Wagner
12. Test Case Selection Strategy for Self-Organization Mechanisms
    Benedikt Eberhardinger, Hella Seebach, Dominik Klumpp, Wolfgang Reif
13. Testen damals und heute: Was hat sich in 25 Jahren (nicht) geändert?
    Rudolf van Megen
14. Anfänge der Testautomation
    Harry Sneed
15. Testen objektorientierter Programme – eine Retrospektive
    Dehla Sokenou

Leseproben und weiterführende Informationen finden sich hier.