ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

182
Таблица 4.17 – Тест X1: вариант 1
ТЕСТ Х1: разбиение «одинаковые интервалы»
домен 1 домен 2 домен 3 домен 4
от до от до значение значение значение
0 46 0 9,2 1 1 1
9,2 18,4 2 2 2
18,4 27,6 3 3 2
27,6 36,8 4 3 2
36,8 46 5 3 2
В таблице 4.18 показан пример автоматического построения и описания
конфигуратора теста X1 по второму варианту с помощью электронной
таблицы. Число интервалов разбиения выбрано четным, чтобы в
дальнейшем можно было попарно объединить соседние интервалы.
Объединение продолжается до тех пор, пока не останется два или три
интервала.
Таблица 4.18 – Тест X1: вариант 2
ТЕСТ Х1: разбиение «одинаковое число точек»
домен 1 домен 2 домен 3
от до от до значение значение
0 46 0 4 1 1
4 7 2 1
7 11 3 3
11 15 4 3
15 19 5 5
19 46 6 5
Если объединить все три разбиения в один конфигуратор, то для всех
тестов получается схожая структура орграфа доменов. Ниже приведен
канонический орграф теста X1:
X1 {6 {12 13; 14 15 16} 5 #0 {12; 13; 14; 15; 16} 4 {6 7; 8 9; 10 11} 3 #0 {6; 7;
8; 9; 10; 11} 2 {1; 2; 3 4 5} 1 {1; 2; 3; 4; 5} 0{}}.
Листья любого орграфа в описание, как правило, не входят, так как они
порождаются автоматически в момент использования или отображения
орграфа. Исключения составляют те случаи, когда пользователь не
запускает функцию автоматического порождения листьев, но при этом
хочет включить в анализ те или иные листья. Примером такого исключения
служит домен «4» в первом варианте разбиения теста X1 (таблица 4.17).
Пример предельного структурно-завершенного орграфа доменов для
X1 показан на рис. 4.26. Каждая «ветка» орграфа, выходящая из базовой