HOL-TestGen - Darmowe oprogramowanie do pobrania Dla Linux W Zapewnienia jakości i testowania oprogramowania

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...