Project

General

Profile

Installation Guide » History » Version 13

Andrei Tatarnikov, 03/19/2014 02:45 PM

1 7 Andrei Tatarnikov
2 1 Andrei Tatarnikov
h1. Installation Guide
3
4 7 Andrei Tatarnikov
5 1 Andrei Tatarnikov
*UNDER CONSTRUCTION*
6
7 13 Andrei Tatarnikov
h3. System requirements:
8 1 Andrei Tatarnikov
9 9 Andrei Tatarnikov
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. 
10 1 Andrei Tatarnikov
11 13 Andrei Tatarnikov
h3. Installation steps:
12 1 Andrei Tatarnikov
13
# Download and unpack the MicroTESK installation package (the .tar.gz file) to your computer.
14
# Open your console terminal and set the <installation folder>/bin as the working directory.
15 13 Andrei Tatarnikov
# Now you can run the compile.sh (or .bat) script to create a microprocessor model and the generate.sh (or .bat) script to generate test for this model.
16
17
h3. Installation folder structure:
18
19
The MicroTESK installation folder contains the following subfolders:
20
21
# _arch_   Examples of microprocessor specifications and test templates for the described designs.
22
# _bin_    Scripts to run features of MicroTESK (modelling and test generation).
23
# _doc_    Documentation on MicroTESK and nML/Sim-nML.
24
# _libs_   JAR files and Ruby scripts to perform modelling and test generation tasks.
25
# _output_ Generated Java models of the specified microprocessor designs.