Сборники трудов ИСП РАН


Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров.

А.С. Камкин.

Аннотация

В работе рассматриваются вопросы автоматизированного построения тестовых программ, предназначенных для функциональной верификации модулей обработки переходов микропроцессоров. Формулируются задачи, возникающие при создании таких программ, и предлагаются техники их автоматизированного решения. Статья фокусируется на общих вопросах тестирования механизмов обработки переходов и не затрагивает проблемы специфичные для конкретных микропроцессорных архитектур. Предложенные техники можно использовать в промышленных генераторах тестовых программ.

Ключевые слова

тестирование на основе моделей, компонентные технологии, внедрение зависимостей, разработка тестов, модульное тестирование.

Издание

Труды Института системного программирования РАН, том 18, 2010, стр. 129-150.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома