HOL-TestGen

Screenshot Software:
HOL-TestGen
Detalii soft:
Versiune: 1.7.0
Incarca data: 20 Feb 15
Licenţă: Gratuit
Popularitate: 80

Rating: 4.0/5 (Total Votes: 1)

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.

Software similare

Acovea
Acovea

3 Jun 15

tdaemon
tdaemon

11 May 15

nose-coolstorybro
nose-coolstorybro

11 May 15

Comentarii la HOL-TestGen

Comentariile nu a fost găsit
Adauga comentarii
Porniţi pe imagini!