Тестирование

Тестирование

Создаваемые в процессе моделирования диаграммы должны удовлетворять спецификациям ARIS по структуре, синтаксису, другим согласованным требованиям. Соответствие этим требованиям проверяется при помощи скриптов семантического анализа среды ARIS. Нужно признать, что разработчики часто отходят от соглашений ARIS, создавая диаграммы в соответствии со своими «Соглашениями о моделировании». В этом случае семантическая проверка ARIS применяется в ограниченном режиме. Проблемы же корректности моделей решаются путем написания и запуска на моделях тестирующих скриптов, учитывающих особенности «своих» «Соглашений о моделировании».

Например, при потоковом тестировании моделей при формировании помеченного «маршрута» применялись генераторы случайных чисел, с помощью которых формировались случайные условия на входе и случайные условия в процессе формирования «маршрута».

Формирование случайных сочетаний параметров входных условий

При формировании входных параметров использовались случайным образом выбранные тип товара, некий режим, тип транспорта. В приложении 2 приведен пример кода, формирующего случайным образом тип транспорта. Это Function seltransrand() As String.

Формирование случайных сочетаний принимаемых бизнес-решений

Описание механизма формирования на модели точек принятия бизнес-решений подробно дано в разделе «Интерактивный режим прохождения в реальном масштабе времени бизнес-процесса с учетом заданных параметров входных условий и принятия бизнес-решений». Механизм формирования случайных наборов бизнес-решений использует точки принятия решений, описанные выше. Но в отличие от интерактивного режима, заменяет интерактив применением случайного сгенерированного числа, как индекса в массиве альтернатив выбора бизнес-решения.

Потоковое тестирование и анализ модели на основе случайно заданных параметров входных условий и чисел

Потоковое тестирование применено для практически безынтерактивного циклического обхода моделей с пометкой пройденного маршрута и генерацией отчета о сделанных выборах – входных параметрах в начале каждого цикла и выбранных бизнес-решениях – в промежуточных точках принятия решений. Скрипт, реализующий данный функционал, в цикле производил случайные выборы и использовал их при формировании случайного «маршрута».

Специализированные проверки составных элементов модели

Иногда нет необходимости проводить анализ всей модели. Часто нужно проанализировать свойства одного или нескольких объектов разного типа на модели или его связи (входящие и исходящие). Для этого применялась система небольших скриптов, запускаемых на объектах и выполняющих только очень узкий специализированный функционал.