Ein Softwaretool, die als Eingangsquelle Code, Prüfkriterien, Spezifikationen oder Datenstrukturdefinitionen annimmt; verwendet diese Eingänge eingegebenen Testdaten; und manchmal, erwartete Ergebnisse bestimmt.