ChimpCheck

Introduction

ChimpCheck is a property-based testing tool for interactive apps.

Rich interactive applications, such as apps on mobile platforms, are complex stateful and often distributed systems where sufficiently exercising the app with user-interaction (UI) event sequences to expose defects is both hard and time-consuming. In particular, there is a fundamental tension between brute-force random UI exercising tools, which are fully-automated but offer low relevance, and UI test scripts, which are manual but offer high relevance. With ChimpCheck, we fuse scripting with randomized UI testing, enabling programming, generating, and executing property-based randomized test cases for Android apps.

ChimpCheck on Github: https://github.com/cuplv/ChimpCheck

Notes

ChimpCheck paper can be found here: arxiv

It is offically accepted to the Onward! 2017

If you are interested, keynotes for our talk can be found here

There is also a screencast version of our talk:

Demos

Following is a simple video to demonstrate using ChimpCheck to exercises one of the open source app we found on GitHub. For more interesting examples, please check the example folder in the project.