- •Министерство общего и профессионального образования российской федерации
- •Учебное пособие Воронеж 2000
- •Учебное издание
- •394026 Воронеж, Московский поспект, 14
- •1. Тестовое диагностирование в цифровой технике:
- •1.1. Введение
- •1.2. Тестовое диагностирование в цифровой технике: цепи и терминология
- •1.3. Процедуры и проблемы программного тестирования
- •1.4. Необходимость проектирования тестопригодных схем
- •2. Анализ тестопригодности: система camelot
- •2.1. Количественная оценка тестопригодности
- •2.2 Принципы вычисления управляемости
- •2.3 Принципы вычисления наблюдаемости
- •2.4 Принципы вычисления тестопригодности
- •2.4.1. Тестопригодность как функция управляемости и наблюдаемости
- •2.5. Применение системы camelot на практике.
- •2.5.1. Количественная оценка проектируемых схем.
- •2.5.2. Автоматический выбор контрольных точек.
- •2.5.3 Методика генерации тестов вручную.
- •2.5.4. Методика автоматической генерации тестов
- •2.6. О других системах анализа тестопригодности
- •2.7. Заключительные замечания о методах анализа
- •3. Методы структурного проектирования
- •3.1. Принцип метода сканирования: сканируемый путь
- •3.2. Сканирование с произвольным доступом
- •3.3. Метод сканирования, чувствительного к уровню тактового сигнала
- •3.4. Недостатки и достоинства методов сканирования
- •3.5. Методы самотестирования: bilbo
- •3.5.3. Устройство встроенного поблочного диагностирования логических схем (bilbo)
- •3.6. Заключительные замечания о методах сканирования
- •4. Генерация тестов для схем, реализующих принцип сканирования
- •4.1. Алгоритм podem, условные обозначения, понятия и принципы
- •4.1.5. Вычисление относительных значении управляемости
- •4.2. Процедура podem
- •4.2.1. Пример 1. Основной принцип podem
- •4.2.2. Пример 2. Многомерный d-проход
- •4.2.3. Пример 3. Переопределение состояний первичных входов
- •4.2.4. Заключение относительного алгоритма podem
- •4.3. Процедура raps
- •4.3.1 Пример 4. Процедура raps
- •4.3.2. Заключение о процедуре raps
- •4.4. Методика выполнения процедур raps и podem
- •4.4.1 Использование статического сжатия тестов
- •4.4.2. Использование динамического сжатия тестов
- •4.5. Замечание относительно процедуры моделирования неисправностей
- •4.6. Заключительные замечания о процедурах podem и raps
- •5. Практические рекомендации по проектированию тестопригодных схем
- •5.1. Средства поддержки процедуры генерации тестов
- •5.2. Средства поддержки процедур тестирования и поиска неисправностей
- •Содержание
Содержание
Тестовое диагностирование в цифровой технике:
Необходимость проектирования тестопригодных схем………………………..4
1.1 Введение……………………………………………………………………….4
Тестовое диагностирование в цифровой технике:
Цепи и терминология……………………………………………………………..4
Процедуры и проблемы программного тестирования……………………...5
Необходимость проектированмя тестопригодных схем…………………...8
Анализ тестопригодности: система CAMELOT…………………………….………………………………………..9
2.1 Количественная оценка тестопригодности………………………………….9
Принципы вычисления управляемости…………………………………….10
Принципы вычисления наблюдаемости……………………………………14
Принципы вычисления тестопригодности…………………………………18
Приминение системы CAMELOT на практике……………………………19
О других системах анализа тестопригодности…………………………….29
Заключительные замечания о методах анализа тестопригодности………33
Методы структурного проектирования и самотестирования……………..34
Принцип метода сканирования: сканируемый путь………………………35
Сканирование с произвольным доступом………………………………….38
Метод сканирования, чувствительного к уровню тактового сигнала……40
Недостатки и достоинства методов сканирования………………………..47
Методы самотестирования: BILBO………………………………………...49
Заключительные замечания о методах сканирования…………………….65
Генерация тестов для схем, реализующих принцип сканирования…………………………………………………………...…….65
Алгоритм PODEM, условные обозначения, понятия и принципы……….66
Процедура PODEM………………………………………………………….71
Процедура RAPS…………………………………………………………….82
Методика выполнения прцедуры RAPS и PODEM……………………….86
Замечание относительно процедуры моделирования неисправностей…..92
Заключительные замечания о процедурах PODEM и RAPS……………...94
Практические рекомендации по проектированию
тестопригодных схем……………………………………………………………94
Средства поддержки процедуры генерации тестов……………………….94
Список литературы……………………………………………………………..120