HOL-TestGen

HOL-TestGen permite să scrie specificațiile de testare în logica de ordin superior (HOL). Se poate (semi-) se împarte în mod automat spațiul de intrare, care rezultă în cazuri abstracte de testare, iar selecta automat datele de testare concrete.
Generarea automata a hamurilor de testare (în SML) este susținută, și folosind o interfață limbă străină, implementări în limbile arbitrare (de exemplu, C) pot fi testate.
HOL-OCL este un software gratuit; îl puteți redistribui și / sau modifica în conformitate cu termenii GPL. Proiectul HOL-TestGen este dezvoltat de către Achim D. Brucker și Burkhart Wolff

Caracteristici :.

• specificațiile de testare a scrie in mai înaltă logica de ordinul (HOL)
• (semi-) se împarte în mod automat spațiul de intrare, care rezultă în cazurile abstracte de test
• alege în mod automat datele de testare concrete
• genera automat script-uri de testare (în SML)
• folosind o interfață limbă străină, implementări în limbile arbitrare (de exemplu, C) pot fi testate.

Ce este nou în această versiune:

• Această versiune a fost portat la Isabelle / HOL 2011-1.
• s-au adăugat exemple noi.
• Interfața utilizator jEdit pe bază de este acum folosit în mod implicit.