Veröffentlichungen
Mai 2015
So Mo Di Mi Do Fr Sa
    12
3456789
10111213141516
17181920212223
24252627282930
31 
DBApp-Suche

Application datasets: 19707 Version datasets: 132346
DBApp v1.06
Copyright © demon
Werbung
  HOL-TestGen

HOL-TestGen ermöglicht das Schreiben von Test-Spezifikationen in Logik höherer Ordnung. Es kann halbautomatisch den Eingaberaum partitionieren, was in abstrakten Testfällen resultiert, und automatisch konkrete Testdaten auswählen. Automatische Generierung von Testgerüsten (in SML) wird unterstützt, und mit einer Schnittstelle für andere Sprachen können Implementationen in beliebigen Sprachen getestet werden. (non)


 

Homepage: http://www.brucker.ch/projects/hol-testgen/
Rating:
Lizenz: BSD-Lizenz
Kategorie: Konsole

ChangeLog:
[...]ttp://www.brucker.ch/projects/hol-testgen/download/ChangeLog 
 

.: Hauptzweig
2012-10-19  1.7  Ersteintrag  mehr...  
 
  Angaben ändern   Neue Version melden