README_CN.md

Kea

       

简介

Kea 是一个通用的测试工具，通过基于性质的测试 发现移动（GUI）应用中的功能性错误。 Kea 目前支持 Android 和 HarmonyOS。

论文

📘 Kea's Paper @ ASE 2024 (ACM Distinguished Paper)

"General and Practical Property-based Testing for Android Apps". Yiheng Xiong, Ting Su, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su. In ASE 2024.

你可以在 ECNU SE lab - mobile app analysis 找到我们的相关工作。

演示视频

Docs

文档

用户手册

设计手册

测试报告

覆盖报告

安装和使用

环境配置

• Python 3.9+
• adb or hdc cmd tools available
• Connect an Android / HarmonyOS device or emulator to your PC

安卓/鸿蒙环境配置教程

工具安装

输入以下命令安装 Kea。

git clone https://github.com/ecnusse/Kea.git
cd Kea
pip install -e .

快速开始

kea -f example/example_property.py -a example/omninotes.apk

作者/维护者

Kea的原作者是： Yiheng Xiong, Ting Su, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su.

目前 Kea 的核心维护者： Xiangchen Shen, Xixian Liang, Mengqian Xu, Bo Ma

Kea 参考的开源工具

• Droidbot
• HMDroidbot
• hypothesis
• hmdriver2
• uiautomator2

相关阅读

Relevant References for Kea

📘 An Empirical Study of Functional Bugs in Android Apps. ISSTA 2023. pdf

📘 Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. FSE 2024. pdf

📘 Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. ESEC/FSE 2023. pdf

📘 Characterizing and Finding System Setting-Related Defects in Android Apps. TSE 2023. pdf

📘 Understanding and Finding System Setting-related Defects in Android Apps. ISSTA 2021. pdf

References for Property-based Testing

📘 Property-Based Testing in Practice. ICSE 2024. pdf

📘 QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP 2000. pdf

📘 Property-based testing: a new approach to testing for assurance. Software Engineering Notes 1997. pdf