×

JUnit公司

swMATH ID: 7262
软件作者: 尹锡悦;Gary T.Leavens。
描述: 一种简单实用的单元测试方法:JML和JUnit方式。编写单元测试代码是劳动密集型的,因此它通常不是编程的一个组成部分。然而,单元测试是提高软件正确性和质量的实用方法;例如,极限编程方法依赖于频繁的单元测试。在本文中,我们提出了一种新的方法,使编写单元测试更加容易。它使用正式规范语言的运行时断言检查器来确定方法是否正常工作,从而自动编写单元测试预言。这些预言可以很容易地与手写的测试数据相结合。程序员不是编写测试代码,而是编写正式的规范(例如,前置和后置条件)。这使得程序员的任务更容易,因为规范比同等的测试代码更简洁和抽象,因此更具可读性和可维护性。此外,通过在测试中使用规范,可以快速发现规范错误,因此规范更有可能为其他工具提供有用的文档和输入。我们已经使用Java建模语言(JML)和JUnit测试框架实现了这个想法,但这种方法可以很容易地与形式规范语言和单元测试工具的其他组合一起实现。
主页: http://junit.org/
相关软件: JML公司;艾菲尔;电子稳定控制系统/Java;科拉特;规格#;凯伊;卡拉卡拉;简化;罗斯特拉;Daikon公司;Symstra公司;落叶松;缺陷4J;GitHub公司;Java PathFinder;贾斯;J拉舍尔;测试时代;MARCA公司;HyperStar公司
引用于: 16文件

按年份列出的引文