HOL-TestGen 1.7.0

HOL-TestGen (HOL) bir Ali sifariş məntiq test spesifikasiyası yazmaq imkan verir. Bu (yarım) avtomatik olaraq mücərrəd test hallarda nəticədə giriş yer bölüm, və avtomatik olaraq konkret test data seçə bilərsiniz.(SML-da) test dəsti Avtomatik nəsil dəstək...