Top Qualitätssicherung und Testen von Software Für Achim D. Brucker and Burkhart Wolff

HOL-TestGen erlaubt es, Testspezifikationen in höherer Ordnung Logik schreiben (HOL). Es kann (halb-) automatisch den Eingangsraum zu unterteilen, was zu abstrakten Testfälle und konkrete Testdaten automatisch zu wählen.Automatische Generierung von...