|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификацийстатья
- Авторы: Камкин А.С., Коцыняк А.М.
- Журнал: Проблемы разработки перспективных микро- и наноэлектронных систем МЭС
- Номер: 2
- Год издания: 2016
- Издательство: Институт проблем проектирования в микроэлектронике РАН
- Местоположение издательства: Москва
- Первая страница: 61
- Последняя страница: 67
- Аннотация: В данной работе описан инструмент автоматической генерации тестовых программ для подсистемы управления памятью MIPS64. Программное средство базируется на среде MicroTESK, разрабатываемой в ИСП РАН. Инструмент состоит из двух частей: архитектурно независимое ядро генерации тестовых программ и спецификация MIPS64. Подобное разделение не является новым - такой подход применяется в различных индустриальных генераторах тестовых программ, в том числе в Genesys-Pro от IBM. Основные различия состоят в представлении спецификаций, извлекаемой из них информации и способах её использования. В предлагаемом подходе спецификации включают в себя описания инструкций доступа к памяти (чтение и запись) и механизмов управления памятью, таких как буфер ассоциативной трансляции, страничные таблицы и кэши. Инструмент анализирует спецификации и извлекает пути выполнения и зависимости между ними. Полученная информация используется для систематического перебора тестовых программ для заданного пользователем шаблона. Тестовые данные для конкретной программы генерируются с использованием символического выполнения и решения ограничений.
- Добавил в систему: Корныхин Евгений Валерьевич