- Startseite
- Linux
- HOL-TestGen
- Herunterladen ...
HOL-TestGen 1.7.0
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...