7程序静态分析工具.doc

静态程序分析方法和工具 目录 静态程序分析方法和工具 1 1. 研究背景 2 1.1主要知识点的描述 2 1.2研究意义和价值 2 1.3大致研究线路 2 2. 研究方法 2 2.1系统化文献评价方法 2 2.1.1研究问题 2 2.1.2数据来源 2 2.1.3筛选原则 2 2.1.4数据提取和分析 2 2.1.5完成报告 2 2.2文献分析框架、工具和分析过程 2 2.2.1文献分析框架 2 2.2.2工具介绍 2 2.2.3文献分析过程 2 3. 文献分布结果分析 2 3.1年代分布 2 3.2来源期刊和出版地区分布 2 3.3作者分布 2 3.4关键词和热点分析 2 4. 程序分析介绍 2 4.1程序动态分析 4 4.2程序静态分析 4 5. 程序静态分析方法 4 5.1形式化验证 4 5.1.1概念 4 5.1.2研究现状 4 5.1.3优点 4 5.1.4缺点 4 5.2模型检测 4 5.2.1概念 4 5.2.2研究现状 4 5.2.3优点 4 5.2.4缺点 4 5.3符号执行 4 5.3.1概念 4 5.3.2研究现状 4 5.3.3优点 4 5.3.4缺点 4 5.4定理证明 4 5.4.1概念 4 5.4.2研究现状 4 5.4.3优点 4 5.4.4缺点 4 5.5……（等等） 5 6. 程序静态分析方法比较 5 7. 程序静态分析工具 5 7.1模型检测工具 5 7.2定理证明工具 5 7.3形式化验证工具 5 7.4结构化分析工具 5 7.5…… (等等) 5 8. 程序静态分析工具比较 5 9. 程序静态分析在软件测试中的应用 5 9.1在进化测试中的应用 6 9.2在模糊测试中的应用 6 9.3 一项新的故障定位方法 6 9.4路径敏感静态缺陷检测算法 6 10. 静态分析方法和工具的不足 6 11. 静态分析未解决的问题 6 12. 未来的工作 6 研究背景 1.1主要知识点的描述 1.2研究意义和价值 1.3大致研究线路 研究方法 2.1系统化文献评价方法 2.1.1研究问题 2.1.2数据来源 2.1.3筛选原则 2.1.4数据提取和分析 2.1.5完成报告 2.2文献分析框架、工具和分析过程 2.2.1文献分析框架 2.2.2工具介绍 2.2.3文献分析过程 文献分布结果分析 3.1年代分布 3.2来源期刊和出版地区分布 3.3作者分布 3.4关键词和热点分析 程序分析介绍(一些基本概念介绍) 4.1程序动态分析 4.2程序静态分析 程序静态分析方法 5.1形式化验证 5.1.1概念 5.1.2研究现状 5.1.3优点 5.1.4缺点 5.2模型检测 5.2.1概念 5.2.2研究现状 5.2.3优点 5.2.4缺点 5.3符号执行 5.3.1概念 5.3.2研究现状 5.3.3优点 5.3.4缺点 5.4定理证明 5.4.1概念 5.4.2研究现状 5.4.3优点 5.4.4缺点 5.5……（等等） 程序静态分析方法比较 （内容） 程序静态分析工具 7.1模型检测工具 7.2定理证明工具 7.3形式化验证工具 7.4结构化分析工具 7.5…… (等等) 程序静态分析工具比较 （内容） 程序静态分析在软件测试中的应用 （安全漏洞或缺陷的定义，以及对软件的影响） 9.1在进化测试中的应用 9.2在模糊测试中的应用 9.3 一项新的故障定位方法 9.4路径敏感静态缺陷检测算法 静态分析方法和工具的不足 静态分析未解决的问题 未来的工作