Detalii soft:
Versiune: 1.7.0
Incarca data: 20 Feb 15
Licenţă: Gratuit
Popularitate: 80
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.
Comentariile nu a fost găsit