简介
====================================
保障移动应用质量是移动操作系统生态建设的关键。现有业界普遍采用的移动应用测试与分析技术（如人工/脚本测试、静态分析技术、界面测试技术）
存在人力成本高、检错能力弱、功能场景无感知的局限性，很难用于自动化检测移动应用的功能测试中。因此，如何实现移动应用的自动化功能测试一直是一个具有挑战性的问题。

基于性质测试理论（Property-Based Testing，PBT）于2000年在函数式编程领域提出。
该理论方法以被测系统应满足的性质为测试断言， 通过自动生成大量随机输入数据以验证这些性质是否在各种情况下保持正确。 
与传统测试相比，基于性质的测试能够高效有效地覆盖被测系统输入空间及其边界情况，从而发现深层次的功能缺陷。

Kea是首个基于性质测试理论设计开发的移动应用自动化功能测试工具，目前支持鸿蒙 (OpenHarmony/HarmonyOS) 和安卓 (Android) 应用软件的自动化功能测试。
Kea设计了：(1)一种面向移动应用的性质描述语言（可支持用户编写以前置条件、交互场景、后置条件为主要形式的应用功能性质），(2)三种页面探索策略：随机遍历、基于主路径遍历、大模型引导的路径遍历（自动生成事件序列来达到应用更深层的状态，有效覆盖移动应用事件探索空间）。

.. toctree::

   introduction/Advantage
   introduction/procedure