- Strona główna
- Linux
- HOL-TestGen
- Pobieranie ...
HOL-TestGen 1.7.0
HOL-TestGen pozwala pisać specyfikacji testów w logiki wyższego rzędu (HOL). To może (pół) automatycznie podzielić przestrzeń wejściową, w wyniku abstrakcyjnych przypadków testowych, i automatycznie wybrać dane z badań konkretnych.Automatyczna generacja...