|
134 Таким образом, выбранные критерии тестирования позволяют: • обеспечить обнаружение специфических для функций управления ошибок в потоках данных, связанных с их обработкой под различными масками, обеспечивающими регламенты доступа; • обеспечить выявление всех ошибок, обнаружение которых может производиться с помощью традиционных критериев, основанных на анализе программных графов и применяемых к функциям управления. 4.3. Генерация маршрутов тестирования процесса реорганизации структуры управления Одной из основных задач автоматизации тестирования функций управления является задача автоматической генерации тестовых данных, удовлетворяющих требованиям выбранного критерия тестирования. Эта задача разбивается на две следующие подзадачи: • генерация множества маршрутов, обеспечивающего достижение заданного критерия тестирования; • генерация тестовых данных, обеспечивающих исполнение заданного маршрута. Вторая подзадача в общем случае является алгоритмически неразрешимой, поэтому решения первой подзадачи и выбранных критериев тестирования функций управления приведем общую схему генератора маршрутов тестирования (рис. 4.5), удовлетворяющих требованию критерия 1 (Г). Предлагаемый генератор может применяться как для выборочного тестирования отдельных наиболее критичных и/или сложных операций функций управления, так и для тестирования всего процесса реорганизации структуры управления в целом. В состав генератора входят: |
Следствие 5. Граф частичного упорядочивания критериев тестирования на основе вышевведенной операции «не хуже» приведен на рис. 3.5. Пунктирными линиями отмечены расширения теоремы «о включении». Таким образом, предложенные критерии тестирования позволяют: • обеспечить обнаружение специфических для бизнес-процессов ошибок в потоках данных, связанных с их обработкой под различными масками, обеспечивающими регламенты доступа; • обеспечить выявление всех тех ошибок, обнаружение которых может производиться с помощью традиционных критериев, основанных на анализе программных графов и применяемых к бизнес-процессам. § 3.4. Генерация маршрутов тестирования. Одной из основных задач автоматизации тестирования бизнеспроцессов является задача автоматической генерации тестовых данных, удовлетворяющих требованиям выбранного критерия тестирования. Эта задача разбивается на две следующие подзадачи: 1) генерация множества маршрутов, обеспечивающего достижение заданного критерия тестирования; 2) генерация тестовых данных, обеспечивающих исполнение заданного маршрута. Известно, что подзадача 2) в общем случае является алгоритмически неразрешимой. Данный параграф посвящен решению подзадачи 1) для предложенных выше критериев тестирования бизнес-процессов. На рис. 3.6 приведена общая схема генератора маршрутов тестирования, удовлетворяющих требованию критерия 1(1’). Предлагаемый генератор может применяться как для выборочного тестирования отдельных наиболее критичных и/или сложных операций бизнес-процесса, так и для тестирования всего бизнес-процесса целиком. В состав генератора входят: 1) монитор, осуществляющий управление сеансом тестирования: 2) блок генерации множества маршрутов тестирования, удовлетворяющего требованиям критерия 1; 136 |