Szoftver screenshot:
Szoftver adatai:
Változat: 1.7.0
Feltöltés dátuma: 20 Feb 15
Fejlesztő: Achim D. Brucker and Burkhart Wolff
Engedély: Ingyenes
Népszerűség: 15
HOL-TestGen lehetővé teszi, hogy írjon vizsgálati előírások keretében magasabb fokú logikák (HOL). Ez a (félig) automatikusan felosztani a bemeneti teret, ami absztrakt vizsgálati esetek, és automatikusan kiválasztja a konkrét vizsgálati adatok.
Automatikus generációs vizsgálati hevederek (SML) támogatja, és egy idegen nyelvű kezelőfelület, a végrehajtás tetszőleges nyelven (pl C) lehet tesztelni.
HOL-felsővezeték szabad szoftver; terjeszthető és / vagy módosíthatja a feltételeket a GPL. HOL-TestGen projekt által kifejlesztett Achim D. Brucker és Burkhart Wolff.
Tulajdonságok :
- write vizsgálati előírások a felső- érdekében logika (HOL)
- (félig) automatikusan felosztani a bemeneti teret, ami absztrakt vizsgálati esetek
- automatikusan kiválasztja a konkrét vizsgálati adatok
- automatikusan generál teszt scriptek (SML)
- A külföldi nyelvű kezelőfelület, a végrehajtás tetszőleges nyelven (pl C) lehet tesztelni.
Mi az új ebben a kiadásban:
- Ez a verzió volt elérhető Isabelle / HOL 2011-1.
- New példát adunk.
- A jEdit-alapú felhasználói felület most az alapértelmezett.
Hozzászólás nem található