Installation Guide » History » Revision 12

« Previous | Revision 12/95 (diff) | Next »
Andrei Tatarnikov, 03/19/2014 02:16 PM

Installation Guide


System requirements:

MicroTESK is a set of Java-based utilities that are run from the command line. It can be used on Windows, Linux and OS X machines that have JDK 1.6 or later installed. To build MicroTESK from source code or to build generated Java models, Apache Ant version 1.8 or later is required. To generate test data based on constraints, MicroTESK needs Microsoft Research Z3 that can work under the corresponding operating system.

Installation steps:

  1. Download and unpack the MicroTESK installation package (the .tar.gz file) to your computer.
  2. Open your console terminal and set the <installation folder>/bin as the working directory.
  3. Now you can run the (or .bat) script to create a microprocessor model and the (or .bat) to generate test for this model.

Updated by Andrei Tatarnikov over 5 years ago · 12 revisions