Mirror-based method of constraints generation for test programs generation by test template.
The article is devoted to core-level functional verification of memory management units. The article presents method of directed test cases generation. This generation supposes systematic construction of test programs by given test templates. The proposing method has been applied to test cases generation for memory management units of MIPS64-compatible microprocessors.
Proceedings of the Institute for System Programming, vol. 18, 2010, pp. 67-80.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).Full text of the paper in pdf (in Russian) Back to the contents of the volume