Оценка сложности построения тестирующей таблицы.
В Table 10 (см. стр. 21) показан процесс тестирования. В Table 10(а) показана таблица переходов, которую следует проверить, во-первых, на информационную сохраняемость (то есть, является ли она КАМСИ) и, если таблица отвечает этим условиям, то, во-вторых, определить ее µ-порядок.
Table 10(b) – это тестирующая таблица, которая состоит из двух половин
a) верхняя половина, которая состоит из N строк, и
b) нижняя половина, количество строк в которой содержит число строк, не превышающее число сочетаний из N по 2, равное
c) учитывая, что для заполнения каждой строки нижней части таблицы требуется 4 операции, общее число операций при заполнении таблицы, равно
Например, для КАМСИ Table 10(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)
(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 10