Разработка и исследование методов синтеза тестов для дискретных устройств на основе модели альтернативных графов

• Автор: Плакк, Мари Пауловна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Таллин
• Количество страниц: 140 c. : ил

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.

ГЛАВА I. ИССЛЕДОВАНИЕ МЕТОДОВ.СИНТЕЗА.ТЕСТОВ ДЛЯ . . ЦИФРОВЫХ СХЕМ.

1.1. Основные понятия

1.2. Критический обзор существующих методов синтеза тестов Выводы .

ГЛАВА 2. ПРЕДСТАВЛЕНИЕ ОБЪЕКТА ДИАГНОСТИРОВАНИЯ

АЛЬТЕРНАТИВНЫМИ ГРАФАМИ.

2.1. Понятие альтернативного графа

2.2. Синтез функциональных АГ методом разложения булевых функций

2.3. Структурный подход к синтезу АГ

2.4. Основные свойства модели АГ

2.4.1. Структурные свойства АГ
2.4.2. Эквивалентные преобразования АГ
2.4.3. Инвертирование АГ
2.5. Переход от модели САГ к модели ФАГ.
2.6. Модель АГ для последовательностных схем
2.6.1. Представление временного параметра в АГ.
2.6.2. Модель ЦУ с элементами памяти
2.6.3. Модель ЦУ с обратными связями .
ГЛАВА 3. СИНТЕЗ ТЕСТОВ ЦУ НА МОДЕЛИ АЛЬТЕРНАТИВНЫХ ГРАФОВ.
3.1. Основы синтеза тестов на модели САГ .
3.2. Активизация на ЦУ путей с различной мерностью .
3.3. Синтез тестов на системе САГ.
3.4. Анализ компенсации неисправностей на АГ
3.5. Синтез тестов для последовательностных схем .
3.6. Выявление состязаний на АГ
Выводы .
ГЛАВА 4. СИНТЕЗ ТЕСТОВ МОДУЛЬНЫМ ПОДХОДОМ.
4.1. Вопросы синтеза тестов модульный подходом
4.2. Трансляция выходных реакций многовыходного модуля
на ТФАГ.
4.3. Синтез локальных тестов модуля при переходе от САГ
4.4. Групповая активизация множества функционально зависимых выходов .
Выводы.
ГЛАВА 5. РЕАЛИЗАЦИЯ И ЭКСПЕРИМЕНТАЛЬНЫЕ ДАННЫЕИЗ
5.1. Машинное представление и обработка модели АГ .Ц
5.2. Внедрение и.экспериментальные данные .Д
Выводы
ЗАКЛШЕНИЕ.
ЛИТЕРАТУРА


В приложении приведены акты о внедрении результатов настоящей диссертационной работы. Диссертационная работа выполнена на кафедре ЭВМ Таллинского политехнического института под научным руководством академика ЭССР, профессора Б. Г. Тамм. Большую помощь при выполнении данной работы оказал также доцент кафедры ЭВМ к. P.P. Убар. ГЛАВА I. Вводятся основные понятия тестового диагностирования, дается критический обзор существующих методов синтеза тестов и обосновывается перспективность разработки системы синтеза тестов на основе модели альтернативных графов. I.I. Техническая диагностика является отраслью знаний, включающей в себя теорию и методы организации процессов диагноза, а также принципы организации процессов диагноза для объектов технической природы Xl] . Наиболее универсальной областью технической диагностики, предназначенной для диагностирования устройств разных видов, является тестовое диагностирование. В общих чертах тестовое диагностирование цифровых устройств (ЦУ), предназначенных для обработки дискретных сигналов, предполагает построение входных, т. В настоящей работе рассматривается задача синтеза тестовых воздействий (далее тестов) для диагностирования ЦУ. В зависимости от свойственного им закона функционирования цифровые схемы разделяют на комбинационные и последовательностные. CZbx ) I (I. ЦУ, а выход каждого элемента связан не более чем с одним входом другого элемента. Общим случаем КС являются КС с разветвлениями, где требования бесповторности не выполнены. Схема называется последовательностной (ПС), если значения ее выходных сигналов г* ^ 2вос* зависят от сигналов, поданных на входы схемы в данный момент времени, а таете от сигналов, подававшихся на эти входы ранее и определяющих тем самым внутреннее состояние е 2Гп устройства. Ч) = ;? Хп (О), 2^ е Zп (1. При таком представлении ПС рассматривается как конечный автомат, реализующий некоторый алгоритм обработки слов в конечном алфавите, где такт связывается с шагом этого алгоритма. Работа реальной ПС соответствует модели выполнения заданного алгоритма только в моменты достижения автоматом устойчивых состояний ? По способу формирования такта ПС разделяются на синхронные и асинхронные. Б синхронном автомате сигнал для смены тактов работы автомата подается извне специальным синхросигналом. Б асинхронном автомате этот сигнал формируется самим автоматом, а длительность такта определяется длительностью переходных процессов в автомате. Вследствие разброса задержек сигналов в элементах и в линиях связи между элементами, в схемах ЦУ могут возникать состязания сигналов, т. Состязания в КС обычно не рассматриваются, так как кратковременные импульсы в КС не запоминаются, а на выходах схемы измеряются только установившиеся значения выходных сигналов [i] . В работе ПС рассогласование сигналов во времени монет вызвать либо генерацию, когда схема в результате воздействия некоторого входного набора не приходит ни в одно из устойчивых состояний, либо критические состязания, когда переход в устойчивое состояние осуществляется, но заранее нельзя указать это состояние, либо риск статического сбоя для тех сигналов обратной связи, которые должны сохранять свои значения на некотором переходе, i. Чтобы учесть эти явления при проверке ПС, обычно выполняется троичное моделирование [3,4] ,Д -троичное [5] или другие виды [б] моделирования построенной тестовой последовательности для выявления некорректных переходов. Предлагаются также методы построения корректных тестовых последовательностей для ПС, исключающие появление критических состязаний [7,8] . Задачей диагностирования является определение технического состояния ЦУ, а такне поиск дефектов, состоящий в определении места и вида дефекта с определенной глубиной, т. Техническое состояние устройства считается исправным, если устройство удовлетворяет всем техническим требованиям, предъявленным к нему в данный конкретный период его жизни (изготовления, применения по назначению, ремонта, хранения) [9] . Неисправное состояние устройства вызывается появлением в нем кай.