paperbot · PL 论文追踪

全部论文 待读 收藏

P2 DetReduce

DetReduce
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 1/10 · 该论文研究 Android GUI 自动测试轨迹精简与回归测试套件生成,属于软件测试/调试方向,与用户关注的 PL 与 AI/LLM 交叉、静态分析、浮点程序分析、贝叶斯程序分析均无直接关系。引用 34 inbox
Wontae Choi, Koushik Sen, George Necula, Wenyu Wang
crossref: 2026-09-12

AI 速览

一句话:针对 Android GUI 自动测试生成的冗长测试轨迹,DetReduce 旨在支持简洁回归测试套件。

论文关注 Android 应用自动 GUI 测试在回归测试与增量开发中的可用性问题。现有自动化 GUI 测试技术能够无需人工干预地获得较好测试覆盖率并发现缺陷,但这类工具通常需要运行很长时间,例如数小时,直到测试覆盖率饱和或测试时间预算耗尽。因此,它们生成的测试轨迹往往冗长、偏向探索,难以直接形成简洁且可重复执行的回归测试套件。DetReduce(由标题可知为一种精简/归约技术)面向该问题,目标是从自动 GUI 测试产生的结果中构造适用于增量开发和回归测试的精简套件。不过,给出的英文摘要仅描述了上述问题动机,未说明 DetReduce 的具体方法、实现或实验评估,因此无法从该片段判断其关键结果与有效性。

问题
自动化 Android GUI 测试虽能高覆盖、自动找 bug,但运行时间长且生成的测试轨迹冗长,不适合增量开发与回归测试所需的简洁套件。
方法
给定摘要未说明具体方法;标题 DetReduce 暗示其核心是对自动 GUI 测试结果进行测试套件精简(reduction),但摘要片段未展开算法细节。
评估
摘要未报告评估方式、实验设置或关键结果。
原文摘要(Abstract)

In recent years, several automated GUI testing techniques for Android apps have been proposed. These tools have been shown to be effective in achieving good test coverage and in finding bugs without human intervention. Being automated, these tools typically run for a long time (say, for several hours), either until they saturate test coverage or until a testing time budget expires. Thus, these automated tools are not good at generating concise regression test suites that could be used for testing in incremental development of the apps and in regression testing.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4479,
  title = {DetReduce},
  author = {Wontae Choi and Koushik Sen and George Necula and Wenyu Wang},
  booktitle = {ICSE},
  year = {2018},
  doi = {10.1145/3180155.3180173}
}