Построение тестов методом существенных путей

1. Найти условие проявления неисправности

2. Найти условие транспортировки неисправности

3. Найти наборы, которые удовлетворяют обоим условиям одновременно, т.е. найти наборы при которых истинно булево выражение:

Чтобы построить тест, обнаруживающий неисправность y₆ = const 1, или любую другую неисправность элемента D6, необходимо найти соответствующие условия проявления неисправностей, а условие транспортировки остается прежним…

3 31 1. Модели автоматов с памятью. Особенности диагностиpования автоматов с памятью.

Модели дискретных объектов с памятью Абстрактный конечный автомат. Автомат Мили

Абстрактный конечный автомат X – внешний входной сигнал Z – внешний выходной сигнал W – сигнал возбуждения элементов памяти Y – сигнал состояния автомата Синхронный автомат: Отработка изменения состояния (Y) и входного сигнала (X) происходит одновременно через интервал синхронизации (такт).

Функционирование абстрактного автомата

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

Аналитическое описание абстрактного автомата: Перечисление всех возможных пар «входной сигнал – состояние» и сопоставление этим парам комбинаций выходных сигналов и сигналов состояний в следующий момент времени. Форма представления описаний: графы переходов-выходов, таблицы, матрицы…

Граф переходов-выходов

1.Вершины соответствуют состояниям автомата

2.Дуги соответствуют переходам

3.Каждой дуге приписан:

• входной символ, вызывающий переход

• выходной символ, генерируемый автоматом

Таблица переходов-выходов (пример) А. Определяются: • Входной алфавит {X} = {X₁ , X₂ }

• Выходной алфавит {Z} = {Z₁ , Z₂ } • Алфавит состояний {Y} = {Y₁ , Y₂ , Y₃ , Y₄ , Y₅ } Б. Ставятся в соответствие: • Строкам - входные символы в момент v• Столбцам – состояния автомата в момент v В. В клетках: • Состояния автомата в момент v +1 • Выходной сигнал в момент v

Разновидности автоматов Автомат находится в устойчивом состоянии, если при одном и том же входном символе состояния автомата в момент v и в момент v +1 одно и то же. (в примере – состояния Y₁ , Y₄ , Y₅ при входных символах X₁ , X₂ , X₂ , соответственно) Инициальный автомат – автомат с определенным начальным состоянием В неинициальном автомате – любое состояние может быть начальным

Структурная модель автомата 1.Каждый из символов входного и выходного алфавитов, алфавитов функций возбуждения и состояний кодируются наборами соответствующих переменных. 2.Каждый вход (выход) абстрактного автомата представляется группой линий, соответственно числу входных, внутренних и выходных переменных.

3 32 2. Пpоблемы испытаний микpопpоцессоpных систем. Методы испытаний.

Проблемы тестирования микропроцессорных систем

1. Сложность комплектующих – до 10⁶ и более компонентов на кристалле

2. Высокая плотность компонентов на кристалле

3. Взаимное влияние компонентов

4. Зависимость поведения от напряжения питания, температуры, топологии

5. Ограниченное количество контрольных точек

6. Высокие рабочие частоты

7. Зависимость поведения от последовательности состояний

8. Шинная организация соединений

9. Сложная, многофазная система синхронизации

10.Комплексная, программно-аппаратная реализация целевых функций

11.Многофункциональность выводов

12.Огромные объемы данных

13.Непериодичность исследуемых процессов

14.Сложность моделирования

15.Трудоемкость синтеза тестов

16.Невозможность полного контроля

Пусть объект контроля – 8 разрядный микропроцессор Intel 8080 Количество элементов памяти

~ 200 Тактовая частота ~ 3 МГц Сколько времени необходимо для полного контроля такого объекта? Полный контроль 8-разрядного микропроцессора потребует… ~10³² лет!!!

Логический анализ - метод диагностирования цифровых систем, основанный на преобразовании множеств двоичных последовательностей, поступающих от ОК(объекта контроля), в подмножества меньшей мощности, запоминании этих подмножеств и отображении полученной информации в форматах, наиболее полно отражающих логику функционирования объекта на том или ином уровне описания.