基于测试例生成的Android应用数据竞争验证方法

摘要：

Android应用是一种事件驱动的并发程序.后台线程与异步事件执行顺序的不确定,导致数据竞争在An-droid应用中普遍存在.现有的针对Android应用的竞争检测工具会产生大量误报,且不能确定地重现竞争.针对以上问题,在现有的竞争检测结果的基础上,提出了一种基于测试用例生成的Android应用数据竞争验证方法.该方法首先构建应用的状态转化图,并基于状态转化图和现有竞争检测工具的检测结果自动生成包含潜在数据竞争的测试用例,然后在测试用例执行的过程中通过控制事件分发和线程的执行顺序来暴露竞争,观察竞争是否会引起程序异常.实验结果表明,该方法能有效地重现数据竞争引起的并发错误,并指出检测结果中的误报.

关键词：录制/重放、数据竞争、移动应用、Android、测试

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：科技支撑2015BAF05B01;国家自然科学基金61472407

在线出版日期：2017-12-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：27-32