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文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 一种简单实用的单元测试方法:JML和JUnit方式。 Zbl 1049.68762号Yoonsik Cheon先生;Gary T.Leavens。 2002 全部的 前5名42位作者引用 2 Yoonsik Cheon先生 2 Gary T.Leavens。 1 沃尔夫冈·阿伦特 1 阿卡瓦恩·塔巴塔巴伊(Raha Akhavan-Tabatabaei) 1 卡利埃、马蒂厄 1 杰苏斯·莫里西奥·奇曼托 1 柯蒂斯·克利夫顿 1 大卫·R·科克。 1 凯瑟琳·杜布瓦 1 基督教恩格尔 1 德克·法兰德 1 弗莱德里奇,达利博尔 1 朱利奥·塞萨尔·戈伊兹 1 布鲁斯·L·戈尔登。 1 林赛·格罗夫斯。 1 雷纳·哈内尔 1 理查德·海托尔 1 约翰·林克 1 弗朗西斯科·洛戈佐 1 奥利弗·卢姆 1 达科·马里诺夫 1 林克什·纳格莫蒂 1 大卫·诺金 1 戈登·佩斯。 1 大卫·J·皮尔斯。 1 佩雷斯(Juan F.Pérez)。 1 日尔曼,里亚诺 1 伊斯梅尔·罗德里格斯 1 费尔南多·罗莎·维拉尔多 1 费尔南多·鲁比奥 1 克莱德·鲁比 1 安德烈斯·萨米恩托·罗梅罗 1 安德烈斯·萨米恩托 1 杰拉尔多·施奈德 1 沃尔夫拉姆·舒尔特 1 丹尼尔·席尔瓦。 1 克里斯蒂安·斯塔尔 1 马克·乌廷 1 爱德华·瓦西尔。 1 迈克尔·韦斯特加德 1 谢、陶 1 丹尼尔·齐默尔曼(Daniel M.Zimmerman)。 全部的 前5名6篇连载文章中引用 1 ACM数学软件汇刊 1 计算机程序设计科学 1 自动推理杂志 1 系统设计中的形式化方法 1 数学规划计算 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 14 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 数学教育(97-XX) 按年份列出的引文