Практические занятия Прикладная теория цифровых автоматов
  • Регистрация
1 1 1 1 1 1 1 1 1 1 Рейтинг 0.00 (0 Голоса)

Занятие 11. Построение полного проверяющего теста для И-НЕ схем

Цель занятия. Научится строить полный для схем на И-НЕ проверяющий тест.

Содержание занятия. Излагается метод построения полного проверяющего теста для двухуровневой схемы на элементах И-НЕ.

При построении таблицы функций неисправностей мы уже рассматривали влияние одиночных неисправностей на поведение схемы. Мы убедились, что для рассмотрения неисправностей нам не нужна схема, а нужно только интервальное покрытие, по которому она строилась. Мы убедились, что все неисправности вызывают либо исчезновение интервалов, либо расширение интервалов по внешним переменным.

Исчезновение интервала проверяется его точкой, покрытой только этим интервалом.

Расширение интервала необходимо проверять по каждой его внешней переменной, проверяется оно нулевым элементом, покрываемым этим расширением. Причем, нулевой элемент может проверять расширения сразу нескольких интервалов, поэтому встает задача уменьшения этих элементов.

Построение полного проверяющего теста, проверяющего исчезновение каждого интервала.

Рассмотрим пример.

Рисунок 47. Построение полного проверяющего теста, проверяющего исчезновение каждого интервала.

Теперь найдем (отмечаем ▲) однократно покрытые элементы множества М1 для каждого интервала булевой функции.

Полный набор, проверяющий расширения интервалов.

Рисунок 48. Полный набор, проверяющий расширения интервалов.

Окончательно, нужно расставить значки ()на те элементы множества М0, которые проверяют каждый интервал на его однократное расширение по каждой его внешней переменной. Начинаем с интервалов меньшего ранга. Интервал х2х3 х4х5, расширяясь по переменной х2 покрывает элементы 11010 и 01010. Выберем первый. Этот элемент проверяет еще интервал х1х3х4 по переменной х4. Расширяясь по переменной х3 интервал покрывает элемент 10110, который и выбирается тестовым. По переменной х4 интервал покрывает снова единственный элемент множества М0 – 00000.И, наконец по переменной х5 интервал покрывает 4 элемента множества М0, из которых выбирается один – 00011. Остальные интервалы добавляют в тест только 2 новых элемента. Например интервал х1х4х5 по переменной х1 покрывает наборы 00000 и 01000, но набор 00000 уже входит в тестовые. По переменной х4 он покрывает 3 элемента 11010, 10011 и 11011, элемент 11010 отмечен, как тестовый. По переменной х5 интервал покрывает набор 11101, который нужно ввести в тест. Наконец, интервал х1х3х5, расширяясь по переменной х5, заставляет ввести в тест набор 01101. Расширения остальных интервалов уже проверяются введенными в тест наборами.

Тест строился исходя из рассмотрения однократных неисправностей, но для двухуровневых схем из элементов И-НЕ этот тест проверяет все многократные неисправности, более того по этому принципу можно построить тест многократных неисправностей для схем из элементов И-НЕ для схем многоуровневых, которые строятся вынесением за скобки букв.

Домашнее задание. Построить по интервальному покрытию полный проверящий тест для схемы задания [3, стр. 73].

Добавить комментарий


Защитный код
Обновить

По темам:

История Украины

Культурология

Высшая математика

Информатика

Охотоведение

Статистика

География

Военная наука

Английский язык

Генетика

Разное

Технологиеские темы

Украинский язык

Филология

Философия

Химия

Экология

Социология

Физическое воспитание

Растениевосдство

Педагогика

История

Психология

Религиоведение

Плодоводство

Экономические темы

Бухгалтерские темы

Маркетинг

Иностранные языки

Ветеринарная медицина

Технические темы

Землеустройство

Медицинские темы

Творчество

Лесное и парковое хозяйство