动态程序分析方法与工具-四川大学(共29页).doc

精选优质文档-倾情为你奉上动态程序分析方法与工具目录摘要：关键字：程序分析、动态程序分析、文献计量方法1. 前言1.1 研究背景软件是一种十分特殊的人工制品：它是人类“智力活动”的产物，是对客观事物的虚拟反应，是知识的固化和凝练。迄今为止，软件已有了50多年发展历史，但对于一个给定的软件，我们目前还不能完全了解它的特性。软件分析就是以软件特性为关注点的研究领域。经过这么多年的发展，目前软件生命周期中的许多活动（分析，设计，实现，测试，部署，维护等）都离不开分析技术。尽管软件分析的能力有限，但它仍然是软件领域十分有用的技术。下面将谈到两个概念，“验证”和“确认”。“验证”是要回答“软件制品是否与软件需求规约一致”的问题，而“确认”则是回答“软件的特性是否符合用户需求”。在英文中，“验证”是“Do the thing right”，而用“Do the right thing”来解释“确认”。验证就是所