Ivannikov Institute for System Programming of the RAS


A tool to automate development of test program generators for microprocessors based on formal specifications.

Authors

A.D. Tatarnikov.

Abstract

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)

Keywords

microprocessors; hardware; verification; testing; test generation; modeling; architecture description languages.

Edition

Proceedings of Armensky Scientific and Technical Conference of Students, Graduates and Young Researchers of NRU HSE, pp.53-54.

Research Group

Software Engineering

All publications during 2015 All publications