4 Проверка правильности построения модели

0. 4.1 Верификация модели.

1. 4.1.1. Аналитический подсчет характеристик и сравнение их с модельными результатами.

Сравним результаты теоретического распределения типов задач с модельными результатами. Для этого проведем 3 прогона модели с различными номерами датчиков случайных чисел.

Прогон 1:

Прогон 2:

Прогон 3:

Вероятности, получившиеся на основе прогонов, занесем в таблицу 2.

Таблица 2 ­– Вероятности появления задач определенного типа.

Вероятность появления задачи	1 прогон	2 прогон	3 прогон	Теоретические значения
типа 1	0,48	0,47	0,48	0,50
типа 2	0,33	0,33	0,33	0,35
типа 3	0,19	0,20	0,19	0,15

Несмотря на незначительные отклонения, модельные вероятности появления задачи определенного типа соответствуют теоретическим.

4.1.2 Метод построения логической блок схемы и интерактивного контроля за ходом модели при помощи режима отладки.

Чтобы проверить правильность работы модели, проведем пошаговую отладку.

Рассмотрим основные шаги.

Шаг 1. Генерируется единственный транзакт XACT 2 с приоритетом 5 и направляется на задержку в 2880 временных едениц, для обеспечения времени моделирования в двое суток.

Шаг 2. По прошествии 20 мин создается транзакт XACT 1, соответствующий возникшей задаче, и направляется в блок 2 для определения типа задачи. В дальнейшем перемещение транзакта XACT 1 будем ассоциировать с перемещением задачи в системе.

Шаг 3. Тип задачи – первый. Соответствующий ей транзакт направляется в блоки 4-7 для задания необходимых параметров (объем ОЗУ, время обработки ЦП, время вывода результатов в БД, счетчик длля проверки текущего времени обработки ЦП).

Шаг 4. Задача пересылается в Блок WORK.

Шаг 5. Обработка в ЦП в течение 5 мин. Увеличение 4го тестового параметра транзакта, отвечающего за проверку времени обработки задачи. Создание копии транзакта для направления ее в блок VIVOD.

Шаг 6. Создается транзакт XACT 4 – копия транзакта XACT 1, для обеспечения независимости работы ЦП от процесса вывода результатов в БД.

Шаг 7. Вывод результатов в БД (3 мин для задачи 1 типа).

Шаг 8. Удаление транзакта XACT 4.

Шаг 9. Повторная обработка 5 мин. Увеличение 4го тестового параметра транзакта, отвечающего за проверку времени обработки задачи. Создание копии транзакта для направления ее в блок VIVOD.

Следующие шаги аналогичны предыдущим, пропустим их.

Шаг 12. Освобождение ЦП. Выгрузка задачи из ОЗУ. Удаление транзакта XACT 1. Задача выгружена из ОЗУ.

Шаг 15. Последний вывод результатов в БД для задачи 1.

В результате пошаговой отладки на примере задачи типа 1 была проверена правильность работы программы. Первая задача была создана в момент времени 20.0000 и сразу направлена на обработку в ЦП. По истечении 5 мин обработки в момент времени 25.0000 был начат вывод результатов в БД, продлившийся 3 мин до 28.0000. При этом ЦП продолжал работать, и к 30.000 был закончен 2й 5-минутный цикл обработки ЦП, результаты направлены на вывод в БД. Через 15 мин после загрузки задача 1 выгружается из системы. Спустя еще 3 минуты заканчивается последний вывод результатов в БД для задачи 1.