爬虫

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


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

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

  1. Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018)
  2. Guillaume Petiot;尼古拉Kosmatov;Botella,Bernard;Giorgetti,Alain;Julliand,Jacques:测试如何帮助诊断验证失败(2018)
  3. 安娜州卡瓦尔坎蒂;戈德尔,玛丽·克劳德:痕迹细化的测试选择(2015年)
  4. Kirchner,Florent;Kosmatov,Nikolai;Prevosto,Virgile;Signoles,Julien;Yakobowski,Boris:Frama-C:软件分析视角(2015)ioport公司
  5. Kim,Moonzoo;Kim,Yunho;Choi,Yunja:闪存平台软件多扇区读取操作的联合测试(2012)ioport公司
  6. Kosmatov,Nikolai;Williams,Nicky:PathCrawler自动化结构测试教程(扩展摘要)(2012)ioport公司
  7. 科斯马托夫,尼古拉;威廉姆斯,尼基;博泰拉,伯纳德;罗杰,穆里尔;切巴罗,奥马尔:一堂关于PathCrawler-online.com的结构测试课程(2012)ioport公司
  8. Chebaro,Omar;Kosmatov,Nikolai;Giorgetti,Alain;Julliand,Jacques:SANTE工具:用于C程序调试的值分析、程序切片和测试生成(2011)ioport公司
  9. 高德尔,玛丽克劳德:检查模型,证明程序,和测试系统(2011)ioport公司
  10. 严军;张健:一种有效的基路径测试可行路径生成方法(2008)