Project

General

Profile

Installation Guide » History » Revision 6

Revision 5 (Andrei Tatarnikov, 03/19/2014 01:29 PM) → Revision 6/115 (Andrei Tatarnikov, 03/19/2014 01:30 PM)

h1. Installation Guide 

 *UNDER CONSTRUCTION* 

 h2. System requirements: 

 MicroTESK is a set of Java-based utilities. 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.  

 h2. Installation steps: 

 # Download and unpack the MicroTESK installation package (the .tar.gz file) to your computer. 
 # The installation folder contains the following subfolders: 
 * _arch_        Examples of microprocessor specifications and test templates for the described designs. 
 * _bin_      Scripts to run features of MicroTESK (modelling and test generation). 
 * _doc_      Documentation on MicroTESK and nML/Sim-nML. 
 * _output_ Generated Java models of the specified designs (both source code and binary files).