A tool to automate development of test program generators for microprocessors based on formal specifications.
In the present work, a tool to automate development of test program generators for microprocessors is described. The tool is based on the use of high-level formal specification that serve as a source of knowledge about the architecture of the microprocessor under test. Such an approach helps reduce efforts required to create test programs and to improve the quality of testing.Full text of the paper in pdf (in Russian)
Proceedings of Armensky Scientific and Technical Conference of Students, Graduates and Young Researchers of NRU HSE, pp.53-54.