|
122 Упорядоченным контекстом данных операции <р называется множество всех ее упорядоченных элементарных контекстов [73]. Таким образом, на третьем уровне построения модели вводится упорядоченный контекст данных множество упорядоченных наборов из и определений различных атрибутов ИО, для которых существует маршрут из точки входа в функцию управления в рассматриваемую точку, на котором все элементы набора принадлежат среде данных и выполняются в порядке, предписываемом данным набором. Для пояснения модели потоков данных процесса реорганизации структуры управления приведен пример фрагмента графа функции управления [64], для которой при рассмотрении узла 5 построены множества, соответствующие каждой из введенных моделей. При этом нижний индекс атрибута соответствует номеру его определения, а верхний номеру используемой при этом маски (см. рис. 4.1). Для данной функции управления среда данных операции (р = 5 имеет вид: (^т~)_ Jo 0 1 0 О 1 I ьО >Х2>Х2,У1 >У2’^21Элементам данного множества соответствуют следующие маршруты, на которых эти элементы (определения ИО) не переопределяются: (1,2,3,4,5,6,7,4,5,8,4,5). Контекст данных содержит следующие элементарные контексты: Упорядоченный контекст данных включает дополнительно к вышеперечисленным элементарным контекстам один следующий упорядоченный элементарный контекст: YKD = KD^y, 2,x^\. Соответствующий маршрут выглядит следующим образом: |
Таким образом на втором этапе построения модели потоков данных бизнес-процесса строится контекст данных множество наборов из п определений различных атрибутов, для которых существует маршрут из точки входа в бизнес-процесс в рассматриваемую точку, на котором все элементы набора принадлежат среде данных (т.е. не переопределяются). Заметим, что элементарный контекст не учитывает порядка выполнения определений ИО, являющихся аргументами операции ф. Однако при выполнении бизнес-процесса такой порядок предполагается. Этот факт отражается с помощью нотации упорядоченного контекста данных. Определение 3.8. Упорядоченным элементарным контекстом данных операции ф, имеющей К аргументов XI, Х2, ..., ХК называется последовательность таких определений из элементарного контекста операции ф КД(ф), что существует маршрут из входной точки бизнеспроцесса в точку ф, вдоль которого все эти определения выполняются в порядке, предписанном заданной последовательностью, и являются живыми при выполнении операции ф. Определение 3.9. Упорядоченным контекстом данных операции ф называется множество всех ее упорядоченных элементарных контекстов. Таким образом на третьем уровне построения модели вводится упорядоченный контекст данных множество упорядоченных наборов из п определений различных атрибутов ИО, для которых существует маршрут из точки входа в бизнес-процесс в рассматриваемую точку, на котором все элементы набора принадлежат среде данных и выполняются в порядке, предписываемом данным набором. Для пояснения введенных определений на рис. 3.1 приведен типичный пример фрагмента графа документооборота, для которого при рассмотрении узла 5 построены множества, соответствующие каждой из введенных моделей. При этом нижний индекс атрибута соответствует номеру его определения, а верхний номеру используемой при этом маски. 119 Рис. 3.1 Для данного примера среда данных операции <р=5 имеет вид: СД = { Xi0, х2°, х2 1, yi°, У2°, У21} Элементам данного множества, например, соответствуют следующие маршруты, на которых эти элементы (определения ИО) не переопределяются: (1,2,3,4,5), (1,2,3,4,5,7,4,5), (1,2,3,4,5,6,7,4,5), (1.2.3.4.5), (1,2,3,4,5,8,4,5), (1,2,3,4,5,6,7,4,5,8,4,5). Контекст данных содержит следующие элементарные контексты: КД = {(xi°, yi°), (xi°, у2°), (х2°, у1°), (х2°, у2°), (х2 1, У1°), (х2 1, у2°), (х2 1, у2 1)} Элементам данного множества, например, соответствуют следующие маршруты, на которых эти элементы (пары определений ИО) не переопределяются: (1,2,3,4,5), (1,2,3,4,5,8,4,5), (1,2,3,4,5,7,4,5), (1.2.3.4.5.7.4.5.8.4.5) , (1,2,3,4,5,6,7,4,5), (1,2,3,4,5,8,4,5,6,7,4,5), (1.2.3.4.5.6.7.4.5.8.4.5) . 120 Упорядоченный контекст данных включает дополнительно к вышеперечисленным элементарным контекстам один следующий упорядоченный элементарный контекст: УКД = КД и {(у2°, х2°)} Соответствующий маршрут выглядят следующим образом: (1,2,3,4,5,8,4,5,7,4,5). § 3.2. Критерии тестирования бизнес-процессов. Для решения задачи построения маршрутов тестирования на основе введенной в предыдущем параграфе модели потоков данных бизнеспроцесса для различных этапов (уровней) ее построения предлагается три критерия тестирования, обеспечивающих обнаружение рассматриваемых ошибок. Введенная модель потоков данных отражает отношения между определениями (инициализациями и любыми последующими изменениями) и использованиями (любыми выборками для ознакомления, согласования и т.п.) атрибутов ИО для всех операций бизнес-процесса независимо от их типов. При этом для бизнес-процесса введены новые типы определений/использований каждого ИО: определение маски, регламентирующей права доступа к атрибутам конкретного ИО, определение/использование атрибутов при заданной маске. Построение модели осуществляется в три этапа, каждому из которых соотнесено множество, названное, соответственно, средой, контекстом и упорядоченным контекстом данных и содержащее в качестве элементов наборы определений атрибутов ИО. Критерием принадлежности каждого из элементов конкретному множеству является существование маршрута выполнения бизнес-процесса, на котором входящие в этот элемент определения действуют при выполнении рассматриваемой бизнес-операции. Рассмотренным трем этапам построения модели потоков данных соответствуют три следующих критерия тестирования, ориентированных на проверку отдельных операций бизнес-процесса: 121 |