朱尼特

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


zbMATH中的参考文献(参考 30篇文章,1标准件)

显示第1到第20个结果,共30个。
按年份排序(引用)
  1. Rodríguez,Ismael;Rosa Velardo,Fernando;Rubio,Fernando:将复杂性引入正式测试(2020)
  2. Fernanda Madeiral,Simon Urli,Marcelo Maia,Martin Monperrus:Bears:用于自动程序修复研究的可扩展Java Bug基准(2019)第十四章
  3. Naji Dmeiri,David A.Tomassi,Yichen Wang,Antara Bhowmick,Yen Chuan Liu,Premkumar Devanbu,Bogdan Vasilescu,Cindy Rubio González:BugSwarm:挖掘和持续增长可复制故障和修复数据集(2019年)第十四章
  4. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  5. 胡安·F·佩雷斯;丹尼尔·F·席尔瓦;朱利奥·C·Góez;安德烈·萨米恩托;安德烈·萨米恩托·罗梅罗;拉哈·阿哈万·塔巴塔贝埃;格尔曼·里亚诺:算法972:jMarkov:马尔科夫链建模的集成框架(2017年)不是zbMATH
  6. Pérez,Juan F.;Silva,Daniel F.;Góez,Julio C.;Sarmiento,Andres;Sarmiento Romero,Andres;Akhavan Tabatabaei,Raha;Riaño,Germanán:算法972:jMarkov:马尔可夫链建模的集成框架(2017)
  7. Westergaard,Michael;Fahland,Dirk;Stahl,Christian:Grade/CPN:用于测试教学中有色Petri网模型的工具和时序逻辑(2013)
  8. Kiniry,Joseph R.;Zimmerman,Daniel M.;Hyland,Ralph:《通过验证一致性测试测试测试库规范》(2012)ioport公司
  9. Hill,James H.;Varshneya,Pooja:使用系统执行跟踪评估分布式实时和嵌入式系统测试正确性(2011)ioport公司
  10. Daniel M.Zimmerman;Nagmoti,Rinkesh:JMLUnit:下一代(2011)
  11. 用于测试的Catherine-Maules-du、Jean-Levier和Yves-Ly-du-De-De-De-De-De-Louis-du-Leving-et;用于验证的Catherine-Maules-du-De;反之亦然)ioport公司
  12. Frydrych,Dalibor:在有限元法实现中使用模块剪刀。(2010年)
  13. Chetali,Boutheina;Nguyen,Quang Huy:分层嵌入式C代码的自动测试实验(2009)ioport公司
  14. du Bousquet,Lydie;Nakamura,Masahide;Yan,Ben;Igaki,Hiroshi:使用形式化方法提高家庭网络系统实现的信心:案例研究(2009)ioport公司
  15. Carlier,Matthieu;Dubois,Catherine:焦点环境中的功能测试(2008)
  16. White,Jules;Schmidt,Douglas C.;Gokhale,Aniruddha:通过模型驱动的工程和模拟简化自主企业Java Bean应用程序(2008)ioport公司
  17. Engel,Christian;Hähnle,Reiner:从形式证明生成单元测试(2007)
  18. Heckel,Reiko;Lohmann,Marc:反应式信息系统的模型驱动开发:从图转换规则到JML契约(2007)ioport公司
  19. 基于francisco的Java静态分析和解释:基于francisco的静态类分析(2007)
  20. Simons,Anthony J.H.:Jwalk:一个通过设计内省和用户交互对java类进行懒惰、系统化测试的工具(2007)ioport公司