軟件截圖:
HOL-TestGen允許一個寫在高階邏輯測試規範（HOL）。它可以（半）自動分區輸入空間，從而抽象測試用例，並自動選擇具體的測試數據。
自動生成測試工具（在SML）的支持，並使用外國語言界面，在任意的語言（例如C）的實施方式可以進行測試。
HOL-OCL是自由軟件;你可以重新分配和/或修改根據GPL的條款。 HOL-TestGen項目由阿希姆D.布魯克和伯克哈特沃爾夫發展
特點：
- 在Higher-寫測試規範為了邏輯（HOL）
- 在（半）自動分區輸入空間，導致抽象測試用例
- 在自動選擇具體的測試數據
- 在自動生成的測試腳本（在SML）
- 在使用外國語言界面，任意語言（如C）實現可以進行測試。
什麼在此版本中是新的：
- 在這個版本移植到伊莎貝爾/ HOL 2011-1。
- 在添加新的例子。
- 在該jEdit的基於Web的用戶界面現在默認使用。
評論沒有發現