状态转换图制导的ARP错误检测方法.pdfVIP

软件学报

ISSN

1000-9825,

CODEN

RUXUEWE-mail:

jos@

2025,36(2):469−487

[doi:

10.13328/ki.jos.007142]

[CSTR:

32375.14.jos.007142]

©中国科学院软件研究所版权所有.Tel:

+86-10

*

状态转换图制导的ARP错误检测方法

1121

林高毅,

崔展齐,

陈

翔,

郑丽伟

1(北京信息科技大学

计算机学院,

北京

100101)

2(南通大学

信息科学技术学院,

江苏

南通

226019)

通信作者:

崔展齐,

E-mail:

czq@

摘要:

Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android

runtime

permission,

ARP)错误.

现有的Android应用自动化测试工具通常未考虑ARP机制,

无法有效测试Android应

用内的权限相关行为.

为帮助开发人员快速检测出应用中ARP错误,

提出状态转换图制导的Android应用运行时权限

错误检测方法.

首先,

对被测应用APK文件进行权限误用分析,

插桩APK文件中可能导致ARP错误的API,

并对

APK文件重新签名;

然后,

安装插桩后的APK文件,

动态探索应用以生成其状态转换图(state

transition

graph,

STG);

最后,

使用STG制导自动化测试,

快速检测出应用中ARP错误.

基于所提出方法实现原型工具RPBDroid,

并与ARP

错误动态检测工具SetDroid、PermDroid和传统自动化测试工具APE进行对比实验.

实验结果表明,

RPBDroid成功

检测出17个应用中的15个ARP错误,

比APE、SetDroid、PermDroid分别多14、12和14个.

此外,

相比于测试工

具SetDroid、PermDroid和APE,

RPBDroid检测ARP错误的平均用时分别减少86.42%、86.72%和86.70%.

关键词:

Android应用;

Android运行时权限错误;

权限误用;

自动化测试工具;

状态转换图

中图法分类号:

TP311

中文引用格式:

林高毅,

崔展齐,

陈翔,

郑丽伟.

状态转换图制导的ARP错误检测方法.

软件学报,

2025,

36(2):

469–487.

http://www.

/1000-9825/7142.htm

英文引用格式:

Lin

GY,

Cui

ZQ,

Chen

X,

Zheng

LW.

State

Transition

Graph

Guided

Testing

Approach

for

Detecting

ARP

Bugs.

Ruan

Jian

Xue

Bao/Journal

of

Software,

2025,

36(2):

469–487

(in

Chinese).

/1000-9825/7142.htm

StateTransitionGraphGuidedTestingApproachforDetectingARPBugs

1121

LIN

Gao-Yi,

CUI

Zhan-Qi,

CHEN

Xiang,

ZHENG

Li-Wei

1(School

of

Computer

Science,

Beijing

Information

Science

and

Technology

University,

Beijing

100101,

China)

2(