可爱的

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

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


zbMATH参考文献(参考 61篇文章 参考)

显示第1到第20个结果,共61个。
按年份排序(引用)
  1. Mesnard,Fred;Payet,Étienne;Vidal,Germanán:CLP中的混合测试(2020年)
  2. Amadini,Roberto;Andrlon,Mak;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  3. Vlček,Jan;Lukšan,Ladislav:无限多次重复的BNS更新和共轭方向在有限内存优化方法中的应用。(2019年)
  4. Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018)
  5. 劳科,亨里希;罗凯,佩特;巴纳特,吉ří:通过程序转换的符号计算(2018)
  6. Chakraborty,Supratik;Gupta,Ashutosh;Jain,Rahul:位向量公式中的匹配乘法(2017)
  7. Lampropoulos,Leonidas;Galois Wong,Diane;Hriţcu,Cătălin;Hughes,John;Pierce,Benjamin C.;Xia,Li yao:《初学者的运气:基于财产的发电机的语言》(2017)
  8. Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  9. Rusu,Vlad;Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017)
  10. 蔡军;邹鹏;马金鑫;何军:一种用于软件漏洞检测的动态污点分析工具(2016)ioport公司
  11. 丹尼尔·克罗宁;奥弗·斯特里奇曼:决策程序。算法观点(2016)
  12. Saarikivi,Olli;Heljanko,Keijo:LCTD:LLVM上C程序的测试引导证明(2016)
  13. Arusoaie,Andrei;Lucanu,Dorel;Rusu,Vlad:基于语言转换的符号执行(2015)
  14. Cavale del Cavale精选版(2015年版,Cavale traces;Cantana del Gaude)
  15. 陈亚楠;孙文宇:无约束优化的缩小滤线搜索法(2015)
  16. 段振华;步康康;田聪;张楠:基于动态符号执行的模型检验MSVL程序(2015)
  17. Gould,Nicholas I.M.;Orban,Dominique;Toint,Philippe L.:CUTEst:一个具有安全线程的约束和无约束测试环境,用于数学优化(2015)
  18. Mesnard,Fred;Payet,Étienne;Vidal,Germanán:逻辑编程中的复合测试(2015)
  19. Palacios,Adrián;Vidal,Germanán:程序仪表在函数编程中的协同执行(2015)
  20. Vlček,Jan;Lukšan,Ladislav:一种基于共轭方向思想的无约束极小化的改进有限内存BNS方法。(2015年)