HOL-TestGen 1.7.0

Hol-TestGen leidžia rašyti bandymų specifikacijas Aukštesnio eilės logika (hol). Jis gali (pusiau) automatiškai disko įvesties vietos, todėl teoriškai bandymų atvejus, ir automatiškai pasirenka konkrečius bandymo duomenis.Automatinis kartos bandymų pynės...