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