可控开源社区

SmartSoftwareEngineeringLab(ECNU)/Kea

关注 1点赞 1复刻(Fork)

目录

test(GitLink)

2个月前371次提交

.githubupdate translator yaml3个月前
docsAutomated update of translation files [skip ci]3个月前
exampleupgrade Bundle5个月前
keafix(apk install): -a xxx.apk run install command, -a package name don't run install command3个月前
propertiesupdate a property of transistor6个月前
.gitignoreupdate gpt translator5个月前
LICENSECreate LICENSE7个月前
README.mdadd a paper reference2个月前
README_CN.mdAdd note about LLM module being experimental in readme3个月前
config.ymlupdate config.yml and .gitignore6个月前
kea.pdfadd pdf doc5个月前
setup.pyAdd support for python3.83个月前

Kea

kea_logo

简介

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.8+
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

注意： 目前 LLM 模块仍处于实验阶段。我们正在积极收集反馈以改进该模块的功能和稳定性。感谢您的理解和支持，同时欢迎您提出建议和意见。

作者/维护者

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

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

Kea 参考的开源工具

相关阅读

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

关于

python javascript html

126.1 MB

邀请码

Gitlink（确实开源）

加入我们
官网邮箱：gitlink@ccf.org.cn

QQ群

QQ群

公众号

公众号

©Copyright 2023 CCF 开源发展委员会
Powered by Trustie& IntelliDE 京ICP备13000930号