Cover von Test, Analyse und Verifikation von Software - gestern, heute, morgen wird in neuem Tab geöffnet

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

Verfasser*in: Suche nach Verfasser*in Spillner, Andreas; Winter, Mario; Pietschker, Andrej
Verfasser*innenangabe: Andreas Spillner, Mario Winter, Andrej Pietschker (Hrsg.)
Jahr: 2018
Verlag: Heidelberg, dpunkt Verlag
Mediengruppe: Buch
verfügbar

Exemplare

AktionZweigstelleStandorteStatusFristVorbestellungen
Vorbestellen Zweigstelle: 07., Urban-Loritz-Pl. 2a Standorte: NT.EIT Spil / College 6c - Informatik & Computer Status: Verfügbar Frist: Vorbestellungen: 0

Inhalt

VERLAGSTEXT: / 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 Vorgehens- weisen 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 aber 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 / / / / Das Buch gibt somit einen guten Überblick über die aktuellen Themen im Bereich Softwaretest.
AUS DEM INHALT: / Softwarequalität zwischen hohem Ziel und hohler Floskel 1 / Jochen Ludewig / Leistungsfähige neue Testverfahren 15 / Joachim Wegener ¿ Peter Kruse / Testen mit automatisch bestimmten Eingabegrammatiken 33 / Matthias Höschele ¿ Alexander Kampmann ¿ Andreas Zeller / The Future of Software Testing 47 / Tilo Linz ¿ Bernd Flessner / Modellbasiertes Security-Testen 57 / Jürgen Großmann ¿ Martin Schneider ¿ Johannes Viehmann / Complete Model-based Testing 81 / Jan Peleska ¿ Wen-Iing Huang ¿ Felix Hübner / Lazy On-the-fly Model-Based Testing 93 / David Faragö / Test- und Qualitätsmanagement in agilen Projekten 111 / Baris Güldali ¿ Masud Fazal-Baqaie / Quality Engineering für das Internet der Dinge / Ina Schieferdecker - Axel Rennoch ¿ Michael Wagner / Test Case Selection Strategy for Self-Organization Mechanisms 139 / Benedikt Eberhardinger ¿ Hella Seebach ¿ Dominik Klumpp ¿ Wolfgang Reif / Testen damals und heute: / Was hat sich in 25 Jahren (nicht) geändert? 157 / Rudolf van Megen / Anfänge der Testautomation 171 / HarrySneed / Testen objektorientierter Programme - eine Retrospektive 185 / DehlaSokenou / Autorenverzeichnis 199 /

Details

Verfasser*in: Suche nach Verfasser*in Spillner, Andreas; Winter, Mario; Pietschker, Andrej
Verfasser*innenangabe: Andreas Spillner, Mario Winter, Andrej Pietschker (Hrsg.)
Jahr: 2018
Verlag: Heidelberg, dpunkt Verlag
opens in new tab
Systematik: Suche nach dieser Systematik NT.EIT
Suche nach diesem Interessenskreis
ISBN: 978-3-86490-470-7
2. ISBN: 3-86490-470-6
Beschreibung: 1. Auflage, xvi, 208 Seiten
Schlagwörter: Qualitätsmanagement, Softwareentwicklung, Softwaretest, Verifikation, Programm / Testen, Programmentwicklung, Programmentwurf, Programmtest, Software / Entwicklung, Software / Testen, Softwareentwurf, Verifizierbarkeit, Verifizierung
Suche nach dieser Beteiligten Person
Sprache: Deutsch
Mediengruppe: Buch