Опубликован: 06.09.2012 | Уровень: для всех | Доступ: платный | ВУЗ: Московский государственный университет путей сообщения
Лекция 9:

Константные неисправности

< Лекция 8 || Лекция 9: 12 || Лекция 10 >

Эта схема содержит десять линий и поэтому исходный список состоит из 20 одиночных константных неисправностей. Используя определенные выше отношения эквивалентности неисправностей для вентилей, получаем следующие классы эквивалентных неисправностей:

  1. \{A\equiv 0, B\equiv 0, H\equiv 0\};
  2. \{C\equiv 1, D\equiv 1, F\equiv 1, G\equiv 0\};
  3. \{E\equiv 0, G\equiv 0, V\equiv 0\};
  4. \{H\equiv 1,V\equiv 1, Z\equiv 1\};
  5. \{F\equiv 0, G\equiv 1\} .
    Пример схемы для сокращения списка неисправностей

    Рис. 9.3. Пример схемы для сокращения списка неисправностей

    Поскольку отношения эквивалентности транзитивны и учитывая то, что классы 2, 3 содержат одну и туже неисправность G\equiv 0, они могут быть объединены в один класс.

    Кроме отношений эквивалентности между неисправностями имеют место следующие отношения доминирования.

  6. A\equiv 1 \to H\equiv 1; поэтому неисправность A\equiv 1 может представлять в списке H 1 и все эквивалентные ей неисправности класса 4.
  7. C\equiv 0 \to F\equiv 0; поэтому неисправность C\equiv 0 может представлять в списке F\equiv 0 и все эквивалентные ей неисправности класса 5.
  8. V\equiv 0 \to Z\equiv 0; но неисправность V\equiv 0 принадлежит классу 3, который объединен с классом 2. Поэтому любая неисправность из этого класса также доминирует над Z\equiv 0;
  9. B\equiv 1 \to H\equiv 1;
  10. D\equiv 0 \to F\equiv 0;
  11. E\equiv 1 \to V\equiv 1.

Используя эти отношения эквивалентности и доминирования, мы можем сократить список неисправностей до семи: \{A\equiv 0, A\equiv 1, B\equiv 1, C\equiv 0, C\equiv 1, D\equiv 0, E\equiv 1\}. Здесь: A\equiv 0 представляет класс 1; C\equiv 1 - объединенные классы 2 и 3; A\equiv 1 и C\equiv 0 представляют классы соответственно классы 4 и 5 вследствие отношений доминирования 6 и 7; неисправности B\equiv 1, D\equiv 0, E\equiv 1 представляют классы 9, 10, 11 соответственно. Отметим, что этот сокращенный список не единственен, так как неисправности A\equiv 0, C\equiv 1 могут быть представлены и другими эквивалентными неисправностями из соответствующих классов. Заметим, что сокращенный список содержит неисправности только внешних входов схемы. Это не случайно. Можно показать, что для комбинационных схем без разветвлений достаточно рассматривать только одиночные константные неисправности внешних входов.

Однако для комбинационных схем, содержащих сходящиеся разветвления, этого недостаточно. Необходимо также рассматривать неисправности ветвей разветвлений.

Определение 9.3. Внешние входы и ветви разветвлений называются контрольными точками (checkpoints) комбинационных схем.

Известна следующая теорема контрольных точек [9.2,9.3].

Теорема 9.1. Тестовое множество, проверяющее одиночные константные неисправности контрольных точек комбинационных неизбыточных схем, проверяет любые одиночные константные неисправности этих схем.

Пример схемы  с разветвлениями для сокращения списка неисправностей

Рис. 9.4. Пример схемы с разветвлениями для сокращения списка неисправностей

Эта теорема позволяет сразу существенно сократить исходное множество рассматриваемых неисправностей. Отметим, что множество одиночных константных неисправностей для контрольных точек также может быть сокращено путем анализа отношений эквивалентности и доминирования. Рассмотрим применение теоремы о контрольных точках на примере схемы рис. 9.4. Эта схема содержит 7 контрольных точек: 5 внешних входа - a, b, c, d, e и 2 ветви разветвления - g, h. Поэтому исходное множество неисправностей содержит 14 одиночных неисправностей - s-a-0, s-a-1 для каждой контрольной точки (из всевозможных 24-х). Дальнейший анализ позволяет это множество еще сократить. Так как неисправности a\equiv 0 и b\equiv 0 эквивалентны, то последнюю можно удалить. Аналогично можно удалить неисправность d\equiv 0, которая эквивалентна h\equiv 0. Далее неисправность g\equiv 1 эквивалентна f\equiv 1, которая доминирует над a\equiv 1. Поэтому g\equiv 1 может быть также удалена. Аналогично e\equiv 1 эквивалента i\equiv 1, которая доминирует над h\equiv 1; поэтому e\equiv 1 может быть удалена. В результате для дальнейшей обработки (генерации тестов или определения полноты теста) остается всего 10 одиночных константных неисправностей (из всевозможных 24-х!): a\equiv 0,  a\equiv 1,  b\equiv 1,  c\equiv 0,  c\equiv 1,  g\equiv 0,  h\equiv 0,  h\equiv 1,  d\equiv 1,  e\equiv 0.

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

Ключевые термины:

Одиночная константная неисправность - фиксирует на линии схемы постоянное значение 0 или 1 независимо от подаваемого на нее сигнала.

Кратная константная неисправность - фиксация постоянных сигналов на нескольких линиях схемы.

Эквивалентность неисправностей - любой тестовый набор, проверяющий одну неисправность, проверяет также и эквивалентную ей неисправность.

Доминирование неисправностей f_2\to f_1 - любой тестовый набор, проверяющий f_2, проверяет также и неисправность f_1.

Конрольные точки - внешние входы и ветви разветвлений комбинационных схем.

Краткие итоги

В лекции рассмотрена базовая модель константных неисправностей, которые позволяют моделировать многие физические дефекты.

В "Константные неисправности" введена модель одиночной константной неисправности, приведены примеры физических дефектов, которые могут быть представлены этой моделью.

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

Вопросы и упражнения

  1. Что такое константная неисправность?
  2. Чем отличается одиночная константная неисправность от кратной?
  3. Приведите пример физического дефекта, который можно моделировать константной неисправностью.
  4. Постройте тест для 3-входового вентиля ИЛИ, проверяющий одиночные константные неисправности.
  5. Приведите определение и пример эквивалентных неисправностей.
  6. Покажите, что одиночные константные неисправности c\equiv 0 и f\equiv 1 схемы рис. 9.5 эквивалентны.
    Схема упражнения 6.

    Рис. 9.5. Схема упражнения 6.
  7. Приведите определение и пример доминирования неисправностей.
  8. Приведите локальные правила сокращения одиночных константных неисправностей.
  9. Определите для приведенной схемы рис. 9.6 . классы эквивалентности неисправностей.
    Схема упражнения.9.

    Рис. 9.6. Схема упражнения.9.
  10. Определите для этой схемы отношения доминирования неисправностей.
  11. Выполните для этой схемы сокращение одиночных константных неисправностей.
  12. Что такое контрольные точки комбинационной схемы?
  13. Сформулируйте теорему о контрольных точках.
< Лекция 8 || Лекция 9: 12 || Лекция 10 >
Дмитрий Медведевских
Дмитрий Медведевских

Добрый день  можно поинтересоваться где брать литературу предложенную в курсе ?Большинство книг я не могу найти  в известных источниках

Андрей Баранов
Андрей Баранов
Донецк, Донецкий национальный технический университет, 2019
Андрей Чернов
Андрей Чернов
Россия, Ростов-на-Дону, Ростовский институт инженеров железнодорожного транспорта, 1993