首页> 外文会议>Tools and Algorithms for the Construction and Analysis of Systems >RWset: Attacking Path Explosion in Constraint-Based Test Generation
【24h】

RWset: Attacking Path Explosion in Constraint-Based Test Generation

机译:RWset:基于约束的测试生成中的攻击路径爆炸

获取原文
获取原文并翻译 | 示例
获取外文期刊封面目录资料

摘要

Recent work has used variations of symbolic execution to automatically generate high-coverage test inputs [3, 4, 7, 8, 14]. Such tools have demonstrated their ability to find very subtle errors. However, one challenge they all face is how to effectively handle the exponential number of paths in checked code. This paper presents a new technique for reducing the number of traversed code paths by discarding those that must have side-effects identical to some previously explored path. Our results on a mix of open source applications and device drivers show that this (sound) optimization reduces the numbers of paths traversed by several orders of magnitude, often achieving program coverage far out of reach for a standard constraint-based execution system.
机译:最近的工作使用符号执行的变体来自动生成高覆盖率的测试输入[3、4、7、8、14]。这样的工具已经证明了发现非常细微错误的能力。然而,他们都面临的一个挑战是如何有效地处理已检查代码中的指数路径。本文提出了一种新技术,该技术通过丢弃必须具有与某些先前探索的路径相同的副作用的代码路径来减少遍历的代码路径。我们对开放源代码应用程序和设备驱动程序的混合研究结果表明,这种(声音)优化将遍历的路径数量减少了几个数量级,对于标准的基于约束的执行系统而言,通常无法实现程序覆盖。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号