朱尼特

一种简单实用的单元测试方法:JML和JUnit方法。编写单元测试代码是一项劳动密集型的工作,因此它通常不会作为编程的一个组成部分来完成。然而,单元测试是提高软件正确性和质量的一种实用方法;例如,极限编程方法依赖于频繁的单元测试。在本文中,我们提出了一种新的方法,使编写单元测试更容易。它使用正式规范语言的运行时断言检查器来确定方法是否正常工作,从而自动编写单元测试oracle。这些预言可以很容易地与手写的测试数据相结合。程序员不是编写测试代码,而是编写形式化的规范(例如,前置和后置条件)。这使得程序员的任务更简单,因为规范比等价的测试代码更简洁和抽象,因此更具可读性和可维护性。此外,通过在测试中使用规范,可以快速发现规范错误,因此规范更有可能为其他工具提供有用的文档和输入。我们已经使用Java建模语言(JML)和JUnit测试框架实现了这个想法,但是这种方法可以很容易地用其他形式化规范语言和单元测试工具的组合来实现。


zbMATH中的参考文献(参考文献32条,1标准件)

显示第1到第20个结果,共32个。
按年份排序(引用)
  1. Xavier Devroey,Alessio Gambi,Juan Pablo Galeotti,RenéJust,Fitsum Kifetew,Annibale Panichella,Sebastiano Panichella:JUGE:Java单元测试生成器基准测试的基础设施(2021)阿尔十四
  2. 安德烈·阿库里;胡安·帕布罗·加洛蒂;博格丹·马库列斯库;张曼:EvoMaster:基于搜索的系统测试生成工具(2020)不是zbMATH
  3. 罗德里格斯,伊斯梅尔;罗莎·维拉多,费尔南多;鲁比奥,费尔南多:将复杂性引入正式测试(2020)
  4. Fernanda Madeiral,Simon Urli,Marcelo Maia,Martin Monperrus:Bears:用于自动程序修复研究的可扩展Java Bug基准(2019)阿尔十四
  5. Naji Dmeiri,David A.Tomassi,Yichen Wang,Antara Bhowmick,Yen Chuan Liu,Premkumar Devanbu,Bogdan Vasilescu,Cindy Rubio González:BugSwarm:挖掘和持续增长可复制故障和修复数据集(2019年)阿尔十四
  6. 阿伦特,沃尔夫冈;奇门托,耶斯·莫里西奥;佩斯,戈登J。;Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性:理论与工具(2017)
  7. 胡安F佩雷斯;丹尼尔·F·席尔瓦;胡里奥·C·Góez;安德烈·萨米恩托;安德烈·萨米恩托·罗梅罗;Raha Akhavan Tabatabaei;Germanán Riaño:算法972:jMarkov:马尔可夫链建模的集成框架(2017)不是zbMATH
  8. 佩雷斯,胡安F。;席尔瓦,丹尼尔F。;Góez,胡里奥C。;萨米恩托,安德烈;萨米安托·罗梅罗,安德烈;阿哈万·塔巴塔巴贝,拉哈;Riaño,Germanán:算法972:jMarkov:马尔可夫链建模的集成框架(2017)
  9. 韦斯特加德,迈克尔;法赫兰,德克;Stahl,Christian:Grade/CPN:教学中测试有色Petri网模型的工具和时序逻辑(2013)
  10. 基尼里,约瑟夫R。;齐默尔曼,丹尼尔M。;Hyland,Ralph:通过验证一致性测试测试测试库规范(2012)ioport公司
  11. 希尔,詹姆斯·H。;Varshneya,Pooja:使用系统执行跟踪评估分布式实时和嵌入式系统测试正确性(2011)ioport公司
  12. 齐默尔曼,丹尼尔M。;Nagmoti,Rinkesh:JMLUnit:下一代(2011)
  13. 杜博斯克,莱迪;莱德鲁,伊夫;莫里,奥利弗;猎户座,凯瑟琳;Lanet,Jean-Louis:重用JML规范,专门用于测试验证,反之亦然:案例研究(2010)ioport公司
  14. Frydrych,Dalibor:在有限元法实现中使用模块剪刀。(2010年)
  15. 切塔利、布提纳;Nguyen,Quang Huy:分层嵌入式C代码的自动测试实验(2009)ioport公司
  16. 杜博斯克,莱迪;中村,Masahide;燕,本;井上弘:使用形式化方法提高家庭网络系统实施的信心:案例研究(2009)ioport公司
  17. 卡莱尔,马修;Dubois,Catherine:焦点环境中的功能测试(2008)
  18. 怀特,朱尔斯;施密特,道格拉斯·C。;Gokhale,Aniruddha:通过模型驱动的工程和模拟简化自主企业JavaBean应用程序(2008)ioport公司
  19. 恩格尔,基督徒;Hähnle,Reiner:从正式证明生成单元测试(2007)
  20. 海克尔,灵子;Lohmann,Marc:反应式信息系统的模型驱动开发:从图转换规则到JML契约(2007)ioport公司