HOL-TestGen

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.