Starten

Kapitel 5.1 Testen und Prüfen

Motivation

Fehleraufdeckung ist das Ziel der Testverfahren

Es gibt 3 Arten von Fehlern...

Zusammenhang der Fehlerarten

Arten von Testfehlern

Fehlerklassen

Modul-/Softwaretestverfahren

Testphasen

Klassifikation testender Verfahren

Kontrollflussorientierte (KFO) Testverfahren

Definition: Zwischensprache

Definition: Strukturerhaltende Transformation

Definition: Grundblock (GB) (engl. basic block)

Definition: Kontrollflussgraph (KFG)

Kontrollflussgraph finden

Definitionen: Zweig, vollständige Pfade

Kontrollflussgraph vereinfachen

Definition: Anweisungsüberdeckung

Definition: Zweigüberdeckung

Definition: Pfadüberdeckung

Definition: Subsumieren

Zusammenfassung: KFO Teststrategien

Kapitel 4.2.1 Parallelität in Java

Koordination: Monitore & Signalisierung

Funktionsweise von Wait-Notify

Konstruktion: Konstrukte für Warten und Benachrichtigung

Koordination: Sicherheitshinweise & Faustregeln