目录

概述

• 简介
  • Kea 的优势
  • 工作原理

用户手册

• 环境配置
  • 通过 DevEco Studio 配置鸿蒙环境
    • 配置 HarmonyOS 环境
      • 1. 安装 DevEco Studio
      • 2. 安装并配置 HarmonyOS SDK
        • MacOS 和 Linux
        • Windows 系统
      • 3. 运行一个模拟器
  • 通过 Android Studio 配置安卓环境
    • 使用安卓模拟器配置安卓环境
      • 1. 设置命令行工具（adb）
        • MacOS 和 Linux
        • Windows
  • 使用命令行配置安卓环境
• 编写第一个性质
  • 检查环境
  • 安装
  • 编写第一个性质(安卓)
  • 启动 kea 并检查你的性质
• 为 HarmonyOS 编写性质
  • HarmonyOS 的 UI 控件查看工具：uiviewer教程
  • HarmonyOS PDL API
  • 为 HarmonyOS 启动 Kea
• 应用性质描述语言接口
  • 用户界面交互事件
  • 选择器
  • 样例
• 性质定义教程
  • 从应用错误报告中获取应用性质
  • 从指定应用程序功能中提取性质
• Kea 的参数选项
  • Kea 的参数
  • YAML 配置
  • 当运行多个性质时 kea 做了什么？
• 带状态的测试
• 缺陷报告阅读指南

设计手册

• 架构图
• 目录结构
• 各功能部分设计文档
  • 命令行交互功能
    • 功能说明与功能设计
    • 命令行参数解析
    • YAML 配置文件
    • 参数对象
    • 启动 Kea
    • 主要函数设计
  • KeaTest
    • 功能设计与实现
  • 性质装饰器
    • 功能说明与功能设计
    • 性质的定义
    • 初始化函数的定义
    • 主路径函数的定义
  • PDL 驱动
    • PDL 驱动的功能设计
      • 安卓设备的 PDL 驱动的实现
      • 鸿蒙设备的 PDL 驱动实现
  • KeaTestElements
    • 功能设计与实现
  • Kea
    • 功能设计与实现
    • Kea类中的数据结构实现
    • Kea类中的成员方法实现
      • 读取性质的相关方法
      • 性质执行相关方法
  • DroidBot
    • Droidbot项目架构
  • HMDroidbot
    • HMDroidbot项目架构
    • AppHM
    • DeviceHM
    • HDC
    • InputEvent
    • UTG
    • DeviceState
  • InputManager
    • 功能设计与实现
    • 类属性
    • InputManager类中的数据结构
    • InputManager类中的成员方法
      • 构造函数
      • 获取探索策略的方法
      • 事件生成器的控制方法
    • 使用方法
  • RandomPolicy
    • 随机事件生成策略的介绍
    • 随机事件生成策略的伪代码
    • RandomPolicy类中的数据结构
    • RandomPolicy类中的成员方法
      • 生成随机事件的方法
      • 生成随机事件的成员方法
  • GuidedPolicy
    • 主路径引导策略的介绍
    • 默认参数
    • GuidedPolicy类中的数据结构
    • 主路径引导策略的伪代码
    • GuidedPolicy类中的成员方法
      • 获取主路径的方法
      • 事件生成管理的成员方法
      • 在主路径上获取事件的成员方法
      • 应用状态探索过程的成员方法
      • 从探索过程返回主路径的成员方法
  • LLMPolicy
    • LLM辅助事件生成策略的介绍
    • LLM辅助事件生成策略的伪代码
    • LLMPolicy类中的数据结构
    • LLMPolicy类中的成员方法
      • 启动事件生成的方法
      • 生成LLM事件的方法
      • 生成基于UTG的LLM事件的方法
      • 查询LLM的方法
      • 获取动作与LLM交互的方法
  • 带状态的测试
    • 功能说明与功能设计
      • Bundle类中的数据结构的实现
      • Bundle类中功能方法的实现
    • 单例模式方法
    • 数据状态增删改查的成员方法
    • 随机生成状态文本的成员方法
    • 随机获取一个状态的成员方法

实验与结果

• Kea工具应用效果简介
• 静态代码分析
• 动态代码测试