投掷

直接自动随机测试。本文提出了一种新的软件自动测试工具DART,它结合了三种主要技术:(1)使用静态源代码解析自动提取程序与其外部环境的接口;(2) 为这个接口自动生成一个测试驱动程序,它执行随机测试,以模拟程序可以运行的最一般的环境;以及(3)动态分析程序在随机测试下的行为,并自动生成新的测试输入,以系统地指导程序沿替代程序路径执行。这三种技术共同构成了直接自动随机测试,简称DART。因此,DART的主要优点是可以在任何编译的程序上完全自动地执行测试—不需要编写任何测试驱动程序或线束代码。在测试期间,DART检测标准错误,如程序崩溃、断言冲突和不终止。对几个C程序进行单元测试的初步实验是非常令人鼓舞的。

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


zbMATH中的参考文献(参考文献71篇文章)

显示第1到第20个结果,共71个。
按年份排序(引用)
  1. 梅斯纳德,弗雷德;Payet,Étienne;Vidal,Germanán:CLP中的混合物测试(2020年)
  2. 阿玛蒂尼,罗伯托;马克·安德隆;恒河,格雷姆;沙赫特,彼得;桑德加德,哈拉尔德;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  3. 克拉克,埃德蒙·M。;亨辛格,托马斯A。;维思,赫尔穆特:模型检查简介(2018)
  4. 哥德弗洛德,帕特里斯;结合Koushik和Koushik模型(2018)
  5. 朱利安,J。;库什纳连科,O。;马森,P.A。;Voiron,G.:从事件系统抽象到覆盖其状态和转换的测试生成(2018)
  6. 查克拉波蒂,上提克;古普塔,阿什图什;Jain,Rahul:位向量公式中的匹配乘法(2017)
  7. 七鳃鳗;王加洛瓦,黛安;Hriţcu,Cătălin;休斯,约翰;皮尔斯,本杰明C。;夏,李瑶:初学者的运气:基于财产的发电机的语言(2017)
  8. 卢卡努、多雷尔;拉苏,弗拉德;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  9. 阮成武;维默,韦斯特利;卡普尔,迪帕克;Forrest,Stephanie:连接程序综合和可达性:使用测试输入生成自动修复程序(2017)
  10. 拉苏,弗拉德;Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017)
  11. 巴格纳,罗伯托;卡莱尔,马修;戈里,罗伯塔;Gotlieb,Arnaud:利用二进制浮点表示进行约束传播(2016)
  12. 蔡军;邹鹏;马金鑫;何俊:软件漏洞检测的动态污点分析工具(2016)IO端口
  13. 段振华;田聪;张楠:基于规范形式的命题投影时序逻辑决策过程与模型检验方法(2016)
  14. 丹尼尔·克罗宁;斯特里奇曼:决策程序。算法观点(2016)
  15. 萨里基维,奥利;Heljanko,Keijo:LCTD:LLVM上C程序的测试引导证明(2016)
  16. 阿鲁索艾,安德烈;卢卡努、多雷尔;Rusu,Vlad:基于语言转换的符号执行(2015)
  17. 安娜,卡瓦尔康蒂;Gaudel,Marie Claude:痕迹细化的测试选择(2015)
  18. 段振华;不,康康;田聪;张楠:基于动态符号执行的模型检验MSVL程序(2015)
  19. 梅斯纳德,弗雷德;Payet,Étienne;Vidal,Germanán:逻辑编程中的复合测试(2015)
  20. 帕拉西奥斯,阿德里安;Vidal,Germanán:程序仪表在函数编程中的协同执行(2015)