HOL-TestGen

HOL-TestGen 1.7.0

HOL-TestGen дозволяє записати специфікації тестів в області вищого порядку логіки (HOL). Це може (підлозі) автоматичне розбиття вхідного простору, в результаті чого абстрактних тестів, і автоматично вибрати конкретні дані випробувань.Автоматична генерація...