Моделирование, тестирование и диагностика цифровых устройств

Упражнение 1:

Номер 1

Какие основные подходы используются при построении тестов для цифровых схем с памятью?

Ответ:

(1) верификация на основе методов доказательств теорем

(2) эксперименты с автоматами

(3) структурные методы

Номер 2

На чем основаны методы построения идентифицирующих и тестовых последовательностей в экспериментах над автоматами?

Ответ:

(1) дерево преемников состояний

(2) дерево предшественников состояний

(3) граф переходов-выходов автомата

Номер 3

Чем отличается прямое различающее дерево от дерева преемников состояний?

Ответ:

(1) конечная высота дерева

(2) наличие оконечных вершин

(3) наличие корневой вершины

Упражнение 2:

Номер 1

Что определяет в прямом различающем дереве тестовую последовательность?

Ответ:

(1) путь от корня дерева до гомогенной А-группы

(2) путь от нулевой вершины до негомогенной вершины

(3) цикл на графе

Номер 2

Чем характеризуется гомогенная А-группа?

Ответ:

(1) состояния исправного и неисправного автомата дают одинаковые выходные реакции

(2) состояния исправного и неисправного автомата дают Различные выходные реакции

(3) состояния исправного и неисправного автомата дают неопределенные выходные реакции

Номер 3

Что определяет в обратном различающем дереве тестовую последовательность?

Ответ:

(1) путь от нулевой вершины дерева до смешанной А-группы

(2) путь от нулевой вершины до гомогенной вершины

(3) путь на графе, связывающий произвольные вершины различных уровней дерева

Упражнение 3:

Номер 1

Что идентифицирует входная установочная последовательность?

Ответ:

(1) начальное состояние автомата

(2) конечное состояние автомата

(3) неопределенное состояние автомата

Номер 2

Что идентифицирует входная диагностическая последовательность?

Ответ:

(1) начальное состояние исправного автомата

(2) конечное состояние исправного автомата

(3) неопределенное состояние исправного автомата

Номер 3

Что делает синхронизирующая входная последовательность?

Ответ:

(1) синхронизирует во времени автомат

(2) переводит автомат в определенное состояние

(3) переводит автомат в неопределенное состояние

Упражнение 4:

Номер 1

Что позволяет восстановить контрольный эксперимент?

Ответ:

(1) таблицу истинности булевой функции

(2) таблицу переходов-выходов автомата

(3) граф переходов-выходов автомата.

Номер 2

Какие фазы включает контрольный эксперимент?

Ответ:

(1) инициализация автомата

(2) идентификация состояний автомата

(3) проверка переходов автомата

(4) анализ состязаний

Номер 3

Какие входные последовательности можно использовать на этапе инициализации?

Ответ:

(1) синхронизирующие

(2) установочные

(3) диагностические

Номер 4

Какие входные последовательности можно использовать на этапе проверки переходов?

Ответ:

(1) синхронизирующие

(2) установочные

(3) диагностические

Упражнение 5:

Номер 1

Как строится комбинационный эквивалент?

Ответ:

(1) путем замыкания обратных связей

(2) путем обрыва обратных связей

(3) путем устранения элементов памяти

Номер 2

Чему соответствует комбинационный эквивалент?

Ответ:

(1) состоянию исправной схемы

(2) такту времени

(3) состоянию неисправной схемы

Номер 3

Как соединяются комбинационные эквиваленты в итеративную комбинационную схему?

Ответ:

(1) параллельно

(2) произвольно

(3) последовательно

Номер 4

Какие дополнительные условия накладываются на построение тестов с использованием итеративной комбинационной схемы?

Ответ:

(1) псевдовходы должны остаться неопределенными

(2) псевдовыходы должны остаться неопределенными.

(3) одиночная неисправность преобразуется в кратную

Номер 5

Какой метод генерации тестов комбинационных схем можно применять для построения теста для последовательностных схем на основе итеративной комбинационной схемы?

Ответ:

(1) псевдослучайный метод

(2) PODEM

(3) любой

Упражнение 6:

Номер 1

Алфавиты какой значности используются для построения тестов для последовательностных схем?

Ответ:

(1) 3

(2) 5

(3) 6

(4) 9

(5) 10

(6) 12

(7) 16

Номер 2

Какие фазы включает контрольный эксперимент?

Ответ:

(1) инициализация автомата

(2) идентификация состояний автомата

(3) проверка переходов автомата

(4) анализ состязаний

Номер 3

Какие виды импликации используются при построении тестов в 16-значном алфавите?

Ответ:

(1) прямая логическая

(2) обратная логическая

(3) структурная

Упражнение 7:

Номер 1

Что учитывается в процессе структурной импликации?

Ответ:

(1) начальное состояние

(2) структурные свойства схемы

(3) логические функции элементов

Номер 2

К чему сводится прямая логическая импликация?

Ответ:

(1) логическое моделирование в троичном алфавите

(2) логическое моделирование в 16-значном алфавите

(3) D-распространение

Номер 3

Что дает увеличение значности алфавита при построении теста?

Ответ:

(1) повышение адекватности

(2) сокращение перебора

(3) ускорение

Номер 4

Чем определяется число комбинационных эквивалентов в итеративной комбинационной схеме?

Ответ:

(1) числом состояний

(2) ограничениями на оперативную память

(3) значностью алфавита

Упражнение 8:

Номер 1

Чем отличаются одиночная и кратная стратегии наблюдения выходных сигналов?

Ответ:

(1) числом обрабатываемых состояний

(2) числом обрабатываемых моментов времени

(3) числом обрабатываемых выходных сигналов

Номер 2

Как должны отличаться пары состояний исправной и неисправной схем при одиночной стратегии?

Ответ:

(1) в один и тот же момент времени

(2) в разные моменты времени

(3) не должны отличаться

Номер 3

Как могут отличаться пары состояний исправной и неисправной схем при кратной стратегии?

Ответ:

(1) в один и тот же момент времени

(2) в разные моменты времени

(3) не должны отличаться

Упражнение 9:

Номер 1

Что присваивается линиям схемы в процессе символьного моделирования?

Ответ:

(1) определенные значения многозначного алфавита

(2) логические выражения

(3) неопределенные значения многозначного алфавита

Номер 2

От каких переменных зависят логические выражения в символьном моделировании?

Ответ:

(1) от входных переменных

(2) от переменных состояний исправной схемы

(3) от переменных состояний неисправной схемы

Номер 3

Какое условие окончания генерации теста при использовании дизъюнктивной формы различающей функции?

Ответ:

(1)

(2)

(3)

Номер 4

Какое условие окончания генерации теста при использовании конъюнктивной формы различающей функции?

Ответ:

(1)

(2)

(3)

Номер 5

Что соответствует терму различающей функции?

Ответ:

(1) узел прямого различающего дерева

(2) узел обратного различающего дерева.

(3) корневая вершина различающего дерева

Моделирование, тестирование и диагностика цифровых устройств - тест 24