程序分析
罗小米
这个作者很懒,什么都没留下…
展开
-
BugBench: Benchmarks for Evaluating Bug Detection Tools
摘要 本文介绍构建bug benchmark suite BugBench的过程. 选择有代表性bug benchmark的标准 选择收集有bug的应用 初步研究这些应用和bug的特征 在benchmark上评价已有的bug检测工具 1 介绍 1.1 动机 研究者需要一个统一的研究方法展示检测工具的好坏. 构建benchmark增强了社区内的合作, 帮助社区对于面临的问题形参共识. 1.2 我...翻译 2019-04-05 13:10:38 · 395 阅读 · 1 评论 -
Change-aware Dynamic Program Analysis for JavaScript
摘要 本文基于动态分析框架Jalangi实现了轻量级的变更感知动态程序分析工具,并使用DLint和JITProf工具中的46个检测器进行评估,结果表明总体分析时间平均减少了40%,大概31%的commit能减少80% 1. 介绍 大多在通用分析框架上实现的动态分析,比如Valgrind和Jalangi,强大但重量级。通常这种分析有很大的运行时开销。大型回归测试套件的项目在动态语言中很常见,静态检测...翻译 2019-04-05 13:12:39 · 143 阅读 · 0 评论 -
Change Impact Analysis for Object-Oriented Programs
1. 介绍 变更影响分析(change impact analysis)提供了对一系列程序变更的语义影响的反馈。 这篇文章针对面向对象编程语言进行分析,小的变更会有意想不到的结果:如,向现有类添加方法会影响整个程序虚拟方法的调用 本文的方法: 将源代码的变更映射到一组原子变更(使用类、方法、域和它们的相互关系作为变更的原子单元) 此外还确定了这些原子变更的偏序关系,这些变更间的偏序关系保证程序句...翻译 2019-04-05 13:13:47 · 414 阅读 · 0 评论 -
Chianti: A Tool for Change Impact Analysis of Java Programs
1. 介绍 ***change impact analysis***可以在以下三个方面帮助开发者: 帮助开发者在不同编辑上进行实验,观察受影响的代码段,用这些信息确定选择哪个编辑和如何设置参数 通过排除确定不被给定改变影响的测试用例,减少运行回归测试需要的时间和人力 通过给定一个安全的近似给定受测试失败影响的修改范围,减少debug需要的时间和人力 本文给定的回归测试方法假设有一个回归测试集T...翻译 2019-04-05 13:14:43 · 143 阅读 · 0 评论