安卓应用数据竞争的检测与再现
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 引言 | 第11-17页 |
| 1.1 研究背景 | 第11-12页 |
| 1.2 研究现状 | 第12-13页 |
| 1.3 研究内容 | 第13-15页 |
| 1.4 论文结构 | 第15-17页 |
| 第二章 相关技术概述 | 第17-25页 |
| 2.1 安卓系统平台 | 第17-19页 |
| 2.1.1 安卓四大基本组件 | 第17页 |
| 2.1.2 安卓多线程模型 | 第17-18页 |
| 2.1.3 安卓事件驱动模型 | 第18-19页 |
| 2.2 数据竞争 | 第19-21页 |
| 2.2.1 有害数据竞争和良性数据竞争 | 第19-20页 |
| 2.2.2 安卓应用中的数据竞争 | 第20-21页 |
| 2.3 数据竞争研究方法 | 第21-22页 |
| 2.4 辅助工具介绍 | 第22-23页 |
| 2.5 本章小结 | 第23-25页 |
| 第三章 基于静态分析和约束求解检测数据竞争 | 第25-37页 |
| 3.1 设计概述 | 第25-26页 |
| 3.2 静态分析与挑战 | 第26-27页 |
| 3.3 数据竞争调研与示例 | 第27-29页 |
| 3.3.1 安卓应用中数据竞争情况调研 | 第27-28页 |
| 3.3.2 安卓应用中数据竞争示例 | 第28-29页 |
| 3.4 安卓共享变量分析 | 第29-31页 |
| 3.4.1 安卓线程共享变量 | 第29-30页 |
| 3.4.2 相关定义 | 第30-31页 |
| 3.5 可疑数据竞争 | 第31-32页 |
| 3.6 约束求解 | 第32-35页 |
| 3.6.1 安卓应用相关约束 | 第32-34页 |
| 3.6.2 安卓应用约束求解 | 第34-35页 |
| 3.7 本章小结 | 第35-37页 |
| 第四章 基于动态分析和LCCG图再现数据竞争 | 第37-47页 |
| 4.1 设计概述 | 第37-38页 |
| 4.2 动态分析和挑战 | 第38-39页 |
| 4.3 LCCG图构建 | 第39-41页 |
| 4.3.1 LCCG图定义 | 第39-40页 |
| 4.3.2 LCCG图示例 | 第40-41页 |
| 4.4 数据竞争再现 | 第41-45页 |
| 4.4.1 事件轨迹分析 | 第42-43页 |
| 4.4.2 测试脚本生成 | 第43-45页 |
| 4.5 本章小结 | 第45-47页 |
| 第五章 实验分析 | 第47-63页 |
| 5.1 工具实现 | 第47-48页 |
| 5.2 数据集 | 第48-49页 |
| 5.3 实验结果及分析 | 第49-55页 |
| 5.3.1 实验结果 | 第49-53页 |
| 5.3.2 性能和有效性分析 | 第53-55页 |
| 5.4 案例讨论 | 第55-57页 |
| 5.5 工具对比 | 第57-60页 |
| 5.6 DRHDR局限性 | 第60页 |
| 5.7 研究问题讨论 | 第60-61页 |
| 5.8 本章小结 | 第61-63页 |
| 第六章 总结与展望 | 第63-65页 |
| 6.1 本文总结 | 第63-64页 |
| 6.2 未来展望 | 第64-65页 |
| 参考文献 | 第65-70页 |
| 攻读硕士学位期间主要的研究成果 | 第70-71页 |
| 致谢 | 第71-72页 |
