Categorieën: Ontwikkeltools, Kwaliteitszorg en testen van software
- Startpagina
- Linux
- Ontwikkeltools
- Kwaliteitszorg en testen van software
- HOL-TestGen
- Het downloaden van ...
HOL-TestGen 1.7.0
HOL-TestGen maakt het mogelijk om testspecificaties in hogere-orde logica schrijven (HOL). Het kan (semi-) automatisch te partitioneren de input ruimte, wat resulteert in abstracte testcases, en beton testgegevens selecteert automatisch.Automatisch...