Оценка сложности построения тестирующей таблицы.
В Ошибка! Источник ссылки не найден. (см. стр. Ошибка! Закладка не определена.) показан процесс тестирования. В Ошибка! Источник ссылки не найден.(а) показана таблица переходов, которую следует проверить, во-первых, на информационную сохраняемость (то есть, является ли она КАМСИ) и, если таблица отвечает этим условиям, то, во-вторых, определить ее µ-порядок.
Ошибка! Источник ссылки не найден.(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)
(DE)(EF)
(AE)(DE)
(AF)(DF)
(BF)(CF)
(DE)(EF)
(BF)(EF)
(b)
(c)
l=5
µ=l+2=7
