MicroTESK 2.0.1 released
We are happy to announce the first build of the MicroTESK 2.0 test program generator for microprocessors.
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