Основные разделы


Отличительные последовательности в ОС

Zj Zk+1Zk+2… Zp-1Zp, (3.16)

где состояние слева от входного символа XaXk, a= (k+1) (k+2) …. является предшествующим, а состояние справа от Xa - последующим. Если существует последовательность состояний ячеек C (k+1),C (k+2), …. C (p), порождаемая приложением входного наборa Xk, в котором каждый символ XaXk является отличительным символом предшествующего состояния, то последовательность этих символов образует проверяющий тестовый набор состояния Zj, ячейки C (k) сети.

Как будет показано ниже, задача построения проверяющих входных наборов для заданной одномерной ОС значительно упрощается, если существуют циклические переводящие последовательности, образованные от отличительных входных символов. При построении диагностических экспериментов (ДЭ) по автоматным моделям ДУ возникает задача нахождения множества переводящих последовательностей T (Zi,Zj), с помощью которых ДУ из начального состояния Zi переводится в состояние Zj. Известно, что эта задача тривиальна, если ДУ задано графом или таблицей переходов [10]. Как показано в [10], переводящая последовательность T (Zi,Zj) определяется путем построения фрагментов дерева преемников состояния Zi, содержащего путь или множество путей, оканчивающихся состоянием Zj.

При построении проверяющих тестов для одномерных ОС возникает аналогичная задача нахождения множества переводящих последовательностей по автоматной модели ячейки сети. Тестопригодность сети, число ячеек которой превышает число состояний автоматной модели ячейки сети, определяется наличием в ней циклических переводящих последовательностей T (Zi,Zi), которые так же, как и любые другие переводящие последовательности, можно легко найти из автоматной модели ячейки сети. В соответствии с теоремой 3.1 циклическая переводящая последовательность T (Zi,Zi), которая образована из отличительных входных символов, является одновременно проверяющим тестовым набором, который транспортирует состояние проверяемой ячейки сети на наблюдаемый выход.

Определение 3.11 Циклическую переводящую последовательность, образованную из входных отличительных символов предшествующих состояний ячеек сети, будем называть циклической отличительной последовательностью (ЦОП).

Рассмотрим класс однородных одномерных сетей без наблюдаемых выходов X’, состоящих из p ячеек, каждая из которых имеет m входных символов, n состояний и каждое состояние имеет, по меньшей мере, один отличительный символ. Для сетей такого типа справедливо следующее утверждение.

Теорема 3.2 Если в ячейке ОС с n состояниями, каждое состояние имеет, по крайней мере, один отличительный символ, то для такой сети существует, по меньшей мере, одна циклическая отличительная последовательность.

В качестве примера рассматривается автомат, заданный в таблице 3.5 Из характеристического дерева автомата (рисунок 3.6) находим отличительные символы состояний:

Z1 - X2; Z2 - X2; Z3 - X3; Z4 - X1 (3.17)

Автомат удовлетворяет условию теоремы 3.1, следовательно, он имеет циклическую отличительную последовательность. Последовательность переходов по отличительным символам Z1Z2Z3Z4Z4 завершается циклом Z4Z4.

Таблица 3.5 - Таблица переходов-выходов ячейки

Z (t)

Z (t+1)

X1

X2

X3

Z1

Z1

Z2

Z2

Z2

Z1

Z3

Z2

Z3

Z1

Z4

Z4

Z4

Z4

Z4

Z2

Перейти на страницу: 1 2 3 4

Прочитайте еще и эти статьи:

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

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

© Copyright 2021 | www.techattribute.ru