Screenshot der Software:
Softwarebeschreibung:
Version: 1.7.0
Upload-Datum: 20 Feb 15
Entwickler: Achim D. Brucker and Burkhart Wolff
Lizenz: Frei
Popularität: 80
HOL-TestGen erlaubt es, Testspezifikationen in höherer Ordnung Logik schreiben (HOL). Es kann (halb-) automatisch den Eingangsraum zu unterteilen, was zu abstrakten Testfälle und konkrete Testdaten automatisch zu wählen.
Automatische Generierung von Testrahmen (in SML) unterstützt wird, und unter Verwendung einer Fremdsprache-Schnittstelle können Implementierungen in beliebigen Sprachen (zB C) getestet werden.
HOL-OCL ist freie Software; sie darf weiterverteilt und / oder verändert werden unter den Bedingungen der GPL. HOL-TestGen Projekt wird von Achim D. Brucker und Burkhart Wolff entwickelt
Eigenschaften .
- Schreibtestspezifikationen in Höher Um Logiken (HOL)
- (halb-) automatisch den Eingangsraum zu unterteilen, was zu abstrakten Testfälle
- Betontestdaten automatisch auswählen
- Testskripten (in SML) automatisch
- verwenden, eine Fremdsprache-Schnittstelle, Implementierungen in beliebigen Sprachen (zB C) getestet werden können.
Was ist neu in dieser Pressemitteilung:
- Diese Version wurde an Isabelle / HOL 2011-1 unterstützt.
- New Beispiele wurden hinzugefügt.
- Die jEdit-basierte Benutzeroberfläche ist nun standardmäßig verwendet wird.
Kommentare nicht gefunden