paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MutAPK 2.0: a tool for reducing mutation testing effort of Android apps

MutAPK 2.0:一种降低 Android 应用变异测试开销的工具
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 1/10 · 该论文聚焦Android APK级变异测试工具,属于传统软件测试领域,与用户关注的PL与AI交叉(静态分析、LLM/Agent、浮点/贝叶斯程序分析)无直接关联。引用 5 inbox
Camilo Escobar-Velásquez, Diego Riveros, Mario Linares-Vásquez
crossref: 2026-09-12

AI 速览

一句话:提出 MutAPK 2.0,APK 级 Android 变异体生成工具,可删除无用变异体并支持变异体选择,以降低变异测试开销。

变异测试需生成并执行大量注入故障的版本,开销很大;对 Android 应用而言,在 APK 层生成变异体时该开销可能更高。为降低开销,应避免无用(如等价)变异体,并通过变异体选择减少参与测试的集合,但已有变异测试工具缺少删除无用变异体和采样变异体集合的功能。本文提出 MutAPK 2.0,这是 MutAPK 的改进版开源 APK 级 Android 变异体生成工具。据作者所知,它是首个支持删除死代码变异体、提供多种变异体选择策略,并自动移除等价与重复变异体的工具。工具已在 GitHub 公开,并提供视频演示。

问题
变异测试开销大,Android 应用在 APK 层生成变异体时开销可能更高;已有工具缺乏删除无用变异体和选择变异体集合的能力。
方法
提出并实现 MutAPK 2.0,一个 APK 级 Android 变异体生成工具,支持删除死代码变异体、提供变异体选择策略,并自动移除等价与重复变异体。
评估
摘要未报告定量实验评估,主要体现为工具实现、公开可用性及视频演示。
原文摘要(Abstract)

Mutation testing is a time consuming process because large sets of fault-injected-versions of an original app are generated and executed with the purpose of evaluating the quality of a given test suite. In the case of Android apps, recent studies even suggest that mutant generation and mutation testing effort could be greater when the mutants are generated at the APK level. To reduce that effort, useless (e.g., equivalent) mutants should be avoided and mutant selection techniques could be used to reduce the set of mutants used with mutation testing. However, despite the existence of mutation testing tools, none of those tools provides features for removing useless mutants and sampling mutant sets. In this paper, we present MutAPK 2.0, an improved version of our open source mutant generation tool (MutAPK) for Android apps at APK level. To the best of our knowledge, MutAPK 2.0 is the first tool that enables the removal of dead-code mutants, provides a set of mutant selection strategies, and removes automatically equivalent and duplicate mutants. MutAPK 2.0 is publicly available at GitHub: https://thesoftwaredesignlab.github.io/MutAPK/ VIDEO: https://thesoftwaredesignlab.github.io/MutAPK/video.html

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5857,
  title = {MutAPK 2.0: a tool for reducing mutation testing effort of Android apps},
  author = {Camilo Escobar-Velásquez and Diego Riveros and Mario Linares-Vásquez},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3417942}
}