Grundlagen des Softwaretestens

White box: kontrollflussbasiert: Testfälle

- konkrete Testfälle werden aus Pfaden abgeleitet
- Pfade liefern Contraints für Variablen zum durchlaufen dessen
-> COnstraint Solving (zB: Werkzeug: Solver)

Diskussion