Project

General

Profile

MicroTESK 2.0.1 released

We are happy to announce the first build of the MicroTESK 2.0 test program generator for microprocessors.
Added by Alexander Kamkin about 10 years ago

We are happy to announce the first build of the MicroTESK 2.0 test program generator.

MicroTESK (Microprocessor TEsting and Specification Kit) is a reconfigurable framework for generating test programs for microprocessors and other programmable devices. The tool is customized for a specific instruction-set architecture with formal specifications in nML/Sim-nML language. Test programs are generated on a basis of test templates written in Ruby, which are abstract descriptions of test scenarios. Read more...

To generate test data, MicroTESK requires the Z3 solver be installed. See Installation Guide for more information.

The tool can be downloaded from the file page:
http://forge.ispras.ru/projects/microtesk/files

You are welcome to report bugs and leave your feedback at the main project site:
http://forge.ispras.ru/projects/microtesk


Comments