ti / Yarmolik / КиДСВТ_Лекции_2014 / Вопросы_КиДСВТ_2013
.docВопросы по курсу «Контроль и диагностика средств вычислительной техники»
2013-2014 учебный год
-
Введение.
-
Модели неисправностей цифровых устройств.
-
Три множества тестовых последовательностей.
-
Общая методология построения тестов для заданной модели неисправностей.
-
Метод активизации одномерного пути.
-
Контр пример Шнейдера
-
Метод активизации многомерного пути. Кубическое описание логических элементов.
-
Метод активизации многомерного пути. D-алгоритм.
-
Булево-дифференциальный метод построения тестов.
-
Метод случайного поиска.
-
Комбинированный метод построения тестов.
-
Практические правила контролепригодного синтеза.
-
Практические правила контролепригодного синтеза.
-
Метод Рида-Маллера.
-
Метод контролепригодного синтеза в базисе 2 И-НЕ, НЕ.
-
Стэндфордский вариант.
-
Метод произвольного сканирования.
-
Метод LSSD.
-
Метод граничного сканирования. Стандарт реализации JTAG.
-
Метод счёта переходов.
-
Синдромное тестирование.
-
Генераторы тестовых воздействий. Генераторы псевдослучайных тестовых воздействий.
-
Генераторы M-последовательностей. Две альтернативные структуры.
-
Математическое описание генераторов M-последовательностей.
-
Свойства M-последовательностей.
-
Генератор последовательности де Брейна.
-
Генерация псевдослучайных последовательностей на клеточных автоматах.
-
Генератор Геффе (Geffe).
-
Генератор Stop&Go.
-
Каскадная схема Гольдмана (Goldman).
-
Пороговая схема генератора псевдослучайных чисел.
-
А5.1 алгоритм.
-
Синтез генераторов псевдослучайных тестовых наборов.
-
Вероятностное тестирование.
-
Алгоритм вычисления сигнальной вероятности произвольного полюса ЦС.
-
Определение длины вероятностного теста.
-
Псевдоисчерпывающее тестирование.
-
Сигнатурный анализ.
-
Достоверность сигнатурного анализа.
-
Синтез многоканальных сигнатурных анализаторов.
-
Сжатие в пространстве и во времени и мультиплексирование для многоканального сигнатурного анализа.
-
Применение структур типа BILBO.
-
Методика использования сигнатурного анализа для поиска неисправностей в кольце элементов, охваченных обратной связью.
-
Структура самотестируемого микропроцессора Intel 80386.
-
Циклическое тестирование, или BILBO-тестирование.
-
Самотестирование TMS32010.
-
S3 самотестирование.
-
STUMPS архитектура.
-
Microbit.
-
Примеры реализации самотестирования в современной практике.
-
Тестирование ОЗУ. Основные проблемы, возникающие при тестировании ОЗУ
-
Простейшие модели неисправности ОЗУ.
-
Модели сложных неисправностей ОЗУ. Неисправности взаимного влияния, кодочувствительные неисправности.
-
Обнаружение кодочувствительных неисправностей.
-
Тесты типа N2. Тесты типа N3/2.
-
Маршевые тесты.
-
Тесты для словоориентированных запоминающих устройств.
-
Самотестирование запоминающих устройств.
-
Неразрушающее тестирование ОЗУ. Процедура проведения неразрушающего тестирования ОЗУ.
-
Неразрушающие тесты ОЗУ, основанные на адаптивном сигнатурном анализе.
-
Свойства адаптивного сигнатурного анализа.
-
Симметричные неразрушающие тесты ОЗУ.
-
Параметрическое тестирование. Iddq тестирование.
-
Алгоритм построения Iddq тестов.
-
Псевдоисчерпывающие тесты.
-
Функциональные тесты. Тесты микропроцессоров.
-
Функциональные тесты. Системный граф.
-
Тест проверки механизма хранения и передачи данных.
-
Тесты программного обеспечения.
-
Неисправность, ошибка и неисправное поведение вычислительных систем.
-
Меры эффективности вероятностных тестов.
-
Вероятностные и антивероятностные тесты ПО.
-
Управляемые вероятностные тесты.
-
Антивероятностное тестирование.
-
Быстрое Антивероятностное Тестирование (FAR).
-
Упорядоченное Вероятностное Тестирование.
-
Оптимальные управляемые вероятностные тесты.
-
Оптимальные управляемые вероятностные тесты малой длины
-
Квази-случайные тестовые последовательности.
-
Модифицированные последовательности Соболя.
