Проверяемый текст
Калянов, Георгий Николаевич. Разработка и исследование методов, моделей и программных систем управления реорганизацией предприятий (Диссертация 1999)
[стр. 136]

136 2.
Номер тестируемой операции ср.
Выход: 1.
Среда данных операции ср.
2.
Множество маршрутов, удовлетворяющих критерию тестирования.

Шаг 1.
Построение множества определений маски dM .
Шаг 2.
Построение множества живых определений маски в точке
(р 2.1.
Выбор очередного элемента dMt из dM.
Если dM исчерпано, то переход к шагу 3.
2.2.
Построение маршрута из точки
dMt в точку (р, на котором не встречается никакое другое dMj е dM.
Если такого маршрута не существует, то переход к подшагу
2.1.

2.3.
Занесение элемента dMt в множество <УЛ/((р).
Занесение соответствующего маршрута в множество РА.
2.4.
Переход к подшагу 2.1.
Шаг 3.
Выбор очередного аргумента XI операции
ср.
Если список аргументов исчерпан, то переход к шагу 7.
Шаг 4.
Построение множества определений аргумента XI
<7(ср, А7).
Шаг 5.
Генерация маршрутов, проверяющих жизненность определений из
<7(<р,Х/) с учетом определений маски из dM.
5.1.
Выбор очередного определения
XIк из <7(<р,Л7).
Если j((p,A7) исчерпано, переход к шагу 3.
5.2.
Инициализация множества dM.
5.3.
Выбор очередного dMj из dM.
Если dM исчерпано, то переход к подшагу 5.1.
[стр. 137]

3) Модуль генерации маршрута между узлом определения и узлом использования ИО по графу бизнес-процесса.
Ниже приводятся алгоритмы, реализующие ядро генератора маршрутов тестирования, а именно блока генерации маршрутов тестирования операции с номером ср и модуля генерации маршрута “определение использование”.
Алгоритм А1.
Построение множества маршрутов, удовлетворяющих требованию критерия 1.
Вход: 1) Граф бизнес-процесса 2) Номер тестируемой операции ср Выход: 1) Среда данных операции ср 2) Множество маршрутов, удовлетворяющих критерию тестирования 1 Шаг 1.
Построение множества определений маски dM.
Шаг 2.
Построение множества живых определений маски в точке
ср dM(2.1.Выбор очередного элемента dM,из dM.
Если dM исчерпано, то переход к шагу 3.
2.2.
Построение маршрута из точки
dMj в точку <р, на котором не встречается никакое другое dMj е dM.
Если такого маршрута не существует, то переход к под шагу 2.1.

137

[стр.,138]

2.3.
Занесение элемента dMj в множество dM(cp).
Занесение соответствующего маршрута в множество РА.
2.4.Переход к подшагу 2.1.
Шаг 3.
Выбор очередного аргумента XI операции
<р.
Если список аргументов исчерпан, то переход к шагу 7.
Шаг 4.
Построение множества определений аргумента XI
d(q>, XI).
Шаг 5.
Генерация маршрутов, проверяющих жизненность определений из
d(с учетом определений маски из dM.
5.1.
Выбор очередного определения Xlk из d(cp, XI).
Если d(cp, XI) исчерпано, переход к шагу 3.
5.2.Инициализация множества dM.
5.3.Выбор очередного dMj из dM.
Если dM исчерпано, то переход к подшагу 5.1.

5.4.
Построение маршрута из точки dMj в точку Xlk, на котором не встречается никакое другое dMi е dM.
Если такого маршрута не существует, то переход к подшагу
5.3.
5.5.
Построение маршрута из точки Xlk в точку <р, на котором не встречается никакое другое Xlj е d(Если такого маршрута не существует, то переход к подшагу 5.3.
5.6.
Генерация маршрута dMj Xlk <р в качестве проверяющего жизненность Xlk J в точке ср и занесение его в множество маршрутов, выбранных по критерию 1.
Шаг 6.
Генерация дополнительных маршрутов, проверяющих жизненность определений Xlk j в точке <р.
6.1.Инициализация множества dM(6.2.
Выбор очередного элемента dM(Если dM(cp) исчерпано, то переход к шагу 5.
6.3.Сравнение dMj с dM(cp)j.
Если равны, то переход к подшагу 6.2.
6.4.Построение маршрута из точки Xlk в точку dM(cp)j.
Если такого маршрута не существует, то переход к под шагу 6.2.
6.5.Выбор из множества РА маршрута из точки dM(138

[Back]