开源软件依赖可满足性识别方法研究与实现
| 中文摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第1章 引言 | 第11-17页 |
| ·论文研究背景 | 第11-12页 |
| ·开源软件的软件依赖问题研究现状 | 第12-13页 |
| ·本文研究的意义和目的 | 第13-14页 |
| ·论文结构 | 第14-17页 |
| 第2章 开源软件分发系统 | 第17-27页 |
| ·开源软件及其特点 | 第17-19页 |
| ·软件分发系统模型 | 第19-23页 |
| ·分发端 | 第21-23页 |
| ·用户端 | 第23页 |
| ·主流软件分发系统 | 第23-26页 |
| ·Apt/dpkg | 第23-24页 |
| ·Yum/RPM | 第24页 |
| ·BSD Ports/Package | 第24-25页 |
| ·Portage | 第25页 |
| ·四种分发系统的对比 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第3章 软件依赖可满足性识别策略研究 | 第27-37页 |
| ·软件依赖可满足性定义 | 第27-28页 |
| ·软件依赖关系分类 | 第28-29页 |
| ·导致软件依赖问题严重的原因 | 第29-30页 |
| ·识别软件依赖关系的策略 | 第30-36页 |
| ·基于软件包的识别策略 | 第30-35页 |
| ·ad-hoc识别策略 | 第35-36页 |
| ·基于"分支"的识别策略 | 第36页 |
| ·本章小结 | 第36-37页 |
| 第4章 软件依赖可满足性识别改进方法 | 第37-51页 |
| ·改进目标 | 第37-38页 |
| ·软件依赖识别问题模型的转化 | 第38-40页 |
| ·软件依赖识别改进方法的研究 | 第40-49页 |
| ·基于图遍历的解决方法 | 第40-41页 |
| ·基于SAT问题的解决方法 | 第41-45页 |
| ·改进方法可行性分析 | 第45-49页 |
| ·本章小结 | 第49-51页 |
| 第5章 软件依赖可满足性识别改进方法的实现 | 第51-67页 |
| ·总体模块设计 | 第51页 |
| ·元数据预处理模块 | 第51-54页 |
| ·合取范式转化模块 | 第54-56页 |
| ·SAT解析器判断模块 | 第56-62页 |
| ·蕴含推理模块 | 第58-59页 |
| ·冲突处理模块 | 第59-61页 |
| ·决策模块 | 第61-62页 |
| ·调试与测试 | 第62-65页 |
| ·调试结果 | 第62页 |
| ·测试目标 | 第62-63页 |
| ·测试结果及分析 | 第63-65页 |
| ·本章小结 | 第65-67页 |
| 第6章 结论与展望 | 第67-69页 |
| ·结论 | 第67页 |
| ·未来工作及展望 | 第67-69页 |
| 参考文献 | 第69-71页 |
| 致谢 | 第71-73页 |
| 攻读硕士期间参加的项目 | 第73页 |
