HOL-TestGen 1.7.0
HOL-TestGen允许一个写在高阶逻辑测试规范（HOL）。它可以（半）自动分区输入空间，从而抽象测试用例，并自动选择具体的测试数据。自动生成测试工具（在SML）的支持，并使用外国语言界面，在任意的语言（例如C）的实施方式可以进行测试。HOL-OCL是自由软件;你可以重新分配和/或修改根据GPL的条款。 HOL-TestGen项目由阿希姆D.布鲁克和伯克哈特沃尔夫发展 特点： ...
最近浏览的软件
True Folder Explorer .NET 22 Sep 15
QtWeb Internet Browser Portable 22 Jan 15
How to Build an Email List 22 Jan 15
-
DBACentral for MySQL 22 Sep 15
-
ASUS H170M-PLUS Broadcom WLAN Driver for Windows 8.1 64-bit 15 Dec 15
123 Video Encryption Magic 4 Dec 15
Advanced Data Generator InterBase Edition 1 Jan 15
VBAcodePrint7 26 Jan 15
-
Sony Vaio VPCEH2DFX/B Firmware Extension Parser Device Driver for Windows 7/Windows 8 64-bit 15 Mar 16
-
Acer Aspire 5338 Broadcom WLAN Driver for Windows 7 17 Mar 16