Woche 8: Verifikation / Testen im Grossen

Übersicht

In dieser Woche besprechen wir, wie wir die Spezifikationen validieren, und besprechen verschiedene Methode, wie wir Programme verifizieren können. Dabei legen wir den Fokus auf das Testen ud besprechen das Testen im Grossen.

Lernziele

Die Studierenden

• können erklären, weshalb Software immer verifiziert werden muss.
• können verschiedene Methoden zur Verifikation aufzählen.
• kennen die verschiedenen Arten von Tests (also Unittest, Regressionstest, Integrationstests, etc. ) und wissen, wie diese eingesetzt werden.
• kennen die Ziele und Limitierungen von Softwaretests und können die Auswirkungen dieser Limitierungen einschätzen.
• kennen einige Vorteile und Nachteile von Bottom Up respektive Top Down integrations im Bezug auf Testen

Übungsstunde:

Im praktischen Teil der Veranstaltung werden wir mit Ihnen Ihre Designdokumente besprechen und Ihnen Feedback geben. Sie werden zudem einen Testplan für Ihre Erweiterung erstellen.

Vorlesungsslides

• Verifikation und Testen
  • Slides (Auf Adam): pdf

Hausaufgaben

• Verbessern Sie Ihr Designdokument basierend auf dem Feedback aus der Übungsstunde.
• Arbeiten sie am Testplan sowie der Implementierung der Erweiterung.