用动态静态工具分析模块更新兼容性
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 第1章 绪论 | 第11-16页 |
| ·研究背景 | 第11-12页 |
| ·研究内容 | 第12-13页 |
| ·研究意义 | 第13-14页 |
| ·主要创新点 | 第14-15页 |
| ·本章小结 | 第15-16页 |
| 第2章 软件模块更新兼容性分析 | 第16-33页 |
| ·动态软件更新概述 | 第16-17页 |
| ·基于OSGi 的动态软件更新 | 第17-19页 |
| ·模块更新兼容性问题 | 第19-21页 |
| ·模块更新兼容性的分析 | 第21-31页 |
| ·模块更新兼容性分析 | 第21-24页 |
| ·冒泡排序中交换模块更新分析 | 第24-28页 |
| ·选择排序中交换模块更新分析 | 第28-31页 |
| ·本章小结 | 第31-33页 |
| 第3章 静态动态程序分析工具 | 第33-44页 |
| ·描述语言JML | 第33-35页 |
| ·动态分析工具Daikon | 第35-37页 |
| ·静态分析工具ESC/Java | 第37-39页 |
| ·Daikon 与ESC/Java 的组合 | 第39-40页 |
| ·动态分析工具JMLC/JMLRAC | 第40-43页 |
| ·本章小结 | 第43-44页 |
| 第4章 对非更新模块的动态分析 | 第44-54页 |
| ·对非更新模块动态分析的过程 | 第44-46页 |
| ·提取系统中所有模块的不变量 | 第46-47页 |
| ·更新系统 | 第47-49页 |
| ·使用JMLC 编译系统 | 第49-50页 |
| ·使用JMLRAC 运行系统 | 第50-51页 |
| ·实验 | 第51-52页 |
| ·本章小结 | 第52-54页 |
| 第5章 对被更新模块的静态分析 | 第54-66页 |
| ·对被更新模块静态分析的过程 | 第55-56页 |
| ·提取旧模块的不变量 | 第56-57页 |
| ·提取新模块的不变量 | 第57-59页 |
| ·从系统环境中提取新模块不变量 | 第57-58页 |
| ·从测试环境中提取新模块不变量 | 第58-59页 |
| ·静态分析更新可行性 | 第59-61页 |
| ·当新模块不变量来自系统环境 | 第59-60页 |
| ·当新模块不变量来自测试环境 | 第60-61页 |
| ·实验 | 第61-64页 |
| ·本章小结 | 第64-66页 |
| 第6章 总结与展望 | 第66-69页 |
| ·总结 | 第66-67页 |
| ·展望 | 第67-69页 |
| 参考文献 | 第69-72页 |
| 致谢 | 第72-73页 |
| 攻读学位期间参加的项目，发表的学术论文 | 第73-76页 |
| 上海交通大学学位论文答辩决议书 | 第76页 |
