Kea
概述
简介
用户手册
环境配置
编写第一个性质
为 HarmonyOS 编写性质
应用性质描述语言接口
性质定义教程
Kea 的参数选项
带状态的测试
缺陷报告阅读指南
设计手册
架构图
目录结构
各功能部分设计文档
实验与结果
Kea工具应用效果简介
静态代码分析
动态代码测试
Kea
目录
查看页面源码
目录
概述
简介
Kea 的优势
工作原理
用户手册
用户手册
环境配置
通过 DevEco Studio 配置鸿蒙环境
配置 HarmonyOS 环境
1. 安装 DevEco Studio
2. 安装并配置 HarmonyOS SDK
MacOS 和 Linux
Windows 系统
3. 运行一个模拟器
通过 Android Studio 配置安卓环境
使用 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工具应用效果简介
静态代码分析
动态代码测试