可爱的

CUTE:C的一个共同单元测试引擎。在单元测试中,程序被分解成单元,这些单元是函数的集合。单元的一部分可以通过生成单个输入函数的输入进行测试。entry函数可以包含指针参数,在这种情况下,单元的输入是内存图。本文讨论了以存储图为输入的单元测试自动化问题。所使用的方法建立在以前工作的基础上,结合符号和具体的执行,更具体地说,使用这样的组合来生成测试输入来探索所有可行的执行路径。目前的工作开发了一种方法来表示和跟踪约束,这些约束捕获以内存图为输入的单元的符号执行行为。此外,还提出了一个有效的约束求解器,以便于增量生成此类测试输入。最后,介绍了实现该方法的工具CUTE,并给出了将其应用于C代码实例的结果。

这个软件也是同行评审按日记帐汤姆斯.


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

显示第1到第20个结果,共64个。
按年份排序(引用)
  1. 梅斯纳德,弗雷德;付款人,É蒂安;维达尔,细菌án: 中电联调试验(2020年)
  2. 阿玛蒂尼,罗伯托;马克·安德隆;恒河,格雷姆;沙赫特,彼得;Sø安德加德,哈拉尔德;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  3. Vl公司č埃克,一月;卢克šan,Ladislav:无限多次重复的BNS更新和共轭方向在有限内存优化方法中的应用(2019年)
  4. 哥德弗洛德,帕特里斯;Sen,Koushik:结合模型检查和测试(2018)
  5. 朱利安,J。;库什纳连科,O。;马森,P。A、 。;Voiron,G.:从事件系统抽象到覆盖其状态和转换的测试生成(2018)
  6. 劳科,亨利克;反渗透č凯,皮特;巴纳特,吉ří: 通过程序转换进行符号计算(2018)
  7. 色情杂志,索拉维;尼尔森,蒂姆;Krishnamurthi,Shriram:CompoSAT:模型发现的规范指导覆盖(2018)
  8. 查克拉波蒂,上提克;古普塔,阿什图什;Jain,Rahul:位向量公式中的匹配乘法(2017)
  9. 七鳃鳗;王加洛瓦,黛安;人权指数ţ铜,碳ătă林;休斯,约翰;皮尔斯,本杰明C。;夏,李瑶:初学者的运气:基于财产的发电机的语言(2017)
  10. 卢卡努、多雷尔;拉苏,弗拉德;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  11. 阮成武;维默,韦斯特利;卡普尔,迪帕克;Forrest,Stephanie:连接程序综合和可达性:使用测试输入生成自动修复程序(2017)
  12. 拉苏,弗拉德;Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017)
  13. 蔡军;邹鹏;马金鑫;何俊:软件漏洞检测的动态污点分析工具(2016)ioport公司
  14. 丹尼尔·克罗宁;斯特里奇曼:决策程序。算法观点(2016)
  15. 萨里基维,奥利;Heljanko,Keijo:LCTD:LLVM上C程序的测试引导证明(2016)
  16. 阿鲁索艾,安德烈;卢卡努、多雷尔;Rusu,Vlad:基于语言转换的符号执行(2015)
  17. 安娜,卡瓦尔康蒂;Gaudel,Marie Claude:痕迹细化的测试选择(2015)
  18. 陈亚南;孙文宇:无约束优化问题的缩小滤波线搜索法(2015)
  19. 段振华;不,康康;田聪;张楠:基于动态符号执行的模型检验MSVL程序(2015)
  20. 古尔德,尼古拉斯一世。M、 。;欧班,多米尼克;Toint,Philippe L.:CUTEst:一个有约束和无约束的测试环境,具有用于数学优化的安全线程(2015)