HOL-TestGen

HOL-TestGen maakt het mogelijk om testspecificaties in hogere-orde logica schrijven (HOL). Het kan (semi-) automatisch te partitioneren de input ruimte, wat resulteert in abstracte testcases, en beton testgegevens selecteert automatisch.
Automatisch genereren van de test harnassen (in SML) wordt ondersteund, en het gebruik van een vreemde taal-interface, kunnen implementaties in willekeurige talen (bijvoorbeeld C) worden getest.
HOL-OCL is vrije software; U kan het verspreiden en / of wijzigen onder de voorwaarden van de GPL wijzigen. HOL-TestGen project wordt ontwikkeld door Achim D. Brucker en Burkhart Wolff

Kenmerken .

• schrijftest specificaties in hoger- orde logica (HOL)
• (semi-) automatisch te partitioneren de input ruimte, wat resulteert in abstracte testcases
• beton testgegevens selecteert automatisch
• automatisch genereren testscripts (in SML)
• het gebruik van een vreemde taal-interface, implementaties in willekeurige talen (bijvoorbeeld C) getest kunnen worden.

Wat is nieuw in deze release:

• Deze versie werd geport naar Isabelle / HOL 2011-1.
• Nieuwe voorbeelden werden toegevoegd.
• De jEdit-gebaseerde gebruikersinterface is nu standaard gebruikt.