 | Hol-testgenHOL-Testgen - Testcase-generator voor specificatie gebaseerde eenheidstests |
| Download nu | |
Hol-testgen Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Prijs:
- FREE
- Naam uitgever:
- Achim D. Brucker and Burkhart Wolff
- Uitgever website:
- http://www.brucker.ch/projects/hol-ocl/index.en.html
- Besturingssystemen:
- Mac OS X
- Bestandsgrootte:
- 499 KB
Hol-testgen Tags
Hol-testgen Beschrijving
Hol-Testgen - Testcase-generator voor specificatie gebaseerde eenheidstests Hol-Testgen is een testcase-generator voor specificatie gebaseerde eenheidstests. Hol-Testgen is gebouwd op de bovenkant van de specificaties en de stellingbegripomgeving Isabelle / Hol. Er zijn enkele belangrijke kenmerken van "Hol Testgen": · Schrijf testspecificaties in hogere orderlogica (HOL) · (semi-) automatisch de invoer ruimte, wat resulteert in abstracte testcases · automatisch selecteren Concrete testgegevens · Automatisch genereren van testscripts (in SML) · Gebruik van een interface voor vreemde taal, implementaties in willekeurige talen (bijv. C) kunnen worden getest.Requirements: · Isabellenote: Hol-Testgen is Gelicentieerd en verstrekt onder de voorwaarden van een BSD-stijllicentie.
Hol-testgen Gerelateerde software
Ukspeechsynthesizer
ukspeechsynthesizer - Gratis wrapper-klasse rond de koolstoftoesprogramma ...
19 KB
Uri-ontsnapping
Decodepercentage ontsnapte URI (URL) -snaren en coderende snaren in procent ontsnappen aan snaren ...
279 KB
Kamaelia
Algemeen Component Framework voor alle programmeurs en onderhoudbare ontwikkeling ...
4.2 MB