HOL-TestGen - Gratis nedladdning programvara För Linux I Kvalitetssäkring och testning av programvara

HOL-TestGen 1.7.0

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...