ИСТИНА

MicroTESK is a tool that automates construction of test program generators for microprocessors. The main part of each constructed generator is the core implementing architecture-independent generation methods. To generate tests for the required architecture, the model of that architecture is used. The tool extracts this information from formal specifications of the instruction set architecture. Besides, test generators use high-level test templates provided by users or created automatically. The latter allows providing an automated architecture validation of microprocessors as it allows including all supported in the current architecture instructions into resulted test cases. MicroTESK has been applied to the ARMv8, MIPS64, PowerPC, RISC-V, and x86 architectures.