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


Анализ подходов встроенного самотестирования однородных Сетей

Например, произведение pa pb пары разбиений множества из примера 3.1 равно

pa × pb = {}.

Определение 3.3 Если p1 и p2 - разбиения множества Z, то суммой разбиений (p1 + p2) является разбиение, полученное в результате объединения тех блоков p1 и p2, которые имеют, по меньшей мере, один общий элемент.

Например, сумма пары разбиений множества Z из примера 3.1 равна

p1 + p2= { }.

Если известна автоматная модель ДУ с элементами памяти, то задача построения проверяющего эксперимента сводится к нахождению входных и выходных последовательностей, которые позволяют однозначно идентифицировать автоматную диаграмму ДУ [11]. Большинство известных методов решения этой задачи основано на работе Хенни [12]. Предложенный им подход дает хорошие результаты для автоматов, которые имеют отличительные последовательности. Поэтому этот класс автоматов многие исследователи называют легко тестируемым [13]. Известна процедура нахождения отличительной последовательности автомата по его автоматной диаграмме предусматривающая построение дерева преемников автомата и применение определенных правил усечения вершин этого дерева. Процедура завершается, когда, либо найдена отличительная последовательность для заданного автомата, либо в результате построения отличительного дерева установлено, что автомат не имеет отличительной последовательности.

Известно, что необходимым условием существования для данного автомата отличительной последовательности является свойство минимальности автомата. Однако это условие не является достаточным, так как существуют минимальные автоматы, не имеющие отличительных последовательностей.

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

Определение 3.4 Входная последовательность X0 называется отличительной для автомата А= (X, Y, Z, d, l), если выходная последовательность автомата, как реакция на X0, различна для любого начального состояния, то есть

l (Zi, X0) l (Zi, X0), для Zi, Zj Z, Zi Zj. (3.2)

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

Отличительное дерево приемников, в котором вершина ранга r является висячей если:

а) ей поставлена в соответствие группа s - множеств, содержащая, по меньшей мере, одно кратное s - множество;

б) ей поставлена в соответствие группа s - множеств, в которой все не простые s - множества совпадают с s - множествами вершины ранга меньше r;

в) среди вершин ранга r имеется хотя бы одна вершина, отмеченная простым s - множеством.

Для иллюстрации воспользуемся примером автомата А-1, заданного таблицей 3.1 переходов-выходов. Отличительное дерево, построенное в соответствии с вышеприведенными правилами усечения дерева преемников, приведено на рисунке 3.1 Каждая вершина отмечена s - множествами, полученными в соответствии с правилами построения дерева преемников. Над каждым s - множеством в отличительном дереве указаны состояния предшественники, принадлежащие начальному s-множеству и порождающие соответствующие им группы s - множеств.

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

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

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

Зоновая РРЛ прямой видимости Мурманск–Кировск
Современная жизнь немыслима без передачи информации, которая осуществляется с помощью систем связи. Радиорелейные линии заняли прочное место в сети связи РФ. Они широко используются для передачи сигналов многоканальной телефонии, телевидения, зв ...

© Copyright 2021 | www.techattribute.ru