paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Kea2: Practical Property-based Testing for Mobile Apps

Kea2：面向移动应用的实用基于性质的测试
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 1/10 · 该论文提出移动应用的属性基测试工具，属于动态测试与 GUI 模糊测试领域，与用户核心关注的静态分析、LLM/Agent 交叉、浮点程序分析及贝叶斯程序分析均无直接关联。引用 0 inbox
Xixian Liang, Cheng Peng, Bo Ma, Xiangchen Shen, Yiheng Xiong, Ting Su
测试、调试与修复
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：提出实用性质基测试工具 Kea2，支持 Python 属性规约并复用 GUI 模糊测试，可发现移动应用功能缺陷。

移动应用的功能正确性验证对人工测试和自动化 UI 测试都很困难，后者多局限于崩溃类简单缺陷。属性基测试通过检查功能性质为此提供了思路，但缺乏实用工具。本文提出 Kea2：一个面向移动应用的实用属性基测试工具。它允许用 Python 灵活且富有表现力地指定性质，并复用已有 GUI 模糊测试技术来支持有效的性质检查。Kea2 能在真实世界应用中发现功能（逻辑）缺陷；工具已开源，并因其可用性和特性获得积极反馈。评估主要通过真实应用缺陷发现、开源发布和演示视频展示其实际可用性。

问题
移动应用功能正确性验证困难：人工测试成本高，自动化 UI 测试又主要发现崩溃等简单缺陷，难以系统检查功能性质。
方法
Kea2 用 Python 提供灵活、可表达的性质规约，并复用现有 GUI 模糊测试技术来执行有效的性质检查。
评估
在真实移动应用中发现功能（逻辑）缺陷，并通过开源、演示视频和用户反馈展示可用性与特性。
原文摘要（Abstract）

Validating functional correctness of mobile apps is challenging for manual testing and automated UI testing (limited to simple crashing bugs). Property-based testing is promising to tackle this challenge given functional properties. To this end, we introduce Kea2, a practical property-based testing tool for apps: (1) specifying properties in Python with enough flexibility and expressiveness; and (2) reusing existing GUI fuzzing techniques to support effective property checking. Indeed, Kea2 can find functional (logic) bugs in real-world apps. Kea2 has been open-sourced at https://github.com/ecnusse/Kea2 (a demo video: https://youtu.be/HS4rTCcaSPE), and received positive feedback for its usability and features.

链接与引用

DOI 原文 · PDF（开放获取） · DBLP

BibTeX 
@inproceedings{LiangPMSXS26,
  title = {Kea2: Practical Property-based Testing for Mobile Apps},
  author = {Xixian Liang and Cheng Peng and Bo Ma and Xiangchen Shen and Yiheng Xiong and Ting Su},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3806416}
}