HOL-TestGen 1.7.0

HOL-TestGen允許一個寫在高階邏輯測試規範（HOL）。它可以（半）自動分區輸入空間，從而抽象測試用例，並自動選擇具體的測試數據。自動生成測試工具（在SML）的支持，並使用外國語言界面，在任意的語言（例如C）的實施方式可以進行測試。HOL-OCL是自由軟件;你可以重新分配和/或修改根據GPL的條款。 HOL-TestGen項目由阿希姆D.布魯克和伯克哈特沃爾夫發展 特點： ...