Разработка и исследование алгоритмических методов синтеза проверяющих тестов для сменных цифровых узлов ЭВМ, содержащих элементы повышенной степени интеграции

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
I. ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ СУЩЕСТВУЮЩИХ МЕТОДОВ
СИНТЕЗА ТЕСТОВ И РАЗРАБОТКА АЛГОРИТМА СИНТЕЗА
ПРОВЕРЯЮЩИХ ТЕСТОВ ДЛЯ СЦУ.
1.1. Исследование основных характеристик сменного цифрового узла как объекта диагноза. . .
1.2. Разработка требований к алгоритмам и программным комплексам синтеза проверяющих тестов для СЦУ, содержащих элементы повышенной степени интеграции
1.3. Обзор литературы и анализ существующих методов диагностирования цифровых узлов ЭВМ . .
1.4. Сравнительные характеристики регулярных и случайных методов синтеза тестов.
1.5. Основные определения
1.6. Формулировка задачи случайного поиска тестовой последовательности.
1.7. Разработка алгоритма синтеза проверяющих
тестов для СЦУ.
1.8. Выводы
П. РАЗРАБОТКА И ИССЛЕДОВАНИЕ АЛГОРИТМОВ МОДЕЛИРОВАНИЯ УСТРОЙСТВ П0ТЕНЦИАЛЬН0ИЛПУЛЬСН0Г0 ТИПА, СОДЕРЖАЩИХ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ ПОВЫШЕННОЙ СТЕПЕНИ
ИНТЕГРАЦИИ.
2.1. Постановка задачи
2.2. Исследование эффективности алгоритмических средств организации вычислительного процесса моделирования.
2.3. Разработка алфавита моделирования и метода моделирования состязаний в дискретных устройствах потенциальноимпульсного типа
2.4. Разработка методики построения алгоритмовинтерпретаторов закона функционирования элементов повышенной степени интеграции . .
2.5. Анализ корректности синхронизированной псевдослучайной последовательности методом цифрового моделирования. III
2.6. Выводы
Ш. РАЗРАБОТКА И ИССЛЕДОВАНИЕ АЛГОРИТМОВ МОДЕЛИРОВАНИЯ
НЕИСПРАВНОСТЕЙ В ДИСКРЕТНЫХ УСТРОЙСТВАХ ПОТЕНЦИАЛЬ
ЮИМПУЛЬСН0Г0 ТИПА.
3.1. Постановка задачи . .
3.2. Разработка алгоритма параллельного моделирования неисправностей.
3.3. Разработка дедуктивного алгоритма вычисления списков обнаруживаемых неисправностей
3.4. Разработка математической модели неисправностей триггеров и элементов с динамическим управлением
3.5. Исследование и анализ параллельного и дедуктивного алгоритмов.
3.6. Выводы
У. РАЗРАБОТКА И ВНЕДРЕНИЕ ПРОГРАММНОГО КОМПЛЕКСА
АВТОМАТИЧЕСКОГО СИНТЕЗА ПРОВЕРЯЮЩИХ ТЕСТОВ ДЛЯ
ТИПОВЫХ ЭЛЕМЕНТОВ ЗАМЕНЫ
4.1. Технические характеристики комплекса
4.2. Структура и режимы работы
4.3. Особенности программной реализации.
4.4. Внедрение и результаты эксплуатации комплекса
4.5. Вывода.
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА