Table of Contents

Introduction

• Introduction
  • Advantages of Kea
  • How It Works

User Manual

User Manual

• Environment Configuration
  • Configure the HarmonyOS environment through DevEco Studio.
    • Configure HarmonyOS Environment
      • 1. Install DevEco Studio
      • 2. Install and configure HarmonyOS SDK
        • MacOS and Linux
        • Windows System
      • 3. Run an Emulator
  • Configure the Android environment through Android Studio.
    • Configuring the Android Environment Using Android Studio
      • 1. Setting Up Command-Line Tools (adb)
        • MacOS and Linux
        • Windows
  • Configure the Android environment using the command line.
• Write Your First Property
  • Check the Environment
  • Installation
  • Write Your First Property (Android)
  • Start Kea and Check Your Properties
• Writing properties for HarmonyOS
  • HarmonyOS UI Control Viewer Tool: uiviewer Tutorial
  • HarmonyOS PDL API
  • Starting Kea for HarmonyOS
• Property Description Language Interface
  • User Interface Interaction Events
  • Selector
  • Examples
• Property Definition Tutorial
  • Extracting Application Properties from Bug Reports
  • Extracting Properties from Specific Application Functions
• Kea Parameter Options
  • Kea Parameters
  • YAML Configuration
  • What does kea do when running multiple properties?
• Stateful Testing
• Guide to Reading Defect Reports

Design Manual

Design Manual

• Architecture Diagram
• Directory Structure
• Design Documents for Each Functional Part
  • Command Line Interaction Features
    • Feature Description and Design
    • Command Line Argument Parsing
    • YAML Configuration File
    • Parameter Object
    • Start Kea
    • Main Function Design
  • KeaTest
    • Functional Design and Implementation
  • Property Decorator
    • Function Description and Function Design
    • Definition of Property
    • Definition of Initialization Function
    • Definition of Main Path Function
  • PDL Driver
    • Functional Design of PDL Driver
      • Implementation of the PDL Driver for Android Devices
      • Implementation of the PDL Driver for HarmonyOS Devices
  • KeaTestElements
    • Functional Design and Implementation
  • Kea
    • Functional Design and Implementation
    • Implementation of Data Structures in the Kea Class
    • Implementation of Member Methods in the Kea Class
      • Methods for Reading Properties
      • Methods Related to Property Execution
  • DroidBot
    • Droidbot Project Architecture
  • HMDroidbot
    • HMDroidbot Project Architecture
    • AppHM
    • DeviceHM
    • HDC
    • InputEvent
    • UTG
    • DeviceState
  • Input Manager
    • Functional Design and Implementation
    • Class Attributes
    • Data Structures in the InputManager Class
    • Member Methods in the InputManager Class
      • Constructor
      • Method to Obtain Exploration Strategy
      • Control Methods for Event Generators
    • Usage
  • RandomPolicy
    • Introduction to the Random Event Generation Strategy
    • Pseudocode for the Random Event Generation Strategy
    • Data Structures in the RandomPolicy Class
    • Member Methods in the RandomPolicy Class
      • Method for Generating Random Events
      • Member Methods for Generating Random Events
  • Guided Policy
    • Introduction to the main path guided strategy
    • Default parameters
    • Data structures in the GuidedPolicy class
    • Pseudocode for the main path guided strategy
    • Member methods in the GuidedPolicy class
      • Methods for obtaining the main path
      • Member methods of event generation management
      • Member methods for obtaining events on the main path
      • Member methods of application state exploration process
      • Member methods for returning to the main path from the exploration process
  • LLMPolicy
    • Introduction to LLM-assisted event generation strategy
    • Pseudocode for LLM-assisted event generation strategy.
    • Data Structures in LLMPolicy Class
    • Member Methods in LLMPolicy Class
      • Methods to Start Event Generation
      • Methods to Generate LLM Events
      • Methods to Generate LLM Events Based on UTG
      • Methods to Query LLM
      • Methods to Get Actions Interacting with LLM
  • Stateful Testing
    • Functional Description and Design
      • Implementation of data structures in the Bundle class
      • Implementation of functional methods in the Bundle class
    • Singleton Pattern Method
    • Member Methods for CRUD Operations on Data States
    • Member Method to Randomly Generate Status Text
    • Member Method to Randomly Retrieve a State

Experiments and Results

Experiments and Results

• Introduction to the Effectiveness of Kea Tool Applications
• Static Analysis
• Dynamic Code Testing