Woche 8: Verifikation / Testen im Grossen

Übersicht

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

Lernziele

Die Studierenden

• können erklären, weshalb Software immer verifiziert werden muss.
• kennen verschiedene Methoden zur Verifikation von Software.
• 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.