声明
1 绪论
1.1 研究背景与意义
1.2 研究现状概述
1.3 研究内容
1.4 组织结构
2 背景
2.1 预备知识
2.1.1 Android基本组件
2.1.2 Android应用服务
2.1.3 Intent与Intent-Filter
2.1.4 测试输入
2.2 相关工作
2.2.1 GUI测试
2.2.2 服务分析与测试
2.2.3 能耗测试与分析
3 静态分析
3.1 服务使用反模式
3.1.1 过早创建
3.1.2 过晚销毁
3.1.3 过早销毁
3.1.4 服务泄漏
3.2 基于控制流图的静态分析
4 动态分析
4.1 执行路径构造
4.1.1 活动跳转图
4.1.2 执行路径
4.2 测试输入构造
4.3 动态分析特性
4.3.1 启动服务特性
4.3.2 绑定服务特性
4.3.3 混合服务特性
4.4运行时验证
5 原型工具设计与实现
5.1 需求分析
5.2 总体设计
5.2.1 开发环境
5.2.2 体系结构
5.3 功能模块
5.3.1 静态分析器
5.3.2 运行验证器
5.3.3 缺陷修复器
6 实验与实证分析
6.1实验
6.1.1 实验对象
6.1.2 实验环境
6.1.3 实验结果与分析
6.1.4 使用缺陷修复前后对比
6.2 实证分析
6.2.1 实验对象
6.2.2 实证分析结果
7 总结与展望
7.1 论文总结
7.2 展望
致谢
参考文献
附录
南京理工大学;