基于依赖图的系统信息流脉络网构建方法研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-16页 |
| ·研究背景 | 第10-13页 |
| ·研究内容与主要工作 | 第13-15页 |
| ·本文组织结构 | 第15-16页 |
| 第二章 信息流图概述 | 第16-27页 |
| ·信息流 | 第16-22页 |
| ·信息流的定义 | 第16-20页 |
| ·信息流的性质 | 第20-22页 |
| ·信息流图 | 第22-27页 |
| ·信息流图定义 | 第23页 |
| ·信息流图构建要求 | 第23-25页 |
| ·伪信息流路径问题及其解决方案 | 第25-27页 |
| 第三章 传递依赖图的构建 | 第27-49页 |
| ·程序依赖相关概念 | 第27-30页 |
| ·构建程序依赖图 | 第30-36页 |
| ·生成控制流图 | 第30-31页 |
| ·数据依赖确定算法 | 第31-34页 |
| ·控制依赖确定算法 | 第34-36页 |
| ·生成程序依赖图 | 第36页 |
| ·构建传递依赖图 | 第36-41页 |
| ·传递依赖定义 | 第37-38页 |
| ·传递转换的图理论 | 第38-40页 |
| ·传递依赖图构建算法 | 第40-41页 |
| ·程序依赖与信息流的关系 | 第41-48页 |
| ·信息流推导依赖关系 | 第41-43页 |
| ·依赖关系推导信息流 | 第43-48页 |
| ·本章小结 | 第48-49页 |
| 第四章 系统信息流脉络网的构建 | 第49-68页 |
| ·构建函数信息流子图 | 第49-58页 |
| ·信息流生成规则 | 第50-51页 |
| ·函数信息流子图构建算法 | 第51-55页 |
| ·简化信息流图 | 第55-56页 |
| ·函数信息流子图的特点 | 第56-58页 |
| ·构建函数信息流完全图 | 第58-62页 |
| ·函数n次执行传递信息流 | 第58-59页 |
| ·最长路径生成算法 | 第59-60页 |
| ·函数信息流完全图及其变形 | 第60-62页 |
| ·构建系统信息流图 | 第62-63页 |
| ·构建函数间信息流图 | 第63-67页 |
| ·函数间信息流图的定义 | 第63-64页 |
| ·函数间信息流图构建算法 | 第64-65页 |
| ·函数间信息流简图构建算法 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第五章 实例分析 | 第68-80页 |
| ·信息流图构建示例 | 第68-71页 |
| ·函数信息流子图 | 第68-70页 |
| ·函数信息流完全图及其变形 | 第70-71页 |
| ·实例系统分析 | 第71-79页 |
| ·实例系统说明 | 第71-73页 |
| ·控制依赖关系确定 | 第73-74页 |
| ·实例系统信息流图 | 第74-79页 |
| ·本章小结 | 第79-80页 |
| 第六章 总结与展望 | 第80-82页 |
| ·总结 | 第80-81页 |
| ·展望 | 第81-82页 |
| 致谢 | 第82-83页 |
| 参考文献 | 第83-86页 |
| 在学期间发表的论文 | 第86页 |
