Аннотация:В данной работе описан инструмент автоматической генерации тестовых программ для подсистемы управления памятью MIPS64. Программное средство базируется на среде MicroTESK, разрабатываемой в ИСП РАН. Инструмент состоит из двух частей: архитектурно независимое ядро генерации тестовых программ и спецификация MIPS64. Подобное разделение не является новым - такой подход применяется в различных индустриальных генераторах тестовых программ, в том числе в Genesys-Pro от IBM. Основные различия состоят в представлении спецификаций, извлекаемой из них информации и способах её использования. В предлагаемом подходе спецификации включают в себя описания инструкций доступа к памяти (чтение и запись) и механизмов управления памятью, таких как буфер ассоциативной трансляции, страничные таблицы и кэши. Инструмент анализирует спецификации и извлекает пути выполнения и зависимости между ними. Полученная информация используется для систематического перебора тестовых программ для заданного пользователем шаблона. Тестовые данные для конкретной программы генерируются с использованием символического выполнения и решения ограничений.