A Cornipickle probe for Android Applications

The Cornipickle testing tool can automatically detect and report violations of Android user interface guidelines. Users write statements in a high level language, called Cornichon, and Cornipickle can automatically check during the execution of the application that these statements are respected at all times. The client code is a probe that send all information about the current state of the window activity and relaying it to the server for further processing.

The probe in this repository has been described in the following research paper:

• C. Meniar, F. Opalvens, S. Hallé. (2017). Runtime Verification of User Interface Guidelines in Mobile Devices. In Proc. of the 9th International Conference on Runtime Verification, RV 2017.

For more information about UI guidelines, please visit https://material.io/guidelines/.

Table of Contents {#toc}

• Compiling and installing the Cornipickle probe
  • Server
  • Client (Probe).
• About the author

Compiling and Installing Cornipickle {#install}

Server:

• For install and run server ,you can find more information here

Probe: {#probe}

Download or clone the source for Cornipickle using Git:

git@https://bitbucket.org/chafdev/cornipickle-sonde-mobile

Building

First navigate to root sonde folder and run the following command:

 gradlew assembleDebug or gradlew assembleRelease (For mode release)

Run on the emulator:

1. Create an Android Virtual Device (AVD)
2. Run emulator -avd

Built-in Examples

Cornipickle contains a few examples for testing ui guidelines. You can try these examples by starting the server and launching the app but you must set the address of the server in values.xml.

• Click on key (B) for displaying Bug
• Click on key (N) for returning to normal

About the author {#about}

The Cornipickle Android Probe was written by Chafik Meniar, then a Masters' Student at Université du Québec à Chicoutimi, Canada.