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

• 作者: 佘艺 吴国全 唐弘胤 陈伟 魏峻 黄涛
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 录制/重放 数据竞争 移动应用 Android 测试
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 2016年全国软件与应用学术会议
• 页码范围: 27-32
• 页数: 6页
• 分类号: TP311
• 字数: 8460字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.11.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈伟	中国科学院软件研究所软件工程技术研发中心	252	3013	27.0	47.0
2	吴国全	中国科学院软件研究所软件工程技术研发中心	7	54	4.0	7.0
3	魏峻	中国科学院软件研究所软件工程技术研发中心	60	775	16.0	26.0
4	黄涛	中国科学院软件研究所软件工程技术研发中心	90	878	14.0	27.0
5	佘艺	中国科学院软件研究所软件工程技术研发中心	1	1	1.0	1.0
6	唐弘胤	中国科学院软件研究所软件工程技术研发中心	1	1	1.0	1.0