paperbot · PL 论文追踪

全部论文 待读 收藏

P2 ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps

ICTDroid:面向 Android 应用组件的参数感知组合测试
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 2/10 · 论文将静态分析用于 Android 组件参数提取,并做组合测试生成,属于软件测试方向;但未涉及 ML/Agentic 程序分析、LLM 改进静态分析、浮点程序分析或贝叶斯程序分析,与研究画像的核心交叉点基本无关。引用 0 inbox
Shixin Zhang, Shanna Li, Xi Deng, Jiwei Yan, Jun Yan
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出结合静态参数提取与自适应强度组合测试的 Android 组件自动化测试工具 ICTDroid,以紧凑测试集高效触发异常。

Android 应用组件是基本构建块,组件间通信常通过输入参数完成跨模块数据传递和方法调用。参数结构复杂、输入空间巨大,开发者易遗漏会引发组件启动崩溃或隐私泄露的异常输入。ICTDroid 自动提取组件参数并采用自适应强度组合测试生成测试用例,兼顾覆盖与测试集规模,并自动执行以检测异常。在 30 个开源应用上,该工具用 1919 个测试用例、83 分钟触发 205 个唯一异常,开发者已确认所报告问题中的 6 个缺陷。结果说明参数感知的组合测试能在有限预算下有效提升 Android 组件鲁棒性测试效率。

问题
Android 组件通过参数进行跨模块通信,但参数结构复杂且输入空间庞大,开发者容易遗漏会触发组件崩溃或隐私泄露的异常输入,同时高效测试也面临挑战。
方法
设计 ICTDroid 工具,结合静态参数提取与自适应强度组合测试生成紧凑测试用例,并自动执行以检测 Android 应用组件中的异常。
评估
在 30 个开源 Android 应用上运行,用 1919 个测试用例在 83 分钟内触发 205 个唯一异常,所报告问题中有 6 个缺陷得到开发者确认。
原文摘要(Abstract)

Components are the fundamental building blocks of Android applications. Different functional modules represented by components often rely on inter-component communication mechanisms to achieve cross-module data transfer and method invocation. It is necessary to conduct robustness testing on components to prevent component launching crashes and privacy leaks caused by unexpected input parameters. However, as the complexity of the input parameter structure and the diversity of possible inputs, developers may overlook specific inputs that result in exceptions. At the same time, the vast input space also brings challenges to efficient component testing. In this paper, we designed an automated test generation and execution tool for Android application components named ICTDroid, which combines static parameter extraction and adaptive-strength combinatorial testing generation to detect bugs with a compact test suite. Experiments have shown that the tool triggers 205 unique exceptions in 30 open-source applications with 1,919 test cases in 83 minutes, where the developers have confirmed six defects in three issues we reported.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{ZhangLDYY23,
  title = {ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps},
  author = {Shixin Zhang and Shanna Li and Xi Deng and Jiwei Yan and Jun Yan},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00071}
}