Qualitätssicherung in .NET mit Code Contracts

Datum und Ort

1. - 2.10.2012

1.10.2012: CAB H53

2.10.2012: CAB H52

Kursleitung und Referent

Prof. Dr. Peter Müller

Zielgruppe

Der Kurs richtet sich an Software-Entwickler, Tester, Software-Architekten,
Verantwortliche für Software-Qualität sowie deren Vorgesetzte.

Kursziel

Die Teilnehmer erlernen die Verwendung von .NET Code Contracts zum
Dokumentieren, Testen und Analysieren von .NET Applikationen. Die im
Kurs behandelten Techniken und Werkzeuge erhöhen sowohl die
Produktivität der Entwickler als auch die Qualität der entwickelten
Software.

Kurzbeschreibung

Software-Entwickler verwenden einen grossen Teil ihrer Arbeitszeit auf
Qualitätssicherung, insbesondere auf die Erstellung von Testfällen,
die Auswertung von Testläufen und die Behebung von Fehlern. Mit dem
.NET Framework 4 bietet Microsofts .NET Plattform nun eine umfassende
Unterstützung für die Qualitätssicherung von .NET Applikationen.
Grundlage dafür sind Code Contracts, systematische Assertions, die es
Entwicklern erlauben wichtige Eigenschaften ihrer Programme präzise zu
dokumentieren. Die Werkzeugunterstützung für Code Contracts beinhaltet
eine Prüfung der Code Contracts zur Laufzeit, ein Tool zur
automatischen Generierung von Testfällen sowie eine statische Analyse,
die viele Programmierfehler bereits zur Compile-Zeit
identifiziert. Während die ersten beiden Werkzeuge die Testabdeckung
erhöhen und den Aufwand für die Erstellung von Testfällen deutlich
senken, verbessert die statische Analyse die Software Qualität, indem
sie die Code Contracts unabhängig von konkreten Tests für alle
möglichen Programmausführungen prüft. Dieser Kurs bietet eine
Einführung in Code Contracts und die dazugehörigen Werkzeuge.

Kurskosten

CHF 1'500

Anmeldung

Direkt beim Departement Informatik