软件截图:
HOL-TestGen允许一个写在高阶逻辑测试规范（HOL）。它可以（半）自动分区输入空间，从而抽象测试用例，并自动选择具体的测试数据。
自动生成测试工具（在SML）的支持，并使用外国语言界面，在任意的语言（例如C）的实施方式可以进行测试。
HOL-OCL是自由软件;你可以重新分配和/或修改根据GPL的条款。 HOL-TestGen项目由阿希姆D.布鲁克和伯克哈特沃尔夫发展
特点：
- 在Higher-写测试规范为了逻辑（HOL）
- 在（半）自动分区输入空间，导致抽象测试用例
- 在自动选择具体的测试数据
- 在自动生成的测试脚本（在SML）
- 在使用外国语言界面，任意语言（如C）实现可以进行测试。
什么在此版本中是新的：
- 在这个版本移植到伊莎贝尔/ HOL 2011-1。
- 在添加新的例子。
- 在该jEdit的基于Web的用户界面现在默认使用。
评论没有发现