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

En savoir plus sur le livre

Das Testen, Analysieren und Verifizieren von Software hat in den letzten Jahren erheblich an Bedeutung gewonnen, da die Qualitat eine immer groSSere 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 uber 25 Jahren gibt es in der "Gesellschaft fur Informatik e.V." (GI) eine Fachgruppe, die sich mit diesem Thema auseinandersetzt: TAV - Test, Analyse und Verifikation von Software. DAs 25-jahrige Bestehen dieser Fachgruppe wurde im Juni 2016 auf dem 39. TReffen in Bremen gefeiert. Dieses Buch umfasst einige der Vortrage, die auf dem Treffen gehalten wurden. ES wirft nicht nur einen Blick zuruck in die Vergangenheit, sondern schaut auch nach vorne. DAbei beleuchtet es in weiteren Beitragen aktuelle und zukunftige Ausrichtungen des Testens in Theorie und Praxis. Eine Auswahl der Themen: Softwarequalitat zwischen hohem Ziel und hohler Floskel Leistungsfahige neue Testverfahren Quality Engineering fur das Internet der Dinge Complete Model-based Testing Modellbasiertes Security-Testen Test- und Qualitatsmanagement in agilen Projekten Testen mit automatisch bestimmten Eingabegrammatiken The Future of Software Testing