使用共享变量分析和约束求解检测安卓应用数据竞争

来源 :软件学报 | 被引量 : 0次 | 上传用户：QQ747881021

【摘要】

：

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以

【作者】

：

孙全许蕾夏昕濛张卫丰

【机构】

：

计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系,南京邮电大学计算机学院

【出处】

：

软件学报

【发表日期】

：

2019年11期

【关键词】

：

安卓应用数据竞争事件驱动模型多线程模型约束求解 Android application data race event driven model mul

【基金项目】

：

国家重点基础研究发展计划(973)(2014CB340702),国家自然科学基金(61272080,91418202,61403187),江苏省自然科学基金(BK20140611)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执行路径的基础上进行发生序(happens-before)分析,进而检测安卓应用的并发缺陷,但仍然存在低覆盖率、误报、漏报等问题.结合共享变量分析和约束求解方法实现了安卓应用数据竞争的检测,并实现了检测工具RaceDetector.该工具首先根据安卓系统的特性和数据竞争的定义,通过静态分析抽

其他文献

创造“绿色”的声音环境

期刊

噪音室内环境污染危害预防

浅谈建筑工程中的造价管理

随着建筑市场运行机制的改变及投资体制的调整，工程造价已逐步市场化并显得更科学。本文结合实际就建筑工程造价管理进行了探讨。

期刊

建筑工程造价管理问题措施

带静不平衡约束的矩形装填问题的启发式算法

卫星舱布局问题不仅是一个复杂的耦合系统设计问题,也是一个特殊的优化问题,具有NP难度性.解决这类问题最大的挑战在于需要优化的目标函数具有大量被高能势垒分隔开的局部极

期刊

静不平衡约束Wang-Landau抽样算法启发式策略卫星舱布局static non-equilibrium Wang-Landau sampling