В отчете приводится аналитический обзор по разработке методов генерации автоматизированных процедур контроля и диагностики. и разработке аппаратуры автоматического контроля средств ВТ. Описаны алгоритмы построения полного проверяющего теста, лан метод минимизации граф-схем алгоритмов и описана программа синтеза диагностирующего и проверяемого теста для цифровых схем. Описаны средства обработки диагностической информации.