HOL-TestGen

Software screenshot:
HOL-TestGen
Software ətraflı:
Version: 1.7.0
Tarixi Upload: 20 Feb 15
Lisenziya: Pulsuz
Məşhurluq: 15

Rating: nan/5 (Total Votes: 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 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.

Oxşar proqram

TestLink
TestLink

20 Feb 15

Bazinga
Bazinga

11 May 15

Clamity
Clamity

12 May 15

Şərh HOL-TestGen

Şərhlər tapılmadı
Şərh əlavə
Images yandırın!