VL9 Testen Notiz

Einführung

Strukturorientierte Tests (White-Box Tests)

• Überdeckungsgrad
  $Überdeckung (Coverage) =\frac{Anzahl überdeckter Merkmale }{Anzahl vorhandener Merkmale} $

1. Anweisungsüberdeckung (Knoten im Kontrollflussgraph)
2. Zweigüberdeckung (Kanten im Kontrollflussgraph)
3. Pfadüberdeckung (Pfade im Kontrollflussgraph)
   VollständigePfadüberdeckung wäre ideal(Schleife)

• Bedingungsüberdeckung

1. Einfache Bedingungsüberdeckung (Wahrheitswerte der Atome)
   Jede atomare Teilentscheidung muss einmal true und false sein
2. Mehrfache Bedingungsüberdeckung (Kombinationen der Atome)
   Überdeckt jede mögliche Kombination atomarer Teilentscheidungen
   bis zu 2^n Testfälle
3. Minimale Mehrfach-Bedingungsüberdeckung
   2.+die Gesamt-Bedingungmuss min. einmal true und einmal false werden
4. Modifizierte Bedingungs-/Entscheidungsüberdeckung
   Die Testfälle müssen demonstrieren, dass jede atomare Teilentscheidung den Wahrheitswert der Gesamtentscheidung unabhängig von den anderen Teilentscheidungen beeinflussenkann

Funktionsorientierte Tests (Black-Box Tests)

vor der Implementierung aufgestellt werden können

• Methoden zur Auswahl von Testfällen

1. Äquivalenzklassenbildung
   “repräsentativer Daten”
   gültigeund ungültigeKlassen
2. Grenzwertanalyse
   Wertebereiche, min/max Werte
3. Entscheidungstabellen und Klassifikationsbäume

• Randomisiertes Testen

1. Fuzzing
   randomisiertes negativ Testen
   Verwenden von Typinformation: Integers, Strings
   Verwenden von Protokollinformation: Name-Value Pairs, Block Identifier, Header Values

Ausblick: Wie wird getestet?

• JUnit
  @Before, @After, @BeforeClass, @AfterClass
• Eclipse-Plugin Emma, für Java/JUnit