Kea: a property-based testing tool for mobile apps

Kea is a testing tool based on the idea of property-based testing for finding functional bugs in Android apps. Given a set of properties, Kea automatically generates test cases to check the properties. When a property is violated, Kea generates a bug report that shows the bug’s behavior. Users can use Kea in the following steps:

1. Specify properties for the app under test. A property is the expected behavior of the app under certain conditions. Users can specify properties based on the app’s specification, documentation, test cases, or bug reports. Currently, Kea supports specifying properties in Python with multiple APIs.

2. Run Kea with the properties and the app under test. Kea will automatically generate test cases to explore the app. When the precondition of a property is satisfied, Kea will execute the interaction scenario of the property and check the postcondition. If the postcondition is violated, Kea will generate a bug report.

Contents

PART1: QUICK START

• Set up Android Environment
  • Option A Setup your environment with Android Studio
  • Option B Setup your environment with cmds
• Write your first property
  • Check your Environment
  • Installation
  • Write your first property
  • Start kea and check your property

PART2: USER MANUEL

• Introduction
  • How It Works
  • Advantages of Kea
  • How to read bug reports
• PDL API
  • UI events
  • Selector
  • Examples
• How to write properties
  • Specify property from historical bugs
  • Specify property from app function
• Kea’s args options
  • Kea’s args
  • YAML config
  • What does kea do when running multiple properties?
• Stateful Testing

PART3: KEA FOR HarmonyOS

• Set up HarmonyOS environment
  • 1. Install DevEco Studio
  • 2. Set up cmdline tools (hdc)
  • 3. Run an emulator
• Write property for HarmonyOS
  • tutorial for uiviewer (UI inspector for HarmonyOS)
  • HarmonyOS PDL API
  • Launch Kea for HarmonyOS

PART4: APPENDIX

• Trophies
• Property Description Language