HOL-TestGen

HOL-TestGen gjør det mulig å skrive testspesifikasjoner i høyere-ordens logikk (HOL). Det kan (semi-) automatisk partisjonere inngangs plass, noe som resulterer i abstrakte testtilfeller, og velg konkrete testdata automatisk.
Automatisk generering av test seletøy (i SML) støttes, og ved hjelp av et fremmed språk grensesnitt, kan implementeringer i vilkårlige språk (f.eks C) skal testes.
HOL-OCL er fri programvare; du kan redistribuere det og / eller modifisere det under vilkårene i GPL. HOL-TestGen Prosjektet er utviklet av Achim D. Brucker og Burkhart Wolff

Egenskaper .

• skrive testspesifikasjoner i høyere- ordens logikk (HOL)
• (semi-) automatisk partisjonere inngangs plass, noe som resulterer i abstrakte testtilfeller
• velg konkrete testdata automatisk
• automatisk generere testskript (i SML)
• ved hjelp av et fremmed språk grensesnitt, implementeringer i vilkårlige språk (f.eks C) kan testes.

Hva er nytt i denne utgaven:

• Denne versjonen ble portet til Isabelle / HOL 2011-1.
• Nye eksempler ble lagt til.
• jEdit-basert brukergrensesnitt brukes nå som standard.