HOL-TestGen

HOL-TestGenは（HOL）1は、高次ロジックのテスト仕様書を書くことができます。これは、（半）自動的に抽象テストケースで、その結果、入力空間を分割し、自動的に具体的なテストデータを選択することができる。
（SML）のテストハーネスの自動生成がサポートされており、外国語のインタフェースを使用して、任意の言語（例えばC）での実装を試験することができる。
HOL-OCLはフリーソフトウェアです。あなたはそれを再配布および/またはGPLの条件で修正することができます。 HOL-TestGenプロジェクトはアヒム·D.ブルッカーとバークハート·ウルフによって開発されている。

の特長の：。Higher-の

• 書き込みテスト仕様書オーダーロジック（HOL）
• （半）自動的に抽象テストケースで、その結果、入力空間を分割します。
• 自動的に具体的なテストデータを選択します。
• 自動的に（SML）のテストスクリプトを生成します。

<李>は外国語のインタフェースを使用して、任意の言語（例えばC）での実装を試験することができます。

のこのリリースのの新機能：

• このバージョンは、イザベル/ HOL 2011から1に移植されました。
• 新しい例が追加されました。
• jEditのベースのユーザインタフェースは、現在デフォルトで使用されます。