Оценка сложности построения тестирующей таблицы.

В Ошибка! Источник ссылки не найден. (см. стр. Ошибка! Закладка не определена.) показан процесс тестирования. В Ошибка! Источник ссылки не найден.(а) показана таблица переходов, которую следует проверить, во-первых, на информационную сохраняемость (то есть, является ли она КАМСИ) и, если таблица отвечает этим условиям, то, во-вторых, определить ее µ-порядок.

Ошибка! Источник ссылки не найден.(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

Содержание  Назад  Вперед

---

Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий

---

---

---