基于静态分析的AndroidGUI遍历方法.PDFVIP

Journal of Computer Applications ISSN 1001-9081 2016- 【-10 计算机应用,2016, 【( 【): 【- 【 CODEN JYIIDU 文章编号:1001-9081(2016) 【-0000-00 doi:10.11772/j.issn.1001-9081.2016. 【.0000 基于静态分析的 Android GUI 遍历方法 1 1,2,3 1 1 ， ， ， 汤杨 曾凡平 王健康 黄心依 1（中国科学技术大学计算机科学与技术学院，安徽合肥 230026） 2（中国科学院软件研究所计算机科学国家重点实验室，北京 100190） 3（安徽省计算与通讯软件重点实验室，安徽合肥230026） 摘 要: 针对传统软件安全测试方法（例如：符号执行、模糊测试、污点分析等）无法获得较高的 Android 程序 GUI（Graph User Interface ）覆盖率的问题，提出动态和静态相结合的Android 程序测试方法。该方法在静态分析 Android 应用程序数据流 的基础之上，构建程序活动转换图和函数调用图，解析程序 GUI 元素，进而编写测试脚本动态遍历应用程序 GUI 元素。我们 将该方法应用于日历、WiFi 万能钥匙和天气应用的实际测试，结果表明：Activity 的平均覆盖率达到 76% ，明显高于人工测 试的平均值 30.08%和基于控件树遍历的 42.05%~61.29% ，该方法能够有效遍历Android 应用程序 GUI 元素。 关键词: 静态分析；动态测试；事件模拟；活动调用图；函数调用图；GUI 遍历 中图分类号:TP311.5 软件工程 文献标志码: A Android GUI Traversal Method Based on Static Analysis 1 1,2,3 1 1 TANG Yang , ZENG Fanping , WANG Jiankang , HUANG Xinyi 1 （School of Computer Science and Technology, University of Science and Technology of China, Hefei 230026, China） 2 （State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China ） 3 （Anhui Province Key Lab of Software in Computing and Communication, Hefei 230026, China ） Abstract: Traditional security testing methods (such as symbolic execution, fuzz testing, taint analysis, etc) cannot obtain high coverage of GUI(Graph User Interf