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

动态程序分析方法与工具 目录 动态程序分析方法与工具 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 载文比分析 10 3.4 期刊类型分布 11 3.5 作者分析 11 3.6 关键词分析 13 4. 动态程序分析 14 4.1 动态程序分析方法 14 4.2 动态程序分析工具 26 4.3 动态程序分析在软件测试中的应用 26 5. 未来研究展望 26 5.1 错误定位新理论和新技术的引入与集成 26 5.2 程序算法检测新的发展形态 27 5.3 软件运行平台的新发展 27 6. 结束语 27 参考文献 27 摘要： 关键字：程序分析、动态程序分析、文献计量方法 前言 研究背景 软件是一种十分特殊的人工制品：它是人类“智力活动”的产物，是对客观事物的虚拟反应，是知识的固化和凝练[1]。迄今为止，软件历史还不 下面将谈到两个概念，“验证”和“确认”。“验证”是要回答“软件制品是否与软件需求规约一致”的问题，而“确认”则是回答“软件的特性是否符合用户需求”。在英文中，“验证”是“Do the thing right”，而用“Do the right thing”来解释“确认”。验证就是所谓的软件分析技术，而确认则是软件测试技术。软件分析对文档（需求规约、设计文档、代码注释等）分析、对运行程序的分析等等。分析中，根据本文对程序分析的主要方法和工具总结和，并讨论动态程序分析技术在软件测试中的应用和发展 本文总共分为，部分是前言，主要对背景、涉及到的一些基本概念研究的价值和意义研究路线进行了说明。阐述了本文所涉及到的两种研究方法：文献计量和系统文献综述方法。根据文献计量方法的策略，对检索到的文献进行的分析。部分是本文的核心，总结和归纳现有程序分析技术方法和工具，并讨论了程序分析方法和工具在软件测试中的应用。部分本文所有信息程序分析技术发展展望。结束语，总结了本文的研究思想和。 软件分析 分析是软件进行人工或者自动分析，以验证或发现软件性质（规约）过程或活动。对文档（规约、设计文档、代码注释等）分析、对运行程序的分析，等等。[1] 分析 程序分析是指对计算机程序行为进行自动分析的过程，主要包括静态分析和动态分析两种策略是以某种语言书写的程序为对象，对其内部的运作流程进行分析。 程序分析 程序分析 静态程序分析 程序分析 软件测试： 测试一组活动，执行这组活动的目的是发现程序中可能存在的错误验证在条件下程序运行的情况，方法则是给出指定的输入和期望的，观察实际的运行结果和期望之间的差异，从而对软件的执行正确程度判断标准.12-1990中，测试是这样定义的：软件测试是在的条件下操作测试系统或组件，观察和记录结果，并对测试系统或组件的不同做出评估的过程。 文献计量方法 系统文献综述方法 综述方案、综述、形成综述报告 研究价值和意义 为了保证软件开发的质量，业界在软件测试软件分析阶段投入了大量的人力物力程序分析软件分析中重要的角色对动态程序方法和工具进行分析总结，并讨论了在测试当中应用丰富了自己在该领域中的知识，增长了见闻同时人们在分析的质量属性时，选取合适的技术和工具 研究路线 首先提出该领域的几个最终回答的问题然后确定关键字检索策略，对检索得到的论文进行筛选，对筛选过后剩下的论文进行提取和分析最后形成报告。，我们借助EndNote文献管理工具对我们检索到的文献进行管理，方便我们阅读和使用。 2.1 检索方案 2.1.1 研究问题 通过该系统评价最终所要回答的问题,同时可能需要进一步明确所感兴趣的研究方法(intervention)和研究结果(outcome)等其他限定条件. 现有分析的方法和工具有哪些？ 程序分析的方法和工具有哪些？ 程序分析方法在软件测试中的应用有哪些？ 程序分析中有哪些未解决的问题？ 2.1.2 搜索策略 根据所要研究的问题和关键词确定查询语句，并根据查询结果,确定是否需要进行二级查询(比如引入新的关键词或者添加新的论文集和期刊)。 确定关键词： Analysis , Software Analysis, Dynamic Program Analysis, Software Testing. 逻辑表达式： (dynamic program analysis) method OR tool)； (software analysis OR program analysis) AND (method OR tool) ； (software anal