HOL-TestGen

HOL-TestGen 1.7.0

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