Top Kwaliteitszorg en testen van software Voor Achim D. Brucker and Burkhart Wolff

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