Введение
1. Анализ современных методов диагностирование цифровых устройств и программных средств 15
1.1. Методы диагностирования цифровых устройств .. 15
1.2. Методы диагностирования программных средств. 31
1.3. Выводы 35
2. Диагностирование комбинационных устройств на основе естественного логического вывода 37
2.1. Постановка задачи диагностирования комбинационных автоматов 37
2.2. Разрешающая процедура естественного логического вывода 39
2.3. Алгоритм проверки исправности комбинационного устройства 43
2.4. Алгоритм идентификации представленной модификации комбинационного устройства, 50
2.5. Алгоритм установления равносильности булевых формул 57
2.6. Проверка правильности программ, реализующих булевы функции 59
2.6.1, Сходство и различие между задачами диагностирования аппаратуры и программных средств 60
2.6.2, Методика проверки правильности лрограмвде-ализующих булевы функции 61
2.7. Выводы 67
3. Диагностирование управляющих логических устройств на основе спещального представления их структуры .. 70
3.1. Модель управляющего логического устройства... 71
3.1.1. Модель управляющей части логического устройства 73
3.1.2. Алгоритмы построения последовательностей управляющих воздействий записи и считывания информации 75
3.2. Проверка исправности путей передачи информации и совокупностей элементов памяти управляющей части логического устройства 77
3.3. .Алгоритм проверки исправности управляющего логического устройства 85
3.4. Алгоритм идентификации представленной модификации управляющего логического устройства 92
3.5. Выводы 103
4. Разработка и исследование системы диагностирование управлявдйх логических устройств .105
4.1. Елок сопряжения диагностируемого объекта с ЭВМ 106
4.2. Организация и описание комплекса прикладных программ системы диагностирования 109
4.3. Результаты использования автоматизированной системы для диагностирования управляющего логического устройства 117
4.4. Выводы 124
Заключение 126
Литература 129
Приложение, Акты о внедрении результатов работы 141
