基于约束求解的云平台配置管理技术研究
| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 第一章 绪论 | 第13-17页 |
| 1.1 研究背景 | 第13-14页 |
| 1.2 研究现状 | 第14页 |
| 1.3 本文工作 | 第14-15页 |
| 1.4 本文组织 | 第15-17页 |
| 第二章 相关工作和技术 | 第17-29页 |
| 2.1 配置管理问题 | 第17页 |
| 2.2 云平台配置管理问题 | 第17-19页 |
| 2.3 软件生产线与特征模型 | 第19-23页 |
| 2.4 约束求解技术 | 第23-28页 |
| 2.4.1 特征模型检测 | 第24-25页 |
| 2.4.2 Alloy模型检测工具 | 第25-28页 |
| 2.5 本章小结 | 第28-29页 |
| 第三章 特征模型扩展与检测 | 第29-45页 |
| 3.1 特征模型扩展 | 第29-32页 |
| 3.2 特征模型检测 | 第32-44页 |
| 3.2.1 直接法 | 第32-35页 |
| 3.2.2 间接法 | 第35-42页 |
| 3.2.3 两种方法比较 | 第42-44页 |
| 3.3 本章小结 | 第44-45页 |
| 第四章 SFEA系统的设计与实现 | 第45-53页 |
| 4.1 SFEA系统架构 | 第45-46页 |
| 4.2 SFEA系统实现 | 第46-52页 |
| 4.2.1 知识模型 | 第47-48页 |
| 4.2.2 实例检测 | 第48-51页 |
| 4.2.3 花费估算与脚本生成 | 第51-52页 |
| 4.3 本章小结 | 第52-53页 |
| 第五章 实验评估 | 第53-65页 |
| 5.1 表达能力 | 第53-55页 |
| 5.2 检测效率 | 第55-58页 |
| 5.3 实用性 | 第58-63页 |
| 5.3.1 Web应用案例 | 第58-60页 |
| 5.3.2 Openstack应用案例 | 第60-63页 |
| 5.4 本章小结 | 第63-65页 |
| 第六章 总结与展望 | 第65-67页 |
| 6.1 本文工作总结 | 第65-66页 |
| 6.2 未来工作展望 | 第66-67页 |
| 参考文献 | 第67-75页 |
| 简历与科研成果 | 第75-76页 |
| 致谢 | 第76-77页 |
