В Ошибка! Источник ссылки не найден. (см. стр. Ошибка! Закладка не определена.) показан процесс тестирования. В Ошибка! Источник ссылки не найден.(а) показана таблица переходов, которую следует проверить, во-первых, на информационную сохраняемость (то есть, является ли она КАМСИ) и, если таблица отвечает этим условиям, то, во-вторых, определить ее µ-порядок.
Ошибка! Источник ссылки не найден.(b) – это тестирующая таблица, которая состоит из двух половин
a) верхняя половина, которая состоит из N строк, и
b) нижняя половина, количество строк в которой содержит число строк, не превышающее число сочетаний из N по 2, равное
c) учитывая то, что для заполнения каждой строки нижней части таблицы требуется 4 операции, общее число операций при заполнении таблицы, равно
Например, для КАМСИ Ошибка! Источник ссылки не найден.(a) приведены параметры, характеризующие сложность определения ?-порядка, который в рассматриваемом случае равен 7.
a1 |
P,E |
|
P=0 |
P=1 |
|
A |
A,0 |
E,0 |
B |
D,0 |
F,0 |
C |
F,1 |
C,1 |
D |
B,1 |
E,1 |
E |
C,0 |
B,0 |
F |
A,1 |
D,1 |
N=6
(a)
a1
P,E
P=0
P=1
A
AE
B
DF
C
CF
D
BE
E
BC
F
AD
AE
(AB)(AC)
(DE)(EF)
DF
(AB)(BD)
(AE)(DE)
CF
(AC)(CD)
(AF)(DF)
BE
(BD)(CD)
(BF)(CF)
BC
AD
AB
(AD)(AF)
(DE)(EF)
AC
DE
EF
BD
CD
(BC)(CE)
(BF)(EF)
AF
BF
CE
(b)
(c)
l=5
µ=l+2=7
Table 14