控制流提取模型及软件可靠性评价应用研究
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 1 绪论 | 第9-22页 |
| ·研究背景及意义 | 第9-10页 |
| ·相关研究现状 | 第10-12页 |
| ·代码分析技术综述 | 第12-18页 |
| ·代码分析技术概念 | 第12页 |
| ·代码分析技术分类 | 第12-17页 |
| ·代码缺陷分类 | 第17-18页 |
| ·论文的研究工作 | 第18-20页 |
| ·研究控制流提取模型的设计与构建 | 第18页 |
| ·研究安全子集与数据流相结合的分析技术 | 第18-19页 |
| ·研究基于安全子集的安全性评估方法 | 第19页 |
| ·研究多线程数据竞争检测扩展方法 | 第19-20页 |
| ·论文的组织结构 | 第20-22页 |
| 2 安全子集与数据流相结合的代码分析技术研究 | 第22-41页 |
| ·控制流提取模型设计与构建研究 | 第22-30页 |
| ·控制流提取模型理论综述 | 第22-23页 |
| ·控制流提取模型结构设计 | 第23-28页 |
| ·控制流提取模型标识含义 | 第28-29页 |
| ·控制流提取模型实现流程 | 第29-30页 |
| ·代码控制流信息抽取与剪枝研究 | 第30-35页 |
| ·控制流信息抽取 | 第30-32页 |
| ·控制流信息切片 | 第32-33页 |
| ·控制流信息剪枝 | 第33-35页 |
| ·基于安全子集的缺陷模式匹配分析 | 第35-36页 |
| ·安全子集分类 | 第35页 |
| ·可配置缺陷模式匹配设计 | 第35-36页 |
| ·基于有限状态机的数据流异常分析 | 第36-38页 |
| ·数据流跟踪模型 | 第36-37页 |
| ·数据流异常分析 | 第37-38页 |
| ·状态检测点设计 | 第38页 |
| ·Security Analyzer系统架构设计 | 第38-39页 |
| ·本章小结 | 第39-41页 |
| 3 基于安全子集的代码安全性评估技术研究 | 第41-48页 |
| ·可信度量元抽取与指标树构建 | 第41-43页 |
| ·可信度量元抽取 | 第41-42页 |
| ·专家评分等级划分 | 第42页 |
| ·可信评估指标树构建 | 第42-43页 |
| ·D-S证据理论与可信评定标准 | 第43-45页 |
| ·D-S证据理论综述 | 第43-44页 |
| ·可信指标树构建及评定标准 | 第44-45页 |
| ·可信指标树构建算法 | 第45-46页 |
| ·子节点置信度合并算法 | 第45-46页 |
| ·可信软件置信度证据推理算法 | 第46页 |
| ·代码分析与评估整体流程 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 4 多线程分析方向扩展方法研究 | 第48-56页 |
| ·多线程数据竞争研究意义 | 第48页 |
| ·锁空间相关情况定义 | 第48-49页 |
| ·控制流提取模型扩展描述 | 第49-51页 |
| ·访问树NET-TREE模型构建 | 第51-52页 |
| ·数据竞争描述及相应算法 | 第52-54页 |
| ·数据竞争形式化描述 | 第52页 |
| ·访问树生成算法 | 第52-53页 |
| ·竞争序列获取算法 | 第53-54页 |
| ·数据竞争实例分析 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 5 系统实验设计与分析 | 第56-61页 |
| ·实验源文件综述 | 第56页 |
| ·实验流程设计 | 第56-57页 |
| ·实验结果及分析 | 第57-59页 |
| ·相关方法比较 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 结论 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 攻读硕士学位期间发表学术论文情况 | 第66-67页 |
| 致谢 | 第67-68页 |
