HOL-TestGen

Software screenshot:
HOL-TestGen
Software detaljer:
Version: 1.7.0
Upload dato: 20 Feb 15
Licens: Gratis
Popularitet: 15

Rating: nan/5 (Total Votes: 0)

HOL-TestGen tillader en at skrive testspecifikationer i højere orden logikker (HOL). Det kan (halv-) automatisk opdele input plads, hvilket resulterer i abstrakte testcases og vælge konkrete testdata automatisk.
Automatisk generering af test seletøj (i SMG) er understøttet, og bruge et fremmedsprog interface, kan implementeringer i vilkårlige sprog (fx C) testes.
HOL-OCL er fri software; du kan redistribuere det og / eller ændre det under betingelserne i GPL. HOL-TestGen projektet er udviklet af Achim D. Brucker og Burkhart Wolff

Egenskaber :.

  • Skriv testspecifikationer i understøtning af høje ordens logikker (HOL)
  • (halv-) automatisk opdele input plads, hvilket resulterer i abstrakte testcases
  • vælg konkrete testdata automatisk
  • automatisk generere test scripts (i SMG)
  • ved hjælp af et fremmedsprog interface, implementeringer i vilkårlige sprog (fx C) kan testes.

Hvad er nyt i denne udgivelse:

  • Denne version blev porteret til Isabelle / HOL 2011-1.
  • Nye eksempler blev tilføjet.
  • jEdit-baserede brugerflade bruges nu som standard.

Lignende software

SpeedTest
SpeedTest

12 May 15

DoctorJ
DoctorJ

11 May 15

Kommentarer til HOL-TestGen

Kommentarer ikke fundet
Tilføj kommentar
Tænd billeder!