Организация полунатурного тестирования и моделирования коммуникационных комплексов передачи сообщений специализированной сети документального обмена

摘要

Рассматриваются технологические аспекты организации и использования средств полунатурного тестирования для проверки корректности программной реализации протокола обмена информацией в коммуникационных комплексах с применением компактного имитатора множества виртуальных терминальных абонентов. Для проведения автономной и комплексной отладки, а также исследования пропускной способности реального фрагмента автоматизированной системы и получения вероятностно-временных характеристик доведения сообщений в имитаторе предусматривается задание сценария проверок в двух вариантах: в фиксированной и в стохастической форме воспроизведения трафика документального обмена. Для подготовки проверки в фиксированной форме предлагается соответствующий формальный язык задания сценария основных режимов функционирования, а для стохастической проверки предусматривается интерактивное задание различных параметров эксперимента: величины нагрузки, объемов сообщений, распределение сообщений по категориям срочности и т. п. Отмечается, что для нескольких поколений коммуникационных комплексов имитатор терминальной нагрузки стал неотъемлемым атрибутом всех видов испытаний: предварительных, межведомственных, государственных. Учитывая нетривиальность встроенных временных механизмов исследуемого протокола передачи сообщений, приводится его математическая модель, представленная в нотациях расширенной сети Петри (Е-сети), позволяющая варьировать и уточнять значения устанавливаемых таймеров для предотвращения неоправданной потери сообщения, например, из-за преждевременного истечения сеанса передачи.%Discusses the technological aspects of the Organization and use of semi-natural testing to validate the software implementation of a protocol for the exchange of information in the communication complexes using multiple virtual Simulator compact Terminal subscribers. To conduct an autonomous and integrated debugging, as well as bandwidth real slice of the automated system and obtaining probabilistic-temporal characteristics of conveying messages in the Simulator provides assignment script checks in two versions: fixed and random playback form documentary traffic exchange. It is noted that for several generations of communication Simulator load Terminal complexes became the integral attribute of all types of tests: preliminary, inter-institutional, public. Given nontrivial built-in interim arrangements the examined message transfer protocol, provides his mathematical model presented in the notations of the extended Petri net (e-net) that allows you to vary and update values set by timers to prevent undue loss of messages, for example, due to premature expiration of the upload session.