HOL-TestGen

HOL-TestGen laat een toets spesifikasies in Hoër-orde logika te skryf (HOL). Dit kan (semi-) outomaties verdeel die insette ruimte, wat in abstrakte toets gevalle en beton toets data outomaties kies.
Outomatiese generasie van toets bome (in SML) word ondersteun, en met behulp van 'n vreemde taal interface, kan die implementering in arbitrêre tale (bv C) getoets word.
HOL-OKL is gratis sagteware; u kan dit herversprei en / of wysig onder die voorwaardes van die GPL. HOL-TestGen projek is ontwikkel deur Achim D. Brucker en Burkhart Wolff

Eienskappe :.

• Skryf toets spesifikasies in hoër- Om logika (HOL)
• (semi-) outomaties verdeel die insette ruimte, wat in abstrakte toets gevalle
• beton toets data outomaties kies
• toetsantwoordstelle (in SML) outomaties genereer
• die gebruik van 'n vreemde taal koppelvlak, implementering in arbitrêre tale (bv C) getoets kan word.

Wat is nuut in hierdie release:

• Hierdie weergawe is oorgedra na Isabelle / HOL 2011-1.
• New voorbeelde is bygevoeg.
• Die jEdit-gebaseerde user word nou deur verstek.