HOL-TestGen

HOL-TestGen gör att man kan skriva testspecifikationer i högre ordningens logik (HOL). Det kan (halv-) automatiskt partitionera ingångsutrymmet, vilket resulterar i abstrakta testfall, och väljer konkreta testdata automatiskt.
Automatisk generering av test selar (i SML) stöds, och med hjälp av ett främmande språk gränssnitt kan implementeringar i godtyckliga språk (t.ex. C) testas.
HOL-OCL är fri programvara; du kan distribuera det och / eller modifiera det under villkoren i GPL. HOL-TestGen Projektet ägs Achim D. Brucker och Burkhart Wolff

Funktioner :.

• skrivtestspecifikationer i Higher- orderlogik (HOL)
• (halv-) automatiskt partitionera ingångsutrymmet, vilket resulterar i abstrakta testfall
• Välj konkreta testdata automatiskt
• automatiskt generera testskript (i SML)
• att använda ett främmande språk gränssnitt, implementeringar i godtyckliga språk (t.ex. C) kan testas.

Vad är nytt i den här versionen:

• Denna version portas till Isabelle / HOL 2011-1.
• Nya exempel tillkom.
• jEdit baserat användargränssnitt används nu som standard.