罗斯特拉

RoSTRA:一种用于检测冗余面向对象单元测试的框架,面向对象的单元测试由方法调用序列组成。调用的行为取决于调用开始时接收器对象和方法参数的状态。现有的用于自动生成面向对象测试套件的工具,如Java的JTestand JCRASHER,通常忽略该状态,从而产生执行相同方法行为的冗余测试,这在不增加检测故障能力的情况下增加测试时间。本文提出了一种用于检测冗余单元测试的框架RoSTRA,并在该框架中提出了五种完全自动化的技术。我们使用RoSTRA来评估和最小化由测试生成工具生成的测试套件。我们还介绍了如何将ROSTRA添加到这些工具,以避免产生冗余测试。我们已经实施了五种ROSTRA技术,并对11名受试者进行了评估。实验结果表明,JTestand JCRASHER生成了高比例的冗余测试,RoSTRA可以在不降低测试套件质量的情况下消除这些冗余测试。

这个软件也是同行评审通过期刊toms.


ZBMaCT中的参考文献(10篇文章中引用)

显示结果1至10的10。
按年份排序(引文

  1. Ghezzi,Carlo;MOCCI,安德列;Sangrigo,马里奥:无限状态抽象的合成及其在软件验证中的应用(2014)伊波尔特
  2. 阿吉雷,Nazareno M.;Bangela,Valeria S.;Fras,Marcelo F.;Galeotti,Juan P.:在结构输入的有界穷举黑箱测试生成中引入覆盖准则(2011)伊波尔特
  3. Pasternak,班尼,Tyszberowicz,舒穆尔,叶胡代,阿米兰:Gunutest:一个单元测试和模拟方面生成工具(2009)伊波尔特
  4. ARCURI,安德列;姚,昕:基于搜索的面向对象容器软件测试(2008)伊波尔特
  5. Zybin,R. S.;Kuliamin,V. V.;Ponomarenko,A. V.;Rubanov,V. V.;Chernov,FI:自动化健全测试生成的自动化(2008)
  6. Simons,Anthony J. H.:JFACK:一种通过设计内省和用户交互来对Java类进行懒惰、系统测试的工具。(2007)伊波尔特
  7. Simons,Anthony J. H.:JFACK:一种通过设计内省和用户交互来对Java类进行懒惰、系统测试的工具(2007)伊波尔特
  8. 谢,陶;Notkin,戴维:基于操作抽象的工具辅助单元测试生成与选择(2006)伊波尔特
  9. P·S·Rayu,Corina S.;PelaNek,RaDek;VISSER,WaleL:用抽象匹配和细化的具体模型检查(2005)
  10. 谢,陶;Marinov,Darko;舒尔特,沃尔夫拉姆;Notkin,戴维:SCOSTRA:用符号执行生成面向对象单元测试的框架(2005)