动态程序分析方法与工具-四川大学.pdfVIP

软件学院 2010 级毕业论文 动态程序分析方法与工具 1043111036 陈伟 动态程序分析方法与工具 目录 动态程序分析方法与工具 1 1. 前言 2 1.1 研究背景 2 1.2 基本概念 3 1.3 研究价值和意义 4 1.4 研究路线 4 2. 研究方法 4 2.1 检索方案 4 2.2 系统文献综述法 6 2.3 文献计量法 7 3. 文献计量分析 9 3.1 年限分析 9 3.2 期刊分布 9 3.3 载文比分析 11 3.4 期刊类型分布 11 3.5 作者分析 12 3.6 关键词分析 13 4. 动态程序分析 15 4.1 动态程序分析方法 15 4.2 动态程序分析工具 26 4.3 动态程序分析在软件测试中的应用 27 5. 未来研究展望 27 5.1 错误定位新理论和新技术的引入与集成 27 5.2 程序算法检测新的发展形态 27 5.3 软件运行平台的新发展 27 6. 结束语 27 参考文献 28 软件学院 2010 级毕业论文 动态程序分析方法与工具 1043111036 陈伟 摘要 ： 关键字 ：程序分析、动态程序分析、文献计量方法 1. 前言 1.1 研究背景 软件是一种十分特殊的人工制品：它是人类“智力活动”的产物，是对客观 事物的虚拟反应，是知识的固化和凝练 [1] 。迄今为止，软件已有了 50 多年发展 历史，但对于一个给定的软件， 我们目前还不能完全了解它的特性。 软件分析就 是以软件特性为关注点的研究领域。 经过这么多年的发展， 目前软件生命周期中 的许多活动（分析，设计，实现，测试，部署，维护等）都离不开分析技术。尽 管软件分析的能力有限，但它仍然是软件领域十分有用的技术。 下面将谈到两个概念， “验证”和“确认”。“验证”是要回答“软件制品是 否与软件需求规约一致”的问题，而“确认”则是回答“软件的特性是否符合用 户需求”。在英文中， “验证”是“D