Symstra公司

Symstra:使用符号执行生成面向对象单元测试的框架面向对象的单元测试由方法调用序列组成。调用的行为取决于方法的参数和调用开始时接收方的状态。相应地,生成单元测试涉及两个任务:生成生成生成相关接收器对象状态的方法序列和生成相关的方法参数。本文提出了Symstra框架,该框架利用带符号参数的方法序列的符号执行来实现两个测试生成任务。本文定义了面向对象程序的符号状态和新颖的状态比较。给定被测类的一组方法和序列长度的界,Symstra系统地探索类的对象状态空间,并基于状态比较对这种探索进行修剪。实验结果表明,Symstra生成的单元测试比现有基于具体方法参数的测试生成技术更快地实现更高的分支覆盖率


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

显示第1至18个结果,共18个。
按年份排序(引用)

  1. 福、香;鲍威尔,迈克尔·C。;班特吉,迈克尔;李忠志:简单线性字符串约束(2013)
  2. 苏库马兰,斯里哈里;斯雷尼瓦斯,阿肖克;梅塔,拉文德拉:依赖条件图:程序点之间依赖的精确条件(2010)
  3. 阿南德,萨斯瓦;Păsăreanu,科丽娜s。;维瑟,威廉:《抽象的符号执行》(2009)ioport公司
  4. 科布尔特,米哈尔;Ψerý,Ondřej:UnitCheck:单元测试和模型检查相结合(2009)ioport公司
  5. 库利亚明,V。五、 :程序系统验证方法集成(2009)
  6. Păsăreanu,科丽娜s。;Visser,Willem:软件测试与分析符号执行的新趋势调查(2009)ioport公司
  7. 帕斯捷尔纳克,本尼;蒂斯贝罗维奇,什穆埃尔;Yehudai,Amiram:GenUTest:一个单元测试和模拟方面生成工具(2009)ioport公司
  8. 阿库里,安德里亚;姚欣:面向对象容器的基于搜索的软件测试(2008)ioport公司
  9. 泽宾,R。S、 。;库利亚明,V。五、 。;波诺马伦科。五、 。;鲁巴诺夫。五、 。;切尔诺五世。S、 :广泛健全性测试生成自动化(2008)
  10. 贝克特,伯恩哈德;Gladisch,Christoph:结合基于演绎的规范提取和黑盒测试的白盒测试(2007)
  11. 可以,阿苏·贝汀;布尔坦、特夫菲克;林德瓦尔,米凯尔;卢克斯,本杰明;Topp,Stefan:通过并发控制器验证设计消除空中交通控制软件中的同步错误(2007)ioport公司
  12. 恩格尔,基督徒;Hähnle,Reiner:从正式证明生成单元测试(2007)
  13. 西蒙斯,安东尼J。H、 :Jwalk:一个通过设计内省和用户交互对Java类进行惰性、系统化测试的工具(2007年)ioport公司
  14. 西蒙斯,安东尼J。H、 :Jwalk:一个通过设计内省和用户交互对java类进行惰性、系统化测试的工具(2007)ioport公司
  15. 小牛肉,马格斯;厄尼茨,朱汉;Campbell,Colin:具有抽象数据结构的模型程序中的状态同构(2007)
  16. 阿南德,萨斯瓦;Păsăreanu,科丽娜s。;Visser,Willem:带有抽象包含检查的符号执行(2006)
  17. 哥德弗洛德,帕特里斯;klaund,Nils:软件模型检查:在抽象或具体中搜索计算(2005)
  18. 谢涛;马里诺夫,达科;舒尔特,沃尔夫拉姆;Notkin,David:Symstra:使用符号执行生成面向对象单元测试的框架(2005)