HOL-TestGen

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.