HOL-TestGen

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 və xarici dil interfeysi istifadə edir, özbaşına dildə (məsələn, C) tətbiq test edilə bilər.
HOL-OCL pulsuz proqram; paylaşdırmaq və / və ya GPL şərtləri altında dəyişə bilərsiniz. HOL-TestGen layihəsi Achim D. Brucker və Burkhart Wolff tərəfindən hazırlanmışdır

Features . Yüksək səviyyəli in

• yazmaq test xüsusiyyətləri üçün məntiq (HOL)
• (yarım) avtomatik olaraq mücərrəd test hallarda nəticədə giriş yer bölüm
• avtomatik olaraq konkret test data seçin
• avtomatik olaraq (SML ilə) test scripts yaratmaq
• xarici dil interface istifadə edərək, ixtiyari dildə (məsələn, C) tətbiq test edilə bilər.

Yeni Bu azad nədir:

• Bu versiya Isabelle / hol 2011-1 idxal edilib.
• Yeni nümunələri əlavə edildi.
• jEdit-based user interface indi default tərəfindən istifadə olunur.