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. |
3) Модуль генерации маршрута между узлом определения и узлом использования ИО по графу бизнес-процесса. Ниже приводятся алгоритмы, реализующие ядро генератора маршрутов тестирования, а именно блока генерации маршрутов тестирования операции с номером ср и модуля генерации маршрута “определение использование”. Алгоритм А1. Построение множества маршрутов, удовлетворяющих требованию критерия 1. Вход: 1) Граф бизнес-процесса 2) Номер тестируемой операции ср Выход: 1) Среда данных операции ср 2) Множество маршрутов, удовлетворяющих критерию тестирования 1 Шаг 1. Построение множества определений маски dM. Шаг 2. Построение множества живых определений маски в точке ср dM( 2.1.Выбор очередного элемента dM,из dM. 2.3. Занесение элемента dMj в множество dM(cp). Занесение соответствующего маршрута в множество РА. 2.4.Переход к подшагу 2.1. Шаг 3. Выбор очередного аргумента XI операции <р. Если список аргументов исчерпан, то переход к шагу 7. Шаг 4. Построение множества определений аргумента XI d(q>, XI). Шаг 5. Генерация маршрутов, проверяющих жизненность определений из d( с учетом определений маски из dM. Если такого маршрута не существует, то переход к подшагу 5.3. 6.2. Если dM(cp) исчерпано, то переход к шагу 5. 138 |