Software kuvakaappaus:
Ohjelmiston tiedot:
Versio: 1.7.0
Lähetyksen päivämäärä: 20 Feb 15
Kehittäjä: Achim D. Brucker and Burkhart Wolff
Lupa: Vapaa
Suosio: 15
HOL-TestGen mahdollistaa yhden kirjoittaa testauseritelmät korkeakouluopetuksen kertaluvun logiikan (HOL). Se voi (puoli-) osiot automaattisesti tulon tila, jolloin abstrakti testitapaukset, ja valitsee automaattisesti konkreettisia testituloksia.
Automaattinen sukupolven testi valjaat (vuonna SML) on tuettu, ja käyttämällä vieraalla kielellä käyttöliittymä, toteutuksista mielivaltainen kielillä (esim C) voidaan testata.
HOL-AVO on vapaa ohjelmisto; voit levittää sitä edelleen ja / tai muuttaa sitä ehtojen mukaisesti GPL. HOL-TestGen hankkeessa kehitetään Achim D. Brucker ja Burkhart Wolff.
Ominaisuudet :
- kirjoitustesti eritelmät Korkeamman Jotta logiikat (HOL)
- (puoli-) osiot automaattisesti tulon tila, jolloin abstrakti testitapauksia
- valitsee automaattisesti konkreettisia testituloksia
- automaattisesti testiskriptit (in SML)
- käyttää vieraan kielen käyttöliittymä, toteutuksista mielivaltainen kielillä (esim C) voidaan testata.
Mitä uutta tässä julkaisussa:
- Tämä versio monille Isabelle / HOL 2011-1.
- Uusi esimerkkejä lisättiin.
- jEdit-pohjainen käyttöliittymä on nyt käytössä oletuksena.
Kommentteja ei löytynyt