Installation Guide » History » Version 17
Andrei Tatarnikov, 03/19/2014 03:05 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 | 17 | 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 | 17 | 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 | 17 | Andrei Tatarnikov | # Download and install constraint solver tools to the <installation folder>/tools folder (see the "Installing Constraint Solver Tools" section). |
| 15 | 1 | Andrei Tatarnikov | # Open your console terminal and set the <installation folder>/bin as the working directory. |
| 16 | 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. |
| 17 | |||
| 18 | 17 | Andrei Tatarnikov | h3. Installing Constraint Solver Tools |
| 19 | 15 | Andrei Tatarnikov | |
| 20 | UNIX (Linux): "tools/z3/unix/z3" |
||
| 21 | Windows: "tools/z3/windows/z3.exe" |
||
| 22 | OS X: "../tools/z3/osx/z3" |
||
| 23 | |||
| 24 | 17 | Andrei Tatarnikov | h3. Installation Folder Structure |
| 25 | 13 | Andrei Tatarnikov | |
| 26 | The MicroTESK installation folder contains the following subfolders: |
||
| 27 | |||
| 28 | # _arch_ Examples of microprocessor specifications and test templates for the described designs. |
||
| 29 | # _bin_ Scripts to run features of MicroTESK (modelling and test generation). |
||
| 30 | 1 | Andrei Tatarnikov | # _doc_ Documentation on MicroTESK and nML/Sim-nML. |
| 31 | # _libs_ JAR files and Ruby scripts to perform modelling and test generation tasks. |
||
| 32 | 13 | Andrei Tatarnikov | # _output_ Generated Java models of the specified microprocessor designs. |
| 33 | 14 | Andrei Tatarnikov | |
| 34 | h3. Running MicroTESK |