Kea

Introduction

  • Introduction

User Manual

  • Environment Configuration
  • Write Your First Property
  • Writing properties for HarmonyOS
  • Property Description Language Interface
  • Property Definition Tutorial
  • Kea Parameter Options
  • Stateful Testing
  • Guide to Reading Defect Reports

Design Manual

  • Architecture Diagram
  • Directory Structure
  • Design Documents for Each Functional Part

Experiments and Results

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

© Copyright 2024, ECNU-SE-lab.

Built with Sphinx using a theme provided by Read the Docs.