测试者

TestEra:一个新的Java程序自动测试框架,我们介绍了TestEra,一个新的Java程序自动测试框架。TestEra在给定的输入大小内自动生成所有非同构的测试用例,并评估正确性标准。作为一种使能技术,TestEra使用Alloy(一阶关系语言)和Alloy分析器。使用TestEra检查一个程序涉及到在Alloy中为程序的正确性标准建模,并指定Alloy模型实例和Java数据结构之间的抽象和具体化转换。TestEra生成具体的Java输入作为违反正确性标准的反例。本文讨论了TestEra对几个案例研究的分析:操作单链链表和红黑树的方法、命名体系结构和合金分析器的一部分。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH中的参考文献(参考文献22条)

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. 米利切维奇,亚历山达;附近,约瑟夫P。;康恩苏克;丹尼尔·杰克逊:合金*:通用高阶关系约束求解器(2019)
  2. 色情杂志,索拉维;尼尔森,蒂姆;Krishnamurthi,Shriram:CompoSAT:模型发现的规范指导覆盖(2018)
  3. 刘少英:基于测试的定理形式化验证及其在软件规范验证中的应用(2016)
  4. 穆罕默德巴希尔;Al Yahya,Tasniem Nasser:partial Max SAT精确方法分类法(2013)
  5. 本戈里亚、缬草;阿吉尔,拿撒勒诺;马里诺夫,达科;Frias,Marcelo F.:在repOK上使用覆盖标准来减少有界穷举测试集(2012)ioport公司
  6. 霍尔,西尔文;维勒梅尔,罗杰;奥马尔切尔考伊;Deca,Rudy:数据感知自动序列生成的逻辑方法(2012)
  7. 杨国伟;库尔希德,萨尔弗拉兹;Kim,Miryung:使用轻量级形式化方法的基于规范的测试修复(2012)ioport公司
  8. 阿吉尔,拿撒勒诺M。;本戈里亚,缬草S。;弗里亚斯,马塞洛F。;Galeotti,Juan P.:在结构输入的有限穷尽黑箱测试生成中纳入覆盖标准(2011年)ioport公司
  9. 戈皮纳特,迪维亚;马利克,穆罕默德祖拜尔;Khurshid,Sarfraz:使用SAT的基于规范的程序修复(2011)
  10. 安吉莱蒂,达米亚诺;朱西格里亚,恩里科;纳里扎诺,马西莫;布杜,亚历山德拉;Sabina,Salvatore:在工业环境中使用有界模型检验对安全关键软件进行覆盖分析(2010)ioport公司
  11. 哈伯梅尔,彼得;Iosif,拉杜;Vojnar,Tomš:基于自动机的树更新程序验证(2010)
  12. 阿库里,安德里亚;姚欣:面向对象容器的基于搜索的软件测试(2008)ioport公司
  13. Zybin,R.S。;库利亚明,V.V。;波诺马伦科,A.V。;鲁巴诺夫。;Chernov,E.S.:广义健全性测试生成的自动化(2008)
  14. 博伊拉盖,查尔斯;昆卡,维克托;托马斯·威斯;泽伊,凯伦;Rinard,Martin:在Jahob数据结构验证系统中使用一阶定理证明器(2007)
  15. 恩格尔,基督徒;Hähnle,Reiner:从正式证明生成单元测试(2007)
  16. Simons,anthonyj.H.:Jwalk:一个通过设计内省和用户交互对Java类进行懒惰、系统化测试的工具。(2007年)ioport公司
  17. Simons,Anthony J.H.:Jwalk:一个通过设计内省和用户交互对java类进行懒惰、系统化测试的工具(2007)ioport公司
  18. 阿尔索,西里尔;巴林格,霍华德;艾伦·戈德伯格;哈维伦德,克劳斯;库尔希德,萨尔弗拉兹;劳瑞,迈克;帕萨雷努,科瑞娜;罗şu,格里戈;森,古实;维瑟,威廉;华盛顿,里奇:结合测试用例生成和运行时验证(2005)
  19. 阿库达斯,康斯坦丁;库尔希德,萨尔弗拉兹;马里诺夫,达科;Rinard,Martin:关系推理的集成模型检验和定理证明(2004)
  20. 库尔希德,萨尔弗拉兹;Marinov,Darko:TestEra:使用sat对Java程序进行基于规范的测试(2004)ioport公司