Московский государственный университет путей сообщения
Опубликован: 06.09.2012 | Доступ: свободный | Студентов: 952 / 56 | Оценка: 5.00 / 5.00 | Длительность: 35:22:00
Специальности: Разработчик аппаратуры
Лекция 18:

Многомерная активизация путей в шестизначном алфавите

< Лекция 17 || Лекция 18: 123 || Лекция 19 >

Рассмотрим применение D-алгоритма к построению теста для неисправности x_{6}\equiv 0 схемы, изображенной на рис. 18.4.

При инициализации мы получаем куб K, представленный в табл. 18.12. Элементы G3 и G4 одинаково близко расположены к выходу, D-граница содержит элементы \{G4, G3\}. Выбираем для D-распространения элемент G3. Пересекая D-куб узла разветвления элемента G3 с кубом K, как это показано в табл. 18.12 б), в), получаем куб K_{1}. Пополняем D-границу \{G5, G3\}. Далее выбираем D'-куб элемента G5 и, пересекая его с K_{2}, получаем K_{3}, как показано в табл. 18.12 г). Так как мы достигли внешнего выхода, то этап D-распространения заканчивается. Далее нужно выполнить процедуру доопределения. Стек доопределения в этот момент должен содержать элементы \{G2, G3\}. Выбираем 1-куб элемента G2 и, выполняя пересечение его с кубом K_{3}, как показано в табл. 18.12 д), получаем K_{4}. Аналогично доопределяем входы G3 ( табл. 18.12 е). В результате получаем тест х_{2}=0, x_{3}=1, x_{4}=1, x_{5}=1.

Таблица 18.12.
Куб 1 2 3 4 5 6 7 8 9 10 11 12
K_{0} U 1 1 u u D u U u u u U
a)
K_{0} U 1 1 u u D u U u u u U
t_{31} U U u u u D D D u u u U
K_{1} U 1 1 u u D D D u u u U
б)
K_{1} U 1 1 u u D D D u u u U
t_{22} U U u u u u u D 1 u D' U
K_{2} U 1 1 u u D D D 1 u D' U
в)
K_{2} U 1 1 u u D D D 1 u D' U
t_{29} U U u u u u u U u 0 D' D'
K_{3} U 1 1 u u D D D 1 0 D' D'
г)
K_{3} U 1 1 u u D D D 1 0 D' D'
C_{10} U U u 1 1 u u U 1 u u U
K_{4} U 1 1 1 1 D D D 1 0 D' D'
д)
K_{4} U 1 1 1 1 D D D 1 0 D' D'
C_{11} 1 U u u u u u U u 0 u U
K_{5} 1 1 1 1 1 D D D 1 0 D' D'

Как было показано выше, в D-алгоритме используется следующая стратегия при построении теста. Сначала значения D, D' распространяются до внешнего выхода, а затем с помощью процедуры доопределения находится тестовый набор. Если во время выполнения процедуры доопределения возникает противоречие, то это приводит к поиску другого пути D-распространения. Если противоречивые ситуации возникают часто, то существенно увеличивается время генерации теста. Например, для схем, содержащих много элементов "исключающее ИЛИ" (схем контроля четности и т.п.), процедура D-распространения выполняется достаточно легко, однако при выполнении процедуры доопределения часто возникают противоречия и для таких схем D-алгоритм требует значительных затрат времени. Для этого класса схем был разработан метод РОDЕМ, который хорошо зарекомендовал себя и для других типов схем.

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

Многозначный алфавит - определяет множество ситуаций, возможных при построениитеста в исправной и неисправной схеме.

D-распространение - распространение в схеме символовс, D', характеризующих различие значений сигналов в исправной и неисправной схеме.

Доопределение - процедура поиска значений входных сигналов, обеспечивающих значения, найденные на этапе распространения.

Импликация - процедура снятия неопределённости на линиях схемы, которые возможны в результате присваивания некоторым линиям определённых значений.

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

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

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

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

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

  1. Что лежит в основе 6-значного алфавита?
  2. Какие распределения значений сигналов в исправной и неисправной схеме отражает 6-значный алфавит?к
  3. В чем суть использования многозначных алфавитов в построении тестов?
  4. Приведите основные этапы построения теста с использованием многозначных алфавитов.
  5. Как выполняется активизация неисправности?
  6. Как выполняется этап D-распространения?
  7. Как производится этап доопределения входных сигналов?
  8. Зачем нужен этап импликации?
  9. Чем прямая импликация отличается от обратной?
  10. Что является рабочим инструментов в D-алгоритме?
  11. Приведите 1-куб для вентиля ИЛИ.
  12. Приведите 0-куб для вентиля НЕ-И.
  13. Приведите D-куб для вентиля НЕ-ИЛИ.
  14. Приведите D'-куб для вентиля НЕ-И.
  15. Что такое к-куб?
  16. Как выполняется пересечение кубов.
  17. Какой физический смысл символов в таблице пересечения кубов?
  18. Постройте с помощью D-алгоритма проверяющий тест для неисправности x_{7}=0, приведенной на схеме рис. 18.6.
    Схема для упражнения 13

    Рис. 18.6. Схема для упражнения 13
< Лекция 17 || Лекция 18: 123 || Лекция 19 >
Дмитрий Медведевских
Дмитрий Медведевских

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

Дмитрий Кифель
Дмитрий Кифель
Казахстан, Темиртау
Ирина Лысенко
Ирина Лысенко
Россия, Ленинград, ЛПИ, 1985