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

124 этапов ее построения выбраны три критерия тестирования, обеспечивающих обнаружение рассматриваемых ошибок.
Модель потоков данных отражает отношения между определениями (инициализациями и любыми последующими изменениями) и использованиями (любыми выборками для ознакомления, согласования и т.п.) атрибутов ИО для всех операций
функций управления независимо от их типов.
При этом для функции управления вводятся новые типы определений/использований каждого ИО: определение маски, регламентирующей права доступа к атрибутам конкретного ИО, определений/использований атрибутов при заданной маске.
Построение модели осуществляется в три этапа, каждому из которых соотнесено множество, названное, соответственно, средой, контекстом и упорядоченным контекстом данных и содержащее в качестве элементов наборы определений атрибутов ИО.
Критерием принадлежности каждого из элементов конкретному множеству является существование маршрута выполнения
функции управления, на котором входящие в этот элемент определения действуют при выполнении рассматриваемой функции управления.
Рассмотренным трем этапам построения модели потоков данных соответствуют три следующих критерия тестирования, ориентированных на проверку отдельных операций
функции управления [51]: • критерий 1 требует, чтобы каждый элемент среды данных тестируемой функции управления был проверен, по крайней мере, однажды;критерий 2 требует, чтобы каждый элемент контекста данных тестируемой функции управления был проверен, по крайней мере, однажды;критерий 3 требует, чтобы каждый элемент упорядоченного контекста данных тестируемой функции управления был проверен, по крайней мере, однажды.
Отметим, что обычно нельзя выбрать единственное множество маршрутов, определяемых данными критериями, без некоторого дополнительного условия, например, требования самого короткого маршрута.
[стр. 121]

Упорядоченный контекст данных включает дополнительно к вышеперечисленным элементарным контекстам один следующий упорядоченный элементарный контекст: УКД = КД и {(у2°, х2°)} Соответствующий маршрут выглядят следующим образом: (1,2,3,4,5,8,4,5,7,4,5).
§ 3.2.
Критерии тестирования бизнес-процессов.
Для решения задачи построения маршрутов тестирования на основе введенной в предыдущем параграфе модели потоков данных бизнеспроцесса для различных этапов (уровней) ее построения предлагается три критерия тестирования, обеспечивающих обнаружение рассматриваемых ошибок.
Введенная модель потоков данных отражает отношения между определениями (инициализациями и любыми последующими изменениями) и использованиями (любыми выборками для ознакомления, согласования и т.п.) атрибутов ИО для всех операций бизнес-процесса независимо от их типов.
При этом для бизнес-процесса введены новые типы определений/использований каждого ИО: определение маски, регламентирующей права доступа к атрибутам конкретного ИО, определение/использование атрибутов при заданной маске.
Построение модели осуществляется в три этапа, каждому из которых соотнесено множество, названное, соответственно, средой, контекстом и упорядоченным контекстом данных и содержащее в качестве элементов наборы определений атрибутов ИО.
Критерием принадлежности каждого из элементов конкретному множеству является существование маршрута выполнения
бизнес-процесса, на котором входящие в этот элемент определения действуют при выполнении рассматриваемой бизнес-операции.
Рассмотренным трем этапам построения модели потоков данных соответствуют три следующих критерия тестирования, ориентированных на проверку отдельных операций
бизнес-процесса: 121

[стр.,122]

Критерий 1 требует, чтобы каждый элемент среды данных тестируемой бизнес-операции был проверен по крайней мере однажды.
Критерий 2 требует, чтобы каждый элемент контекста данных тестируемой
бизнес-операции был проверен по крайней мере однажды.
Критерий 3 требует, чтобы каждый элемент упорядоченного контекста данных тестируемой
бизнес-операции был проверен по крайней мере однажды.
Отметим, что обычно нельзя выбрать единственное множество маршрутов, определяемых данными критериями, без некоторого дополнительного условия, например, требования самого короткого маршрута.

Предложенные критерии тестирования являются универсальными в смысле применимости к бизнес-операции произвольного типа в отличие от существующих критериев выборочного тестирования отдельных операторов компьютерной программы, зависящих от типа тестируемого оператора [3].
Так при тестировании условного оператора обычно требуется проверка каждой из двух порождаемых им ветвей, при тестировании оператора цикла типа пересчета рекомендуется проверять выполнение цикла при начальном значении управляющей переменной, конечном значении управляющей переменной и хотя бы одном из ее промежуточных значений.
Оценим число маршрутов, выбираемых в соответствии с требованиями критериев 1-3, при тестировании операции <р, имеющей К аргументов Х1, Х2, ..., ХК.
Пусть во всем бизнес-процессе имеется п, определений каждого i-ro аргумента (1 < i < К).
Утверждение 3.1.
Число возможных маршрутов Р1, выбранных в соответствии с требованиями критерия 1, оценивается по следующей формуле: Р1 Доказательство.
С учетом определений маски во всем бизнеспроцессе имеется не более чем П * dM определений каждого i-ro аргумента операции ср.
Тогда общее число определений всех аргументов 122

[Back]