Инструментальные средства Модели и методики № 2 (50) 2014 ПРИКЛАДНАЯ ИНФОРМАТИКА И. О. <...> Атовмян, докт. техн. наук, профессор НИЯУ МИФИ, г. Москва, IOAtovmyan@mephi.ru Е. Ф. Березкин, канд. техн. наук, доцент НИЯУ МИФИ, г. Москва, efberezkin@mephi.ru С. С. Ковалевский, докт. техн. наук, профессор НИЯУ МИФИ, г. Москва, Sergey.kss@gmail.com В. Б. Шувалов, канд. техн. наук, доцент, и. о. зав. кафедрой НИЯУ МИФИ, г. Москва, vbshuvalov@yandex.ru оптимизация тестирования сложных цифровых устройств В статье изложены основные принципы объединения отдельных тестовых проверок модулей, составляющих цифровое устройство, в единую тест-программу. <...> Объединение проверок проводится при неполной информации относительно реакций неисправного устройства. <...> Формулируются свойства оптимально упорядоченной последовательности проверок в тесте. <...> Ключевые слова: цифровое устройство, модуль, проверка, признак оптимальности, упорядоченная последовательность, тест-программа. введение П остроение контролирующих и диагностических тестпрограмм сложного цифрового устройства обусловлено необходимостью проведения анализа его реакций на тестовые воздействия при различных неисправностях. <...> Такой анализ представляет собой длительную и трудоемкую процедуру, и для всех неисправностей рассматриваемого класса практически не может быть проведен в приемлемые сроки [1]. <...> При этом объединение отдельных тестовых испытаний в тестпрограмму, предназначенную для автоматического испытания, приходится проводить при неполной информации относительно реакций не только неисправной системы, но и неисправного модуля. <...> 1), для которых можно построить тестовые воз76 Инструментальные средства Модели и методики действия известными способами. <...> Для каждого такого модуля строятся проверки (тестовые испытания с эталонными кодами) при условии исправного состояния остальных модулей, и затем полученные проверки объединяют в единую тестпрограмму устройства, располагая их в определенной последовательности <...>