3 Arten von Whiteboxtests(Kontrollfuss, Datenfluss, Bedingungen)
Kontrollfluss: Warum keine Pfadüberdeckung und was stattdessen? → Boundary-Interior und anhand von Beispiel mit Verzeweigung und Schleife ähnlich dem Beispiel in der Vorlesung erklären.
Datenfluss → All-Uses erklären
Bedingung: MC/DC anhand von Beispiel mit drei atomaren Prädikaten erklären; Wie viele Testfälle mindestens benötig, um MCDC zu erreichen?
Wie gehts weiter, um Zuverlässigkeit zu erreichen? Güte der Testfälle → Mutationstesten → Äquivalente Mutanten aussortieren!
Zuverlässigkeitsbewertung: → Man möchte MTTF oder Versagenswahrscheinlichkeit schätzen.
Wie wählt man Testfälle für statistisches Testen? Zufällig aber anhand eines Operationsprofils, keine Testfälle aus systematischen Tests.
Operationsprofil erklären: Mit welcher Wahrscheinlichkeit verwendet ein Nutzer ein bestimmte Funktion? → Für Funktionen die häufig verwendet werden, werden mehr Testfälle ausgewählt. → Keine Formeln oder Namen für Wachstumsmodelle verlangt, nur Verständnis darüber, wie Zuverlässifkeitswachstum funktioniert.
Bei mir war die Prüfungzeit hier zu Ende, aber wenn noch Zeit ist kommt noch ein wenig zu Theorem Proving und Model Checking.