HOL-TestGen 1.7.0

HOL-TestGen允许一个写在高阶逻辑测试规范（HOL）。它可以（半）自动分区输入空间，从而抽象测试用例，并自动选择具体的测试数据。自动生成测试工具（在SML）的支持，并使用外国语言界面，在任意的语言（例如C）的实施方式可以进行测试。HOL-OCL是自由软件;你可以重新分配和/或修改根据GPL的条款。 HOL-TestGen项目由阿希姆D.布鲁克和伯克哈特沃尔夫发展 特点： ...