Qualitätssicherung in der Softwareentwicklung - VU |
TUGraz-Online Seite: Link
Institut:
Institut für Softwaretechnologie
Zeitleiste: 0 1 2 3 4 5 6 7 8 9 0 Sem. WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS 200x 201x
LV-Nummer: 716.066
Semesterstunden: 1
mehr...
Inhalt:
Die Lehrveranstaltung fuehrt in Techniken der Qualitaetssicherung in der SW-Entwicklung ein. Ein Schwerpunkt wird auf das systematische und automatisierte Testen von Software gelegt. Zum Inhalt zählen Testabdeckungen, Testfallgenerierung mittels symbolischer Ausführung, Spezifikation und Laufzeitüberprüfung mit Hilfe von Kontrakten, modellbasiertes Testen, Mutationstesten und Review-Techniken. Zudem wird noch auf die Qualitaetskriterien von Open Source Software eingegangen. In der Übung kommen folgende Techniken zum Einsatz: Visual Studio, C#, IntelliTest (Pex), MS Code Contracts und FsCheck.
Quelle:
TUGraz-Online
|
Drop files anywhere to upload...
In diesem Fach Dateien hochladen
|
|
Fehler aufgetreten, bitte melde dies einem Administrator