爬虫

PathCrawler:结合静态和动态分析自动生成路径测试。我们提出了PathCrawler原型工具,用于自动生成满足严格的全路径准则的测试用例,并对覆盖路径中的循环迭代次数进行了用户定义的限制。该原型处理C代码,并以一个典型的C函数为例说明了测试用例的生成过程,该C函数包含可变维的数据结构、迭代次数可变的循环和许多不可行路径。PathCrawler基于一种新颖的代码插入和约束求解的组合,这使得它既高效又易于扩展。它既不受静态分析的近似性和复杂性的影响,也不受函数最小化中使用启发式算法所需的执行次数的影响,也不受它们无法找到解决方案的可能性的影响。我们相信它证明了对命令式语言编码的顺序程序进行严格和系统测试的可行性。


zbMATH中的参考文献(参考文献10条,2标准条款)

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

  1. 哥德弗洛德,帕特里斯;Sen,Koushik:结合模型检查和测试(2018)
  2. 佩蒂奥特,纪尧姆;科斯马托夫,尼古拉;肉毒杆菌,伯纳德;乔尔盖蒂,阿兰;Julliand,Jacques:《测试如何帮助诊断验证失败》(2018)
  3. 安娜,卡瓦尔康蒂;Gaudel,Marie Claude:痕迹细化的测试选择(2015)
  4. 基什内尔,弗洛伦特;科斯马托夫,尼古拉;普雷沃斯托,处女座;西诺尔斯,朱利安;Yakobowski,Boris:Frama-C:软件分析视角(2015)ioport公司
  5. 金,月亮动物园;金,云浩;Choi,Yunja:flash存储平台软件多扇区读取操作的协同测试(2012)ioport公司
  6. 科斯马托夫,尼古拉;Williams,Nicky:PathCrawler自动化结构测试教程(扩展摘要)(2012)ioport公司
  7. 科斯马托夫,尼古拉;威廉姆斯,尼基;肉毒杆菌,伯纳德;收到,穆里尔;Chebaro,Omar:PathCrawler online结构测试课程。com(2012)ioport公司
  8. 切巴罗,奥马尔;科斯马托夫,尼古拉;乔尔盖蒂,阿兰;Julliand,Jacques:SANTE工具:C程序调试的值分析、程序切片和测试生成(2011)ioport公司
  9. 高德尔,玛丽克劳德:检查模型,证明程序,和测试系统(2011)ioport公司
  10. 严军;张健:一种有效的基路径测试可行路径生成方法(2008)