Installation Instruction » History » Revision 7
Revision 6 (Andrei Tatarnikov, 03/18/2014 11:54 PM) → Revision 7/11 (Andrei Tatarnikov, 03/19/2014 12:00 AM)
h1. Installation Instruction *UNDER CONSTRUCTION* h2. System requirements: 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 generated Java models, _Apache Ant version 1.8_ or later is required. To generate test data based on constraints, MicroTESK needs Microsoft Research Z3. 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_ Stores examples of microprocessor specifications and test templates for the described designs. * _bin_ Stores scripts to run features of MicroTESK (modelling and test generation). generation) * _javadoc_ Stores JavaDoc files. * _output_ Stores generated Java models of the specified designs (both source code and binary files). * _xdocs_ Stores documentation on MicroTESK and nML/Sim-nML. nML/Sim-nML