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

Angebote / Angebote:

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 u¿ber 25 Jahren gibt es in der "Gesellschaft fu¿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 zuru¿ck in die Vergangenheit, sondern schaut auch nach vorne. Dabei beleuchtet es in weiteren Beiträgen aktuelle und zuku¿nftige Ausrichtungen des Testens in Theorie und Praxis. Eine Auswahl der Themen: Softwarequalität zwischen hohem Ziel und hohler FloskelLeistungsfähige neue TestverfahrenQuality Engineering fu¿r das Internet der DingeComplete Model-based TestingModellbasiertes Security-TestenTest- und Qualitätsmanagement in agilen ProjektenTesten mit automatisch bestimmten EingabegrammatikenThe Future of Software Testing