JML单位 swMATH ID: 475 软件作者： 丹尼尔·齐默尔曼（Daniel M.Zimmerman）。；林克什·纳格莫蒂 描述： 为面向对象系统设计单元测试套件是一项艰苦、重复且容易出错的任务，对测试套件的自动生成进行了大量研究。生成单元测试的一种方法是使用正式的类和方法规范作为测试预言，并使用开发人员提供的数据值自动运行它们；对于用Java建模语言编写的具有正式规范的Java代码，该方法体现在JMLUnit工具和它所基于的JUnit测试框架中。虽然JMLUnit在由熟练的开发人员使用时可以提供合理的测试覆盖率，但它有几个缺点，包括测试期间内存使用过度，以及需要手动编写大量代码来生成非原始测试数据对象。在本文中，我们描述了JMLUnitNG，它是JMLUnit的一个基于TestNG的继承者，可以使用提供的仅为基本类型的测试数据自动生成和执行数百万个测试，而不会消耗过多的内存。我们还比较了JMLUnitNG和原始JMLUnit之间的测试覆盖率。 主页： http://www.eecs.ucf.edu/~leavens/JML2/docs/man/jmlunit.html 相关软件： OpenJML（打开JML）;凯伊;JUnit公司;JML公司;艾菲尔;标识哈希映射;JBMC公司;生锈;VCC（沃尔沃汽车公司）;卡杜克乌斯;工具链;WhyML公司;吉隆坡机场;阿斯特拉维尔;规格#;Coq公司;电子稳定控制系统/Java;CBMC公司;Why3号机组;简化 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 JMLUnit：下一代。 Zbl 1308.68032号丹尼尔·齐默尔曼（Daniel M.Zimmerman）。;林克什·纳格莫蒂 2011 全部的 前5名11位作者引用 1 马丁·德·波尔（Martin J.M.de Boer）。 1 斯蒂恩·德古乌 1 林赛·格罗夫斯。 1 Christian Antonius荣格 1 乔纳斯·克拉姆罗斯 1 林克什·纳格莫蒂 1 大卫·J·皮尔斯。 1 马蒂亚斯·乌尔布里奇 1 马克·乌廷 1 亚历山大·维格尔 1 丹尼尔·齐默尔曼（Daniel M.Zimmerman）。 连载1篇 1 自动推理杂志 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文