Hol-testgen Hol-Testgen is A is een testcase-generator voor op specificaties gebaseerde eenheidstests.
Download nu

Hol-testgen Rangschikking & Samenvatting

Hol-testgen Tags

test geval testgenerator Testcase-generator HOL-TestGen

Hol-testgen Beschrijving

Hol-Testgen is A is een testcase-generator voor specificatie gebaseerde eenheidstests. Met Hol-Testgen kan iemand testspecificaties in hogere orde-logica (HOL) schrijven. Het kan (semi-) automatisch de invoerruimte verdelen, resulterend in abstracte testcases, en automatisch betonetestgegevens selecteren. Automatische generatie testharnassen (in SML) wordt ondersteund en het gebruik van een interface voor vreemde taal, implementaties in willekeurige talen (bijv C) kan worden getest. Er zijn enkele belangrijke kenmerken van "HOL Testgen": · Schrijf testspecificaties in hogere orde-logica (HOL) · (semi-) automatisch partitie de ingangsruimte, resulterend in abstracte testcases · automatisch de betonetest selecteren Gegevens · Geven automatisch testscripts (in SML) · Gebruik van een interface met vreemde taal, implementaties in willekeurige talen (bijv. C) kunnen worden getest.hol-OCL is gratis software; U kunt het herdistribueren en / of wijzigt onder de voorwaarden van de GPL. Hol-Testgen-project is ontwikkeld door Achim D. Blucker en Burkhart Wolff.What is nieuw in deze release: · Deze release gebruikt Isabelle 2008 als het onderliggende HOL-systeem, ondersteuning biedt voor een benchmarkingskader en biedt Hol-Testgen / FW. · Hol -Testgen / FW is een domeinspecifieke testcase-generator voor specificatie-gebaseerde firewall-conformiteitstests.

Hol-testgen Gerelateerde software