Installation Instruction » History » Version 11
Andrei Tatarnikov, 03/19/2014 12:07 AM
| 1 | 11 | Andrei Tatarnikov | h1. Installation Guide |
|---|---|---|---|
| 2 | 1 | Alexander Kamkin | |
| 3 | *UNDER CONSTRUCTION* |
||
| 4 | 2 | Andrei Tatarnikov | |
| 5 | 4 | Andrei Tatarnikov | h2. System requirements: |
| 6 | |||
| 7 | 10 | Andrei Tatarnikov | MicroTESK is a Java application. 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. |
| 8 | 4 | Andrei Tatarnikov | |
| 9 | h2. Installation steps: |
||
| 10 | |||
| 11 | 1 | Alexander Kamkin | # Download and unpack the MicroTESK installation package (the .tar.gz file) to your computer. |
| 12 | # The installation folder contains the following subfolders: |
||
| 13 | 4 | Andrei Tatarnikov | * _arch_ Stores examples of microprocessor specifications and test templates for the described designs. |
| 14 | 7 | Andrei Tatarnikov | * _bin_ Stores scripts to run features of MicroTESK (modelling and test generation). |
| 15 | * _javadoc_ Stores JavaDoc files. |
||
| 16 | * _output_ Stores generated Java models of the specified designs (both source code and binary files). |
||
| 17 | * _xdocs_ Stores documentation on MicroTESK and nML/Sim-nML. |