阿特根

ATGen:使用约束逻辑编程和符号执行的自动测试数据生成通过动态测试对软件进行验证和验证是软件工程中自动化进展缓慢的一个领域。尤其是测试数据的自动设计和生成大体上仍然是一项手动的活动。尽管符号执行技术作为一种自动测试数据生成的方法首次被提出时,人们给予了很高的期望。提出了一种基于约束逻辑编程和符号执行的自动测试数据生成器。在回顾符号执行技术的基础上,提出了解决目前为止阻碍符号执行在自动测试数据生成领域充分发挥潜力的技术难题的方法。ATGen是一种基于符号执行的自动测试数据生成器,采用约束逻辑编程。


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

显示结果1到11,共11个。
按年份排序(引用)

  1. 艾伯特,艾薇拉;阿里纳斯,普里;Gómez zamalola,米格尔;Rojas,Jose Miguel:通过符号执行生成测试用例:基本概念、基于CLP的实例和基于参与者的并发(2014)ioport公司
  2. 孟,孙;阿尔巴布,法哈德;艾瑟尼格,伯恩哈德K。;Aştefănoaei,Lăcrămioara;德波尔,弗兰克S。;Rutten,Jan:连接器设计:建模、优化和测试用例生成(2012)
  3. 塞尼,瓦莱里奥;Fioravanti,Fabio:使用约束逻辑编程生成测试数据结构(2012)ioport公司
  4. 安吉莱蒂,达米亚诺;朱西格里亚,恩里科;纳里扎诺,马西莫;布杜,亚历山德拉;Sabina,Salvatore:在工业环境中使用有界模型检验对安全关键软件进行覆盖分析(2010)ioport公司
  5. 降解,弗朗索瓦;施里杰弗斯,汤姆;Vanhoof,Wim:面向基于约束的测试用例生成框架(2010)
  6. Gómez zamalola,米格尔;艾伯特,艾薇拉;Puebla,germanán:CLP中面向对象命令式语言的测试用例生成(2010)
  7. 艾伯特,艾薇拉;Gómez zamalola,米格尔;Puebla,Germanán:通过CLP部分评估生成字节码的测试数据(2009)
  8. 布洛姆,约翰;海塞尔,安德斯;强森,本特;Pettersson,Paul:使用观察者自动机指定和生成测试用例(2005)
  9. 花束,法布里斯;勒格尔德,布鲁诺;Peureux,Fabien:CLPS---B---一个约束求解器,用于动画B规范(2004)ioport公司
  10. 普雷施纳,A。;斯洛,托索。;艾格斯托弗E。;Kriebel,S.:基于模型的real测试:内部卡案例研究(2003)ioport公司
  11. Meudec,Christophe:Atgen:使用约束逻辑编程和符号执行的自动测试数据生成。(2001年)ioport公司