Formal Models generation (guided by exploration strategies) and automatic testing Tool for Mobile application .
Requirements for the execution of MCrawlerT:
- GNU/Linux distribution(Ubuntu 12.04)/MacOSX(10.x)
- JDK v.1.7.+
- Android sdk v.22 or later
- Libraries for Android 2.3.4 or later
- Ant version 1.9.3 or later
- System variables:
- ANDROID_HOME must be set to the sdk path of Android
- JAVA_HOME must be set to the Java sdk path
- Add the path of Ant, android platform-tools and apktool directories to the environment variable.
Quick Start:
- Check out the project and go to TOOLS/source
- Unzip the tools library available in https://www.dropbox.com/sh/lkabg121duddkwq/AADA55vVegJ85fi2sl2GRXCza?dl=0 into the source directory (source/MCrawlerTLibs)
- Launch the following script to build the main and its sub-projects:
cd TOOLS
(a) android update lib-project -p source/sgdAndroidKit
(b) android update project -p source/sga
(c) ant -buildfile source/MCrawlerTDesktop/build.xml -Dsdk.args="$ANDROID_HOME" -Dall.project.dir="../" -Dtools.args="McrawlerT" generate_tools
Absolute path of the following files must be set as ant arguments: the android sdk, the project directory and the output directory name 'e.g: McrawlerT'.
- Tools are available in source/MCrawlerTDesktop/McrawlerT You must have the following files in your tool directory: (a) apktool (b) KEYSTORE (c) libs (d) projectTemplate (e) sga.apk (f) scripts (h) sgd (i) stsDisplayer
- A system variable called MCRAWLERT must be set to the MCrwalerT tool path.
- Export environment variables, then call the script mct.sh. A simple export.sh file where a list of useful runtime information must be filled. Examples are available in the 'exemples' directory
- For more detailed, please refer to wiki.pdf file.