Project

General

Profile

Installation Instruction » History » Version 9

Andrei Tatarnikov, 03/19/2014 12:03 AM

1 1 Alexander Kamkin
h1. Installation Instruction
2
3
*UNDER CONSTRUCTION*
4 2 Andrei Tatarnikov
5 4 Andrei Tatarnikov
h2. System requirements:
6
7 9 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. Also, 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.