Патент №2409839 - Способ тестирования компонентов микропроцессоров, тестовый оракул для тестирования компонентов микропроцессоров, способ работы тестового оракула, способ построения тестового оракула

Группа изобретений относится к средствам тестирования компонентов микропроцессоров конвейерной архитектуры. Техническим результатом является создание средств, работающих с применением тестов, использующих возможности параллельного выполнения инструкций с возможной их комбинацией. При этом в начале каждого цикла тестирования с помощью генератора тестовой последовательности строят обращение к тестируемому компоненту и передают все входящие в обращение сигналы тестируемому компоненту и оракулу, после этого подают в оракул все выходные сигналы тестируемого компонента, оценивают их корректность. Тестовый оракул состоит из модели требований к тестируемому компоненту, которая включает описание интерфейса тестируемого компонента, описание внутренних данных тестируемого компонента и описание ограничений на поведение тестируемого компонента, извлеченных из требований к тестируемому компоненту, состоящее из перечня ограничений целостности данных, перечня предусловий операций, перечня условий блокировки отдельных стадий, перечня постусловий отдельных стадий, и модели конвейера тестируемого компонента, включающей модель данных конвейера, функцию сдвига конвейера и функцию проверки корректности стадий. 3 н. и 9 з.п. ф-лы, 5 ил.