- Hjemmeside
- Linux
- HOL-TestGen
- Nedlasting av ...
HOL-TestGen 1.7.0
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...