автореферат диссертации по радиотехнике и связи, 05.12.13, диссертация на тему:Модели и методы спецификаций и тестирования телекоммуникационных протоколов

/

На правах рукописи

Гойхман Вадим Юрьевич

МОДЕЛИ И МЕТОДЫ СПЕЦИФИКАЦИИ И ТЕСТИРОВАНИЯ ТЕЛЕКОММУНИКАЦИОННЫХ ПРОТОКОЛОВ

05.12.13 - Системы, сети и устройства телекоммуникаций

Автореферат диссертации на соискание ученой степени кандидата технических наук

-6 ОКТ 2011

Санкт-Петербург 2011

4855172

Работа выполнена в Санкт-Петербургском Государственном университете телекоммуникаций (СПбГУТ) им. проф. М.А. Бонч-Бруевича на кафедре систем коммутации и распределения информации.

Научный руководитель

доктор технических наук, профессор Б.С. Гольдштейн

Научный консультант

доктор технических наук, профессор [Я.С. Дымарский]

Официальные оппоненты:

доктор физико-математических наук, профессор А.Н. Терехов

Ведущая организация

кандидат технических наук, доцент Л.В. Юрасова

ООО «НТЦ Протей»

Защита состоится «$у> У_ 2011 г. в /¿Г часов на заседани

диссертационного совета Д 219.004.02 при Санкт-Петербургском Государственно Университете Телекоммуникаций им. проф. М.А. Бонч-Бруевича по адресу: 191186 Санкт-Петербург, наб. р. Мойки, 61.

С диссертацией можно ознакомиться в библиотеке университета. Автореферат разослан «2011 г.

Ученый секретарь диссертационного совета, кандидат технических наук, доценту

В.Х. Харитонов

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность исследований. Телекоммуникационные протоколы, как и методы их специфицирования и тестирования в ССОП (сетях связи общего пользования), эволюционировали вместе с развитием телекоммуникационной техники. На современном этапе, характеризующемся конвергеш й сетей с разными технологиями передачи информации и коммутации, стали использоваться новые телекоммуникационные протоколы, базирующиеся на принципах коммутации каналов в сетях TDM (Time Division Multiplexing) и в сетях коммутации пакетов NGN (Next Génération Network) - в сетях следующего поколения.

Значительное усложнение логики и увеличение количества технологий, сетей и услуг требует соответствующего развития методов спецификации и тестирования телекоммуникационных протоколов, которое пока заметно отстает от развития самих этих протоколов, слабо используя современные идеологические и математические средства, такие как язык спецификаций и описания SDL (Spécification and Description Language).

В силу сказанного представляются актуальными задачи анализа и формализации SDL-спецификаций, минимизации числа значимых SDL-состояний, а также расчета вероятностно-временных характеристик (ВВХ) сертификационных испытаний этих протоколов и оптимизации на этой базе необходимого объема таких испытаний.

Состояние вопроса. Начало исследований в этом направлении совпало по времени с появлением языка SDL и поколения систем коммутации с программным управлением.

В рекомендациях Международного союза электросвязи (МСЭ) серии Z и в документах других стандартизующих организаций рассмотрены языки - методы спецификации и описания инфокоммуникационных протоколов, - но они ориентированы только на инженерное применение и не позволяют математически рассчитать ВВХ и статистическую достоверность результатов тестирования. Научные основания для такого расчёта содержатся в довольно многочисленных работах по математической статистике, а также в исследованиях формальных спецификаций Б. Бейзера, ГЛ. Ионина, Б. Лисков и Д. Гатэга, Ч. Хоара и др. _

В ряде работ профессоров А.Н. Терехова, Б.С. Гольдпгтейна, ¡Я.С. Дымарского|, М.А. Шнепса-Шнеппе и некоторых других авторов исследованы вопросы спецификаций программного обеспечения телекоммуникационных систем, но эти исследования не распространялись на минимизацию SDL-спецификаций и статистические оценки тестирования протоколов, и в них не рассматривались математические модели процесса сертификационных испытаний.

Цель и задачи исследования. Цель диссертации состоит в создании формализованной модели SDL-спецификаций телекоммуникационного протокола, допускающей выявление и минимизацию числа логически значимых состояний SDL-спецификации, в разработке стратегии этой минимизации, а также в получении формул для расчета статистических характеристик тестирования таких минимизированных формализованных протокольных спецификаций и разработке алгоритма проведения испытаний на основе промежуточных статистически достоверных оценок, получаемых в процессе испытаний. Эта цель определила необходимость решения следующих научных задач:

• сформулировать принципы и построить модель эффективной SDL-спецификацин телекоммуникационного протокола;

• разработать механизмы и алгоритмы нормализации SDL-спецификаций, т. минимизации числа логически значимых состояний SDL-спецификации, исключ несущественные и тупиковые ветви;

• построить математическую модель тестирования SDL-спецификаций;

• рассчитать статистические оценки процесса тестирования SDL-спецификац телекоммуникационного протокола;

• применить полученные результаты к телекоммуникационным протоколам TDM-NGN-сетей.

Методы исследования. Основным математическим аппаратом в работе являют математическая статистика и теория вероятностей, а также теория алгоритмов математическая логика, в основном, при формировании и преобразовании SD спецификаций инфокоммуникационных протоколов.

Научная новизна работы состоит в предмете исследования - в спецификаци протоколов сетей NGN и TDM, в разработке математической модели процес тестирования SDL-спецификаций, в нахождении путей получения достоверных оцен результатов тестирования, в разработке алгоритма оптимизации самого процес тестирования.

Личный вклад. Все важнейшие результаты, составляющие содержание диссертаци получены автором лично. В работах, изданных в соавторстве, автору принадлеж математические модели и теоретические результаты.

Практическая ценность результатов работы. Теоретические исследован выполненные в работе, доведены до инженерных решений. Основные результаты ра& использованы в контрактных работах по сертификации с целым рядом отечественных зарубежных телекоммуникационных компаний, а также в НТЦ Протей при заводе испытаниях оборудования NGN и в Санкт-Петербургском Государственном универеш телекоммуникаций им. проф. М.А. Бонч-Бруевича при организации учебного процесса.

Апробация работы. Основные результаты диссертации докладывались, обсуждали и были одобрены на международных и общероссийских конференциях ШЕЕ, конференциях НТОРЭС им. А.С. Попова, на ежегодных научно-техничес конференциях профессорско-преподавательского состава, научных сотрудников аспирантов СПбГУТ с 2002 по 2011 годы.

Публикации. По материалам диссертации в научно-технических журналах и в труд международных и всероссийских научных конференций опубликовано 24 печати работы, включая четыре учебных пособия с грифом УМО.

Объем и структура работы. Диссертационная работа состоит из введения, 4 гл заключения и списка литературы. Объем пояснительной записки 157 страниц, иллюстраций, список литературы насчитывает 58 наименований. В качестве приложен приведены громоздкие выкладки, которые доказывают справедливость ряда утвержден составляющих основу последних двух глав диссертационной работы, а также акты внедрении результатов диссертации.

Основные положения, выносимые на защиту:

• формализованная модель SDL-спецификации протокола, позволяю" преобразовывать и минимизировать число ее состояний;

• математическая модель процесса тестирования реализации протоколь спецификаций, учитывающая статистические оценки числа испытаний;

• алгоритм процесса тестирования инфокоммуникационных протоколов.

СОДЕРЖАНИЕ ПОЯСНИТЕЛЬНОЙ ЗАПИСКИ Во введении обосновывается актуальность темы, рассматривается состояние исследуемой проблемы, формулируется цель работы, перечисляются основные научные результаты диссертации и кратко излагается её содержание. Приводятся основные положения, выносимые на защиту.

В первой главе характеризуются задачи спецификации интерфейсов телекоммуникационных сетей. Здесь рассматривается эволюция систем сигнализации ТфОП/ISDN в процессе перехода к сети нового поколения NGN.

Эволюцию телекоммуникационных протоколов можно изобразить в виде дерева, как это показано на рис. 1.

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

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

С изобретением многочасшгной сигнализации в телефонии мало что изменилось однако произошло одно важное событие: разделение функций коммутации и функци управления ею между разными группами оборудования АТС. Спустя десять лет, в связи бурным развитием вычислительной техники, с переходом на цифровую технику передач и коммутации и с появлением систем общеканальной сигнализации (ОКС №7 и DSS-1) группу средств управления коммутацией составили распределенные микропроцессорны комплексы с программным управлением, выполняющие функции далеко не тольк передачи, приема и обработки информации о номерах абонентов, но и многое другое, частности, участие в решении задач тестирования оборудования. Все это вело к создаш новых систем сигнализации и внесло в телефонию слово «протокол».

Во второй половине 90-х годов интенсивное развитие получили IP-сети превратившиеся в экономичную среду передачи данных. Большое распространени получил стек протоколов ТСРЛР, используемый как в сети Интернет, так и в локальнь сетях. Это стало предпосылкой к созданию сети следующего поколения NGN, нацеленно на поддержание транспортировки информации всех типов и облегчающей внедрени новейших услуг. Появилась необходимость создания новых протоколов сигнализащ которые соответствовали бы принципам NGN: работе поверх протоколов ТСРЛР (в, то числе, для речевой связи), простоте, надежности, совместимости с сигнализацией разнь типов и поддержке мобильности абонентов.

Объединение сетей телефонной связи, передачи данных и телевизионных привело увеличению объема и сложности общих технических средств этих сетей, что усложнил эксплуатационную поддержку, в частности, протоколов настолько, что сделало эт вопрос критическим. Область перехода на новый уровень технологий и скоросте указывает на рис. 1 пунктирная линия. Стало ясно, что нужны формализованные метод спецификации протоколов, облегчающие тестирование не только их реализаци разработчиком и покупателем, но и самих спецификаций.

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

Во второй главе развиваются положения главы 1, предлагается модел тестируемости SDL-спецификаций телекоммуникационных протоколов. Здесь излагают принципы модели, основанные на представлении спецификации как ряда связанных друг другом расширенных конечных автоматов EFSM, и исследован ряд пример использования такого ее представления. Этими примерами явились: задачи определен эффективности спецификации, вопросы тестируемости SDL-спецификаций, алгоритм процедура создания нормальной формы EFSM (NF-EFSM) на базе таких спецификаци доказательство универсальности процедуры преобразования этой формы в развитый и частично развитый EFSM. Под эффективностью спецификации понимается нек соотношение между функциональными характеристиками протокола и затратами труда тестирование программно-аппаратных средств реализации интерфейса, которь поддерживает этот протокол.

С точки зрения тестирования конечный автомат представляет собой набор ветвей, задача тестирования заключается в проверке каждой из ветвей. Любая ветвь состоит последовательных переходов, каждый из которых предварительно определен. К следствие этого, ветвь р определена условием ветви с(р): входящая последовательно переходов х обязана удовлетворять условию «х должен привести к р». Таким образо создавая набор тестов для ветви р, необходимо найти входящие последовательное?

удовлетворяющие условию с(р).

Если ветвь р является невыполнимой, для нее должно соблюдаться условие отсутствия любых входящих последовательностей переходов, удовлетворяющих условию с(р). Такая ситуация может возникнуть после нескольких переходов в случае, если предварительные условия этих переходов находятся в противоречии.

Таким образом, проблема тестирования SDL-спецификаций часто усложняется наличием в представляющих их EFSM невыполнимых ветвей. Во второй главе представлен метод преобразования спецификаций, позволяющий уменьшить количество невыполнимых ветвей. Метод состоит из двух частей: а) построение на базе спецификаций расширенного конечного автомата нормальной формы (NF-EFSM), и б) развитие этого NF-EFSM до уровня, удовлетворяющего тестированию (PE-EFSM). Создание PE-EFSM начинается с выявления областей состояний, которые содержат, по крайней мере, два условных перехода и разделения этих областей с указанием предусловий. Разделение областей приводит к необходимости перестроения переходов, связанных с разделенными состояниями, и определения типов новых переходов; если новому переходу невозможно задать тип, от этого перехода отказываются. В случае разбиения исходного состояния требуется определить, какое из полученных состояний теперь является исходным, а затем удалить все состояния, которые не могут быть достигнуты из исходного. Процесс развития завершается в случае выполнения одного из двух условий: «полное завершение» - нет никаких условных переходов; «обусловленное завершение» - все оставшиеся условные переходы в представленном PE-EFSM являются условными переходами, обладающими хорошо структурированными петлями в исходном NF-EFSM. Если ни одно из условий не выполнено, необходимо провести новую итерацию расширения.

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

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

Успешная интеграция нового телекоммуникационного оборудования в существующую ЕСЭ РФ зависит от того, насколько верно испытательному центру удалось решить вопросы тестирования. Важно не только не допустить к использованию сетевые элементы, не совместимые с ЕСЭ РФ, но и не довести до неприемлемо высокой величины стоимость испытаний. Для абсолютно достоверного тестирования необходимо проверить порядка N х М пар SDL-автоматов с применением к каждому из них тестов взаимодействия. Очевидные ограничения - неоправданно большое число испытаний, необходимость всякий раз получать доступ к телекоммуникационному оборудованию каждого типа и др. - становятся причиной того, что возникает потребность искать решения, которые позволили бы ограничить число проводимых тестов, скажем, уровнем N + М. Именно поиску подходов к уменьшению числа необходимых тестов посвящена глава 2 диссертации.

На рис. 2 упрощенно представлен фрагмент сети NGN с выделением основных сетевых элементов, а также связывающие разные сетевые элементы NGN телекоммуникационные протоколы, составляющие в совокупности объект исследования диссертационной работы.

Именно для реализации этих протоколов в составе программного обеспечения представленных на рис. 2 сетевых элементов проведены основные исследования глав 2 и 3.

(ISOP,

INAP, MAP| MTP "

Г T*on< > исс,

\ СПС

TDM

Softswitch

MS

AS

SG

(ISUP, INW MAP], SIOTRAN

' MGCP/H.24i

MGC SIP или Н.323

R-F A-F IW-F

SPS-F MSC-F CA-F SIP/SIP-T

---

T6

RTP/RTCP

_ SI^MGCfV_ I R24S,S16TRAN

(Q.931, V5.2J,1 SIGTRAN 1

AG

AGS-F MG-F

Рис. 2. Распределенный узел NGN в составе серверов приложений (Application Server), | медиасерверов (Media Server), контроллера шлюзов (Media Gateway Controller), шлюза J доступа (Access Gateway), сигнального (Signaling Gateway) и транспортного (Trunking

Gateway) шлюзов

Основная часть третьей главы посвящена математической модели испытаний Сначала исследуется проблематика статистических оценок при генерации тестовы' последовательностей на базе теории главы 2, а в следующих разделах выставляютс требования к параметрам модели, задаваемым оператором. Обычная практика испытали элементов телекоммуникационной сети - это проведение тестов по «Типовым методика] сертификационных испытаний». Вопросы оценки качества испытуемого сетевого элемент определяются следующими правилами из этих методик: проверка считается успешной если потери по каждому виду связи не превышают 0,001; результаты проверки считают© положительными, если в течение непрерывного трехсуточного периода произведено н; менее 1000000 контрольных вызовов (на 10000 номеров узла коммутации) коэффициентом ошибок не более 0,1% при соединениях в пределах одной систему коммутации и не более 0,2% при соединениях, проходящих через две независимы системы.

При таких правилах методика обработки результатов тестирования весьма проста и в требует громоздкого математического аппарата Недостатки такого подхода очевидны фиксированный и довольно значительный объем испытаний; отсутствие какой бы то н; было обратной связи между процессом и объектом испытаний; отсутствие прямой связ' между наблюдаемой частотой возникновения потерь вызовов и достоверность! реализации; использование для принятия решения незначительной части информации содержащейся в результатах испытаний.

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

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

Процесс оценивания состоит из двух этапов. На первом этапе происходит отбор объектов, удовлетворяющих нормативным требованиям. Испытания проводятся до тех пор, пока верхняя граница доверительного интервала рв для неизвестного параметра потерь п не станет меньше максимально допустимой вероятности Р0 (рв < Р0 - условие 1), или пока количество испытаний N не достигнет максимального значения (И = Л^ -условие 2). Испытания ведутся сериями одинаковой длины И0 до тех пор, пока не будет получена первая «ненулевая» серия (по>0). Затем проводится оценка , если рв > Р0, то испытания продолжаются, при этом количество потерь будет последовательно увеличиваться до п+К, где К=1,2,..., пока не выполнится одно из двух вышеуказанных условий. В случае, если первый этап завершился выполнением условия 2, необходимо выполнение следующего этапа на котором для отобранных объектов должна быть определена, с заданной точностью, вероятность потерь. Обобщенная схема проведения испытаний представлена на рис. 5.

X

Е1НЕ11

Определение вероятности потерь

Прогноз п; с заданной точностью г

| Прогноз числа потерянных вызовов ^.необходимых для оценки р с точностью г. Определение

Прогноз необходимого количества испытаний _ Присвоения п:=0 и №=0

Проведение испытания; N"N+1

Рис. 5. Блок-схема методики оценки качества элемента телекоммуникационной сети

Оба этапа рассматриваются в четвертой главе, здесь же выставляются требования к варьируемым параметрам модели, а именно к методу приближения, коэффициенту доверия и точности оценки потерь. Рассмотрим более детально каждый из них.

Строгое решение задачи нахождения нижней и верхней доверительных границ для вероятности Р биномиального распределения довольно сложно и решается, как правило, с использованием соответствующих таблиц, однако, в нашем случае, когда N лежит в диапазоне (1000-1000000), а коэффициент доверия у (0,90-0,995) воспользоваться данными этих таблиц не представляется возможным.

В связи с этим в качестве интервальной оценки были использованы точные доверительные интервалы с заданным коэффициентом доверия у (0,90, 0,95, 0,975, 0,99, 0.995), вычисляемые по методу Клоппера-Пирсона с помощью функции Ыпой! пакета прикладных программ МаЙаЬ. Как известно, в случае если объем выборки N «достаточно велик» можно говорить об асимптотической близости нормального распределения к биномиальному (закон больших чисел). Речь идет о нескольких сотнях или тысячах генерируемых вызовов (сессий), что в практике проведения сертификационных испытаний систем обычно выполняется.

Для решения прикладных задач необходимо выбрать приближенный метод, основанный на аппроксимации биномиального распределения нормальным распределением. Сравнивались простой асимптотический метод Вапьда, асимптотический метод с коррекцией непрерывности, метод Вильсона, метод подсчета, включающий коррекцию непрерывности. Вычисления проводились для четырех групп значений количества потерь: «=0-3, при #=500, 1000, 2000, 3000. Сравнение на рис, 5 показало, что минимальная относительная погрешность достигается методом Вильсона, при коэффициенте доверия у=0,95 и п>0:

Pi.Pi = (« + 0,562 ± Ьу]0,25АЧл(1-л/Л0)Щ1+Ьг/Л0, (1)

где А = Ф

■Г-?)

Определив метод приближения и уровень доверия, необходимо задать точность оценки результатов испытаний. Упростим (1), исходя их того, что //значительно больше п и Ь,

р1,р1 =(п+Ъ,5Ъ2 ±Ьу10,25Ьг + п)! N (2)

и проведем расчет относительного отклонения оценки р от верхней рв = р2Ы и нижней границы р„ - рхИ доверительного интервала, а также от интервальной оценки для неизвестного параметра п:

гв = ¿(л/л + 0,25Ьг + 0,56)/п, г„=Ь(т]п + 0,25Ь2-0,5Ь)1п,ги = Ь^п+0,25Ьг/п . (3)

Из (3) выведем соотношения для прогноза числа потерь п, необходимых для оценки Р с точностью г, а затем найдем усредненные значения верхней, нижней и интервальной оценки п:

„ - 1)2 „ ъг V ?ил/177,

-— истод Вильсона

, _ _ __ ивтодлодявтвсюррвщнвй непрерывности

__ простой асиыптотичеоши

иатод Вальса

_ _ _ааадттичеаийиетодсаоррекцией

непрерывности

Достоверность двусторонней оценки у

т

0.975

С,9375

Достоверность односторонней оценки а Рис. 6. Зависимость погрешности аппроксимации биномиального распределения от уровня доверия, для четырех методов, при /1=3, N=5000

Зададим уровень доверия а=0,975 (¿=1,96), проведем при варьируемой точности г [0,01 (0,01) 0,1; 0,1 (0, 05) 0,5; 0,5 (0,1) 0,8] расчеты числа потерь п, по результатам расчета сузим диапазон г и проведем повторные расчеты. Расчет средних значений в более узком диапазоне подтвердил целесообразность выбора диапазона усреднения [0,2; 0,3] как по соображениям минимизации значения пи, так и одновременному удержанию приемлемого значения точности г.

В третьей главе задан двухэтапный алгоритм проведения испытаний, в качестве метода приближения выбран метод Вильсона, определен коэффициент доверия а~0.975 и точность оценки вероятности потери вызова г=(20-30)%.

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

Первый подэтап. Расчет количества испытаний до первой ошибки

Каждый тест представляет собой статистический эксперимент, в котором реализуется схема Бернулли. Предполагаем, что результаты экспериментов независимы друг от друга. В таком случае случайная величина X, представляющая собой полное число потерь в Л'0 испытаниях подчиняется биномиальному распределению

Рт = РкЫ = -р*(1-р)^, = 0,1,2,..., К0.

(5)

Из уравнения следует, что вероятность того, что в серии из Ы0 испытаний не будет

потерь Рц(0) = qt'\a.хотя бы одна потеря (успех) - Р~\-д

(6)

При больших Ао выражение (6) можно представить так:

Р »1 - е~'"°р° (7)

и трактовать как определение вероятности реализации результативной (ненулевой) серии. Расчет математического ожидания количества испытаний до первой ошибки Случайная величинах, представляющая собой число серий до первой результативно серии, подчиняется геометрическому распределению, для которого математическо ожидание:

ЛЯГ=?//>. (8)

В таком случае математическое ожидание числа серий, включая перв; результативную, будет:

МХ = д/р+1 = 1/р (9)

а математическое ожидание суммарного числа испытаний Агп в сериях до перво результативной (включительно):

= 1-е'»'*). (10)

Расчет гарантированного количества испытаний до первой ошибки Проведем подобные расчеты для заданного уровня гарантии РГ реализаци результативной серии. Обозначим как хг количество экспериментов, которые необходим для этого осуществить.

Опираясь на (10), получаем гарантированное суммарное количество испытаний Ап до первой ошибки:

^пг =-Щ-Рг)/Ргр,еслихг/М0 >1,

^пг ~ если хг/Ы0<1. (11)

Зададим уровень гарантии реализации результативной серии Рг =0,85, используе. значения вероятность потери ра, как р<л = 10~\ Роз =3• 10"1, р05 =5-10'4, р07 =7 ■ 10"4, рс9 =9-10 и проведем расчеты для варьируемой длины серии испытаний Аг0 (500, 1000, 2000, 3000 5000,10000).

Рассмотрим полученные результаты расчетов с точки зрения организации процесс тестирования. При тестировании телекоммуникационного оборудования организащ серий испытаний представляется более сложной задачей, чем проведение болыпог количества тестов в одной серии. В связи с этим целесообразно выбрать длину сери испытаний А'о=5000 или Л'с=10000. Суммарное количество испытаний будет составлят , где т - математическое ожидание количества серий.

Второй подэтап. Оценивание количества испытаний до К-й ошибки По результатам первого подэтапа получаем значения количества потерь п0 в А'и испытаниях, где Ап =тЫ0, но в отличие от теоретических расчетов, т здесь имеет смыс не математического ожидания количества серий, а конкретного результата испытаний, чт позволяет говорить об оценке максимального правдоподобия (частота ошибок): рп=па!Ип. (12)

Точечное оценивание числа испытаний до К-й ошибки Опираясь на (9), запишем математическое ожидание числа испытаний до К-о ошибки включительно:

МХ = К/р. (13)

Воспользуемся (12) и найдем оценку математического ожидания количеств испытаний, которые надо провести до К-й ошибки включительно:

Ш = (щ

Случайная величина X, представляющая собой число испытаний до К-й ошибки, подчиняется отрицательному биномиальному распределению, для которого математическое ожидание и дисперсия определяются как:

МХ = Кд1 р, (15)

ОХ=Кд/рг, (16)

а функция распределения как р(Х <Nr) = ¡0'Nr=0^1'2'^"^K~1^ П7)

где /"(;?) с высокой точностью аппроксимируется нормальным законом с математическим ожиданием (15) и дисперсией (16), тогда ЛГг = К+^-(ьЛс+К'), (18)

"о

где K' = Щ-nt¡INn)

Интервальное оценивание количества испытаний до К-й ошибки Воспользуемся (1) и построим доверительный интервал для ранее определенных границ рц=р\№; рв^Ж В таком случае оценка математического ожидания числа испытаний до первой ошибки включительно, усредненная по всевозможным значениям (уровня доверия) параметра Ь:

1 1

"о

(20)

а оценка Р: й=—^-

ЛГ„(2«0+1)'

Расчет количества потерь К на втором подэтапе

Количество ошибок после п0 можно найти, решая неравенство ре < , (21)

обозначим х-п0 + К,тогда р = (22)

Воспользуемся приближением Вильсона (1):

б2 (0,5-^,)+6-^0,256 р) = х(Рц/р-1). (23)

Введем а = Р0/р, (24)

тем самым получаем параметр, представляющий собой отношение нормативной величины вероятности к оценке вероятности. Анализ величины а позволяет установить наличие или отсутствие решения для К, из (23) видно, что должно выполняться условие а> 1.

Учитывая малость Р0, найдем приближенное значение х: х » ■ (25)

Тогда (26)

Таким образом, подставив в (24) точечную (12) и интервальную (20) оценки потерь и рассчитав (26), найдем точечную К и интервальную К оценки количества потерянных вызовов на втором подэтапе.

Учитывая, что на первом подэтапе уже провели испытаний, воспользовавшись (14) и (24), находим суммарное число испытаний, в процессе которых будет х = п0+К ошибок:

(27)

Воспользовавшись (14), находим гарантированное суммарное количество испытаний до К-ой ошибки Мпг = Ып+К+^п- (Ь-Лс+К') (28)

«о

Численные расчеты значений второго подэтапа Для выявления характера влияния разных параметров на основные характеристики, том числе на продолжительность испытаний, выполнены расчеты значений оцен математического ожидания и гарантированной оценки суммарного количества испытали Л^ и Л^ для двух, рекомендованных по результатам исследования первого подэтал значений серий (5000 и 10000). Уровень доверия варьировался от 0,80 до 0,98 Перебирались все возможные значения щ, но так, чтобы выполнялось условие а> 1 Расчеты проводились как для точечной, так и для интервальной оценки (Ки К'). Пр расчете соблюдалась последовательность действий, предложенная ранее: - по данны количества испытаний и потерь давалась оценка Р; при заданной вероятности потер Р0 =10 рассчитывался коэффициент а; для выбранного уровня доверия проводило расчет х, К, К'; в случае получения Х<0 вычисления далее не проводились, и Ы, устанавливался равным А'0 (условие ръкРо оказывается выполненным уже на одном и испытаний первоначальной серии); на основе полученных данных вычислялись значен: .\гп, N,TГ и К'11Г. Далее для каждой серии проведено усреднение по потерям, а зате по уровню доверия, в результате получены значения: Кср, Л^, Л'^ и Кср, Л^ .

Для полученных средних значений точечной и интервальной оценки рассчитань следующие коэффициенты предпочтения: к. = Км/к2- N^1 Л'-, к3 = Л'^-/

В каждой группе введен коэффициент сравнения оценки математического ожидал и гарантированного значения: кА = IКТГ1, къ = /, к6 = (к, + к^)/2.

В заключение проведен расчет А(10000)/А(5000), где А(Х) представляет собо значения К^, Ып, , и Кср, Ят и шести коэффициентов к. Все полученные данны сведены в табл. 1.

К "п К К К К

N=5000 17 7 2,6 27900 14000 2,0 35600 18600 1,9 1,27 1,33

N=10000 39 17 2,3 55700 30700 1,8 63800 36200 1,8 1,15 1,18

А(ЮООО)/ А (5000) 2,3 2,6 0,9 2,0 2,2 0,9 1,8 1,9 0,9 0,90 0,88

Проведенные расчеты позволяют сделать следующие выводы.

1. Объем серии, используемой на первом подэтапе, должен составлять 5000 тесто Результаты еще раз подтверждают вывод о предпочтительности выбора объем первоначальной серии испытаний, равного №=5000. По сравнению- с Л'= 10000 при тако выборе в 1,8-2,2 раза сокращается средняя продолжительность испытаний (в 1,8 раза пр точечной оценке гарантированного значения, в 2,2 раза при интервальной оценк математического ожидания). В 2-3 раза уменьшается количество циклов испытаний, чт также немаловажно, поскольку упрощается организация испытаний. Кроме того, резк сокращается объем непроизводительных испытаний.

2. После первого подэтапа необходимо проанализировать коэффициент потерь а и случае, если он попадает в диапазон (1; 1,1], увеличивать значение нормирований величины потерь на 0,1. Суммарный объем испытаний нелинейно зависит о наблюдавшегося количества потерь п0 на первом подэтапе. Это относится как к оцен математического ожидания, так и к гарантированным значениям. Фактически, эт зависимость от вероятности потери вызова Р, оценка которой такова, что чем ближе и0/ к норме Р0, т.е. чем меньше параметр а отклоняется от единицы, тем больший объе

испытаний требуется провести. Зависимость носит катастрофический характер - при стремлении а к единице наблюдается неограниченный рост К и N,} так что при ае(1; 1,1]

значение Р0 уже трудно достижимо.

В связи с этим для случая, когда а попадает в диапазон (1; 1,1], предлагается ввести вместо ?0 величину Р0' = Р0+ЛР0 (положить, например, ЛР0=ОДР0). Такой подход даст реализуемые значения объема испытаний N, и позволит оценить Р за приемлемое время.

3. Если коэффициент потерь а<1, то количество испытаний необходимо ограничить J20 ООО. В случае если а< 1, дальнейшие расчеты теряют смысл, однако количество испытаний на первом этапе необходимо ограничить. В качестве такого ограничителя предлагается выбрать гарантированное значение точечной оценки математического ожидания количества испытаний, имеющее место при соблюдении следующего условия:

_ i Е (NPa), если {N Р0 } > 0 , ~~ [¿(Л^о - I), если О ,

где £(х) - целая, а {х} - дробная части числа х. Для заданных значений - Р0=0,001 и #0=5000, получаем и0=4. Для заданных параметров при уровне доверия а=0,975 находим AU* =120 ООО.

4. При прогнозе объема испытаний предпочтительней использовать интервальные оценки, а в качестве ограничителей количества испытаний - точечные оценки. Сопоставление коэффициентов кх - къ показывает, что и оценка математического ожидания, и гарантированные значения суммарного количества испытаний при переходе от точечной к интервальной оценке убывают в 1,9-2,0 раз, а количество потерь уменьшается еще более значительно - в 2,6 раза (коэффициент к\ ). Это говорит о том, что использование интервальных оценок предпочтительно при прогнозе объема испытаний. Однако, при проведении испытаний, когда значения Nlz, NIsr и Nlz, Nm- используются как ограничители количества испытаний на первом этапе (#юах), целесообразно, для гарантии, использовать немаркированные значения Nn, Nllr.

5. При прогнозе испытаний предпочтительнее использование гарантированных оценок. Использование гарантированных оценок NIlr,Nlu значительно увеличивает ожидаемый объем испытаний. Как видно из данных таблицы (коэффициенты к4 - кй) объем испытаний увеличивается на (27-33)% для //=5000 и на (15-18)% для #=10000. Поскольку в дальнейшем признано целесообразным установить #=5000, можно считать, что в среднем гарантированные значения на 30% превосходят математические ожидания. Таким образом, использование оценок с заданным уровнем гарантии предпочтительнее при прогнозе объема испытаний. Как видно из рис. 5, второй этап состоит из прогноза числа потерь и необходимого количества испытаний для получения окончательных выводов.

Прогноз числа потерь п„

Воспользуемся (4) и для определенного в третьей главе диапазона точности - 20-30% проведем усреднение по уровню гарантии, используя композитное правило Симпсона. В результате расчета мы получаем прогнозное значение иэ =51, учитывая полученные на первом этапе прогнозные средние значения потерь п^ = 1,К = \1 по формуле

находим среднее значение необходимого числа потерь на втором этапе испытаний л„= 32.

Отметим, что все полученные прогнозные значения используются только при исследовании характеристик предлагаемой методики. На практике в формулу (34) подставляются фактические значения, полученные на первом этапе испытаний.

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

Исходными данными для прогноза количества испытаний на втором этапе являются определенные на первом этапе значения потерь и количество испытаний. На основании этих данных мы получаем оценку максимального правдоподобия:

(30)

Воспользовавшись (13), получим оценку математического ожидания количества испытаний, которые надо провести на втором этапе: МХ„ = пп1 рп. (31)

Учитывая (28) оценку гарантированного значения суммарного количества испытаний второго этапа, можно записать:

ЛгД1г = пд+-т-( (32)

Рп.

где п'в

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

- достоверность односторонней оценки «=0,975;

- предельно допустимую вероятность потери вызова - Р0 = 0,001;

- необходимую точность г оценки р вероятности потери вызова Р- /■=(20-30)%;

- гарантийную вероятность необходимого числа испытаний - Рг=0,975;

- сетку возможных значений оценки вероятности потери вызова - 10"4 (1-Ю-4) 9-Ю^1. Важнейшим параметром схемы является значение — длина серии испытаний в подэтапе 1.1. Ранее было показано, что для целей практического использования целесообразно рекомендовать значение N0=5000, поскольку при этом (по сравнению с Л/0 = 10000) в среднем в 1,8-2,2 раза улучшаются ожидаемые объемные характеристики процесса испытаний. Однако при сравнительном анализе преимуществ или недостатков предлагаемой методики это соображение не может являться решающим. Напротив, необходимо стремиться выбрать не вполне благоприятные условия и варианты для определения характеристик методики, чтобы придать большую убедительность выводам о ее преимуществах, если таковые есть, или обеспечить возможность коррекции результатов, если они будут не в пользу методики. Исходя из этого, было выбрано Аг0 = 10000. Результаты вычислений представлены в табл. 2.

Следует отметить следующее:

- объем испытаний на первом этапе в значительной части рассмотренного диапазона значений />е[Ю-1, 6-10"1] почти не изменяется и составляет десятки тысяч. Однако начиная с р = 7-10"4, наблюдается быстрый рост и в пограничной с Ра области составляет сотни тысяч испытаний. Среднее количество испытаний составляет примерно КТШ= 43000;

- обратная картина наблюдается на втором этапе. В области малых значений р Л^очень велико (более 700000), затем оно быстро убывает и, в конце концов, сходит на нет, поскольку в пограничной с Р0 области второй этап вообще оказывается не нужным. Средний объем испытаний составляет примерно Л^д== 430000;

- соответственно этому суммарный объем испытаний в области малых значений р практически совпадает с Т/ДЕГ, а в области больших значений - с Средний суммарный объем испытаний составляет Nтг= 470000;

- сравнение, представленное на рис. 7, предлагаемой методики с известной, по общему объему испытаний показывает, что ее применение обеспечивает снижение количества испытаний в 0,5 - 11,6 раза, а в среднем сокращает его в 5 раз. Для проведения сравнения введен к7 - коэффициент преимущества предлагаемой методики: к, = 106 / А'^

Таблица 2. Прогнозируемые характеристики испытаний.

Параметр, характеристика Возможные оценки вероятности потери вызова

ю-4 2-Ю"4 3-Ю"4 4-10"* 5-Ю"4 6-ю-4] 7-10"4 8-10-4 9-Ю"4

Ядг 10000 10000 10000 10000 15392 24886 40265 74606 193503

Нщг 2199408 734756 351702 186225 152880 122821 78794 11549 0

йтг 2209408 744756 361702 196225 168272 147707 119058 86154 193503

¡4 0,5 1,3 2,8 5,1 5,9 6,8 8,4 11,6 5,2

р*1е-4

Рис. 7. Прогнозируемые характеристики процесса испытаний

В четвертой главе рассмотрены оценки и реализация предлагаемого метода проведения испытаний, которые позволяют:

а) автоматизировать процесс проведения испытаний,

б) сократить время проведения испытаний,

в) возложить на программный комплекс весь процесс обработки результатов,

г) создать единую систему показателей качества,

д) сформировать базу для сравнительного системного анализа однотипных сетевых элементов разных фирм-изготовителей.

ЗАКЛЮЧЕНИЕ

1. Разработаны математические модели сертификационных испытаний инфокоммуникационных протоколов, рассчитаны статистические оценки числа тестов в разных условиях. Разработан алгоритм оптимизации процесса тестирования SDL-спецификаций (рис. 5).

2. Определены ключевые вероятностно-временные характеристики процессов тестирования инфокоммуникационных протоколов и выведены аналитические выражения для их расчета.

3. Построена математическая модель SDL-спецификаций телекоммуникационных протоколов, позволяющая оптимизировать число состояний и тем самым уменьшать сроки и трудоемкость сертификационных испытаний.

4. Обнаружено, что для некоторого диапазона параметров тестирования весьма ограниченное число тестов может обеспечивать вполне достоверные оценки. Исследованы зависимости прогнозируемого числа оставшихся испытаний от статистических оценок результатов уже проведенных испытаний и выработаны соответствующие рекомендации.

5. Отдельные результаты диссертационной работы и, в первую очередь, математические модели процесса тестирования были применены при организации сертификационных испытаний в ИЛ СПбГУТ и ЛО ЦНИИС в процессе выполнении целого ряда контрактов на сертификационные испытания с разными фирмами-производителями коммутационного оборудования сетей TDM и NGN, в Научно-техническом центре Протей при заводских испытаниях оборудования NGN/IMS, в Научно-техническом центре СевенТест при разработке протокол-тестеров семейства SNT и платформы сетевого мониторинга СПАЙДЕР, в учебном процессе в СПбГУТ им. проф. М.А. Бонч-Бруевича при создании учебно-исследовательской платформы СОТСБИ-У, что подтверждено соответствующими актами и справками о внедрении.

6. Подготовлено развернутое пособие для разработки автоматизированной системы тестирования, отвечающей всем требованиям, которые предъявляют к такой системе существующие нормативные документы, с учетом Рекомендаций ITU-T серий Е.800, Q.500, Y.1540 в составе основных показателей качества, дополнительно к вероятности потери вызова/сессии.

СПИСОК ПУБЛИКАЦИЙ ПО ТЕМЕ ДИССЕРТАЦИИ

1. Гойхман В., Митрошкин К. Организация мультисервисных сетей на основе программных коммутаторов. // «Мир Lucent». - 2001,- №9. - С. 12-17.

2. Гойхман В.Ю., Гольдштейн Б.С., Кисленко JI.C. Телекоммуникационный контент в Инфобанке СОТСБИ. // Вестник связи. - 2002. - №9. - С. И 6-120. (в списке ВАК)

3. Гойхман В.Ю., Гольдштейн Б.С., Дымарский Я.С., Сибирякова Н.Г. Сертификационные испытания коммутационного оборудования средств связи. II Вестник Международной академии «Информация, связь, управление в технике, природе, обществе». - 2002. - №4. - С.3-28.

4. Гойхман В.Ю., Гольдштейн Б.С., Дымарский Я.С., Сибирякова Н.Г. Модели и методы оценки эффективности протокол-тестеров. // Вестник Международной академии «Информация, связь, управление в технике, природе, обществе». - 2002. - №4. - С.29-60.

5. Гойхман В.Ю., Апостолова H.A., Гольдштейн Б.С. Учрежденческие IP-PBX - прообраз эволюции технологий в СТС. // Вестник связи. - 2003. - №7. - С.37-40 (в списке ВАК).

6. Гойхман В.Ю. Учрежденческие АТС сегодняшнего и следующего поколения. // Технологии и средства связи. - 2003, - Х°4. - С. 14-20.

7. Гойхман В.Ю., Гольдштейн А.Б. Мультисервисные абонентские концентраторы. // Технологии и средства связи. - 2004. - №1. - С.22-28.

8. Гойхман В.Ю., Васильев А.С. Диверсификация городских АТС. // Технологии и средства связи. - Спец. вып. "АТС 2004: коммутационное оборудование". - 2004. - С. 10-12.

9. Гойхман В.Ю. Учрежденческие АТС: классификация, емкость, интерфейсы. // Технологии и средства связи. - Спец. вып. "АТС 2004: коммутационное оборудование". - 2004. -С.34-38.

10. Гойхман В.Ю. Учрежденческие АТС - эволюция технологий. // Connect! Мир связи. -2005. - №4. - С. 22-25.

11. Гойхман В.Ю. Распределенные коммутационные системы. Принципы построения. // Технологии и средства связи. - 2005. - №2. - С.52-59.

12. Гойхман В.Ю. Функциональные объекты IP-УАТС. // Connect! Мир связи. - 2005. - №4. -С. 230-234.

13. Гойхман В.Ю. Новая модель сертификации коммутационного оборудования. // Технологии и средства связи. - Спец. вып. - 2006. - С. 12-13.

14. Гойхман В.Ю. Бизнес-коммуникации предприятия среднего бизнеса. // Connect! Мир связи. - 2006. - №9. - С. 114-118.

15. Гойхман В.Ю. Телефония для самых больших. Обзор решений крупных УПАТС для корпораций и ведомств. // Connect! Мир связи. - 2006. - №11. - С. 98-104.

16. Гойхман В.Ю. Модель тестируемости SDL-спецификаций телекоммуникационных протоколов. // 60-я научно-техническая конференция профессорско-преподавательского состава, научных сотрудников и аспирантов СПбГУТ им. проф. М.А. Бонч-Бруевича: Материалы - СПб.: 2008.

17. Гойхман В.Ю. Процедура подтверждения соответствия оборудования корпоративных сетей. //«СЮ». - 2008,- №8.

18. Гойхман В.Ю. Современные возможности корпоративной телефонии. // «СЮ» . - 2008,-№9.

19. Гойхман В.Ю., Гольдштейн Б.С., Фицов В.В. Протокол сигнализации R1.5: учебное пособие (направление 210400 «Телекоммуникации» — специальности 210406 «Сети связи и системы коммутации», 210402 «Средства связи с подвижными объектами», 210407 «Эксплуатация средств связи»), СПбГУТ. СПб, 2009 Сгриф УМО).

20. Гойхман В.Ю., Гольдштейн Б.С., Онучина Д.Н. Протокол S1P: учебное пособие (направление 210400 «Телекоммуникации» и направление 230100 «Информатика и вычислительная техника»). СПбГУТ. СПб, 2009 (гриф УМО).

21. Гойхман В.Ю. Исследование SDL-спецификаций протоколов сетей TDM и NGN. 61-я научно-техническая конференция профессорско-преподавательского состава, научных сотрудников и аспирантов СПбГУТ им. проф. М.А. Бонч-Бруевича: Материалы.- СПб.: 2009.

22. Гойхман В.Ю., Гольдштейн Б.С., Политова Ю.В. Протокол ISUP стека ОКС7: учебное пособие (направление 210400 «Телекоммуникации» и направление 230100 «Информатика и вычислительная техника»). СПбГУТ. СПб, 2009. (гриф УМО). .

23. Гойхман В.Ю. Статистические модели тестирования телекоммуникационных протоколов. 62-я научно-техническая конференция профессорско-преподавательского состава, научных сотрудников и аспирантов СПбГУТ им. проф. М.А Бонч-Бруевича: Материалы - СПб.: 2010.

24. Гойхман В.Ю., Гольдштейн Б.С., Онучина Д.Н. Сеть NGN. Оборудование IMS: учебное пособие (направление 210400 «Телекоммуникации» и направление 230100 «Информатика и вычислительная техника»). СПбГУТ. СПб, 2010 (гриф УМО).

Подписано к печати 16. 06.2011.

_Тираж 80 экз. Объем 1 печ. л._

Тип. СПбГУТ, 191186 СПб, наб. р. Мойки, 61

UV

Перечень сокращений.

Перечень обозначений.

ВВЕДЕНИЕ.

ГЛАВА 1. Задачи спецификации интерфейсов телекоммуникационных сетей.

1.1. Эволюция систем сигнализации ТфОП/ISDN при переходе к NGN.

1.2. Формализованные методы спецификации телекоммуника-циионных протоколов.

1.3. Тестирование телекоммуникационных протоколов.

1.4. Состояние исследований и цель диссертационной работы.

Выводы главы 1.

ГЛАВА 2. Модель тестируемости SDL-спецификаций телекоммуникационных протоколов.

2.1. Общие принципы формализации SDL-спецификаций.

2.2. Тестируемость SDL-спецификаций.

2.3. Создание NF-EFSM на основе SDL-спецификаций.

2.4. Процедура расширения.

2.5. Алгоритм создания NF-EFSM для SDL-спецификации телекоммуникационного протокола.

2.6. Процедура развития автомата NF-EFSM.

Выводы главы 2.

ГЛАВА 3. Статистические модели испытаний телекоммуникационных протоколов.

3.1. Тестирование телекоммуникационных протоколов.

3.2. Элементарные статистические оценки процесса тестирования.

3.3. Выбор метода приближения

3.4. Выбор коэффициента доверия ос.

3.5. Выбор точности оценки г.

Выводы главы 3.

ГЛАВА 4. Численные оценки процессов тестирования

SDL-спецификаций.

4.1. Модели прогноза количества испытаний до первой ошибки на этапе оценивания вероятности потери вызова/сессии. Подэтап 1.1.

4.2. Модели прогноза количества испытаний до К-ой ошибки на этапе оценивания вероятности потери вызова/сессии. Подэтап 1.2.

4.3. Модели оценки количества испытаний на этапе уточнения вероятности потери вызова/сессии.

Этап 2 - общий объем испытаний.

4.4. Методика тестирования протокольных спецификаций.

Выводы главы 4.

Актуальность исследований. Телекоммуникационные протоколы, как и методы их специфицирования и тестирования в сетях связи общего пользования, развивались вместе с развитием телекоммуникационной техники. На современном этапе, характеризующемся конвергенцией сетей с разными технологиями передачи информации и коммутации, стали использоваться новые телекоммуникационные протоколы, базирующиеся на принципах коммутации каналов в TDM-сетях (Time Division Multiplexing), на принципах коммутации пакетов, и в сетях следующего поколения NGN (Next Génération Network).

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

В силу сказанного стали актуальными задачи анализа и формализации SDL-спецификаций, минимизации числа значимых SDL-состояний, а также расчета вероятностно-временных характеристик (ВВХ) сертификационных испытаний этих протоколов и оптимизации числа таких испытаний.

Состояние вопроса. Начало исследований в этом направлении совпало по времени с появлением языка спецификаций и описания SDL (Spécification and Description Language) и поколения систем коммутации с программным управлением.

В рекомендациях Международного союза электросвязи (МСЭ) серии Z и в документах других стандартизующих организаций рассмотрены языки - методы спецификации и описания инфокоммуникационных протоколов, - однако они ориентированы на инженерное применение и не позволяют математически рассчитать ВВХ и статистическую достоверность результатов тестирования. Научные основания для такого расчёта содержатся в многочисленных работах по математической статистике, а также в исследованиях формальных спецификаций С.С. Бернштейна, Г.Л. Ионина, Б. Лискова и Д. Гатэга, Ч. Хоара и др.

В работах профессоров Б.С. Гольдштейна, Я.С.Дымарского, А.Н. Терехова, М.А. Шнепса-Шнеппе и целого ряда других авторов исследованы вопросы спецификаций программного обеспечения телекоммуникационных систем, но эти исследования не распространялись на минимизацию SDL-спецификаций и на статистические оценки тестирования протоколов и, естественно, не рассматривают математические модели процесса сертификационных испытаний.

Цель и задачи исследования. Цель диссертационной работы состоит в создании формализованной модели SDL-спецификаций телекоммуникационного протокола, допускающей выявление и минимизацию числа логически значимых состояний SDL-спецификации, в разработке стратегии этой минимизации, а также в получении формул для расчета статистических характеристик тестирования таких минимизированных формализованных протокольных спецификаций.

Такая цель определила необходимость решения следующих научных задач:

• разработать принципы и формализованную модель эффективной SDL-спецификации телекоммуникационного протокола;

• разработать механизмы и алгоритмы нормализации SDL-спецификаций, т.е. минимизации числа логически значимых состояний SDL-спецификации, исключающей несущественные и тупиковые ветви;

• построить математическую модель тестирования SDL-спецификаций;

• рассчитать статистические оценки процесса тестирования SDL-спецификаций телекоммуникационного протокола;

• применить полученные результаты к некоторым телекоммуникационным протоколам TDM- и NGN-сетей.

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

Научная новизна работы состоит в предмете исследования -протокольных спецификациях сетей NGN и TDM, в разработке математической модели SDL-процесса, в разработке достоверных оценок результатов тестирования, математической модели процесса тестирования и в разработке алгоритма оптимизации этого процесса.

Личный вклад. Все результаты, составляющие содержание диссертации, получены автором лично. В работах, выполненных в соавторстве, автору принадлежат математические модели и теоретические результаты.

Практическая ценность результатов работы. Теоретические исследования, выполненные в работе, доведены до инженерных решений.

Основные результаты работы использованы в ДО ЦНИИС и в контрактных работах с целым рядом отечественных и зарубежных телекоммуникационных компаний, в НТЦ «Протей» при заводских испытаниях оборудования мультисервисного абонентского концентратора (iMAK) с функциями медиа-шлюза и мультисервисного коммутатора доступа (МКД) класса Softswitch, а также в Санкт-Петербургском государственном университете телекоммуникаций им. проф. М.А. Бонч-Бруевича при организации учебного процесса.

Апробация работы. Основные результаты диссертации докладывались и обсуждались на международных и общероссийских конференциях IEEE и НТОРЭС им. А.С, Попова, на ежегодных научнотехнических конференциях профессорско-преподавательского состава, научных сотрудников и аспирантов СПбГУТ с 2002 по 2011 годы.

Публикации. По материалам диссертационной работы в научно-технических журналах и в трудах международных и всероссийских научных конференций опубликовано 19 печатных работ, включая четыре учебных пособия.

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

Выводы главы 4

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

2. Предлагаемая в диссертации методика концептуально и по эффективности превосходит традиционную методику: объем испытаний непосредственно коррелирован с характеристиками испытуемого сетевого элемента, определяется и корректируется в процессе испытаний. Для оценки результатов испытаний используется математико-статистический аппарат теории интервального оценивания, позволяющий судить о возможных границах (диапазонах) изменения определяемых характеристик качества испытуемой станции и степени доверия к полученным результатам, объем испытаний снижается в 0,5-11,6 раза, в среднем -в 5 раза.

3. Результаты исследований были применены для организации сертификационных испытаний в JIO ЦНИИС при выполнении ряда контрактов с фирмами-производителями, в Научно-техническом центре ПРОТЕЙ при заводских испытаниях оборудования NGN/IMS платформы iMAK, в СПбГУТ им. проф. М.А. Бонч-Бруевича в учебном процессе на базе учебно-исследовательской платформы СОТСБИ-У. Акты о внедрении представлены в Приложении 2 к диссертационной работе.

Заключение

Анализ развития средств спецификации и тестирования телекоммуникационных протоколов показывает, что переход к сетям следующего поколения NGN и возникновение мультисервисных конвергентных сетей связи привели к резкому усложнению телекоммуникационных протоколов и к увеличению затрат на их тестирование и на сертификацию реализующего эти протоколы телекоммуникационного оборудования. В диссертации установлены некоторые правила и методы разработки и преобразования спецификаций телекоммуникационных протоколов на языке SDL, минимизирующие число значимых SDL-состояний. Методы спецификаций инфокоммуникационных протоколов еще недостаточно исследованы, а существующие модели проектирования протокольных спецификаций очень многое не позволяют принять во внимание.

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

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

Отдельные результаты диссертационной работы и, в первую очередь, математические модели процесса тестирования проверены на базе результатов их внедрения. Результаты диссертационных исследований были применены для организации сертификационных испытаний в JIO ЦНИИС при выполнении ряда контрактов с фирмами-производителями, в Научно-техническом центре ПРОТЕЙ - при заводских испытаниях оборудования NGN/IMS платформы iMAK, в СПбГУТ им. проф. М.А. Бонч-Бруевича - в учебном процессе на базе учебно-исследовательской платформы СОТСБИ-У, что подтверждено соответствующими актами и справками о внедрении, представленными в Приложении 2 к диссертационной работе.

1. Аваков P.A., Гольденберг Л.М., Игнатьев В.О. Электронные управляющие машины. - М.: Связь, 1979.

2. Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск: Наука, 1987.

3. Апостолова H.A., Гойхман В.Ю., Гольдштейн Б.С. Учрежденческие IP-PBX прообраз эволюции технологий в СТС. //Вестник связи. -2003. - №7. (в списке ВАК).

4. Бахвалов Н.С. Численные методы (анализ, алгебра, обыкновенные дифференциальные уравнения). М.,1975

5. Бернштейн С.С. К анализу алгоритма АТС. Сб. трудов НИИТС, 1963.-№12.

6. Большее JI.H., Смирнов Н.В. Таблицы математической статистики. -М„ 1983

7. Брауэр В. Введение в теорию конечных автоматов. М.: Радио и связь, 1987.

8. Васильев A.C., Гойхман В.Ю. Диверсификация городских АТС. //Технологии и средства связи. Специальный выпуск "АТС 2004: коммутационное оборудование". 2004.

9. Вентцель Е.С. Теория вероятностей. М., 1969

10. Глушков В.М., Цейтлин Г.Е., Ющенко E.J1. Алгебра. Языки. Программирование 3-е изд., доп. - Киев: Наукова думка, 1989.

11. Гмурман В.Е. Теория вероятностей и математическая статистика. М,. 2008

12. Гойхман В.Ю., Митошкин К.С. Организация мультисервисных сетей на основе программных коммутаторов. //Мир Lucent. 2001. - №9.

13. Гойхман В.Ю., Гольдштейн Б.С., Кисленко JI.C. Телекоммуникационный контент в Инфобанке СОТСБИ. //Вестник связи. 2002. - №9. (в списке ВАК)

14. Гойхман В.Ю., Гольдштейн Б.С., Дымарский Я.С., Сибирякова Н.Г. Сертификационные испытания коммуникационного оборудования. //Вестник Международной академии «Информация, связь, управление в технике, природе, обществе». 2002. - №4.

15. Гойхман В.Ю., Гольдштейн Б.С., Дымарский Я.С., Сибирякова Н.Г. Модели и методы оценки эффективности протокол-тестеров. //Вестник Международной академии «Информация, связь, управление в технике, природе, обществе». 2002. - №4.

16. Гойхман В.Ю. Учрежденческие АТС сегодняшнего и следующего поколения. //Технологии и средства связи. 2003. - №4

17. Гойхман В.Ю. Учрежденческие АТС: классификация, емкость, интерфейсы. Журнал "Технологии и средства связи". Специальный выпуск "АТС 2004: коммутационное оборудование". 2004.

18. Гойхман В.Ю., Гольдштейн А.Б. Мультисервисные абонентские концентраторы. //Технологии и средства связи. 2004. №1.

19. Гойхман В.Ю. Учрежденческие АТС эволюция технологий //Connect! Мир связи. - 2005. - №4

20. Гойхман В.Ю. Новая модель сертификации коммутационного оборудования. //Технологии и средства связи. Специальный выпуск "АТС. Коммутационное оборудование. Buyers' Guide 2006" 2006.

21. Гойхман В.Ю. Телефония для самых больших. Обзор решений крупных УПАТС для корпораций и ведомств. //Connect! Мир связи. -2006. -№11.

22. Гойхман В.Ю. Бизнес-коммуникации предприятия среднего бизнеса. //Connect! Мир связи. 2006. - №9.

23. Гольдштейн Б.С., Сибирякова Н.Г., Соколов A.B. Сигнализация R1.5. Справочник по телекоммуникационным протоколам. СПб.: БХВ -Санкт-Петербург, 2004.

24. Гольдштейн Б.С. Сигнализация в сетях связи. Том 1. 4-е изд., перераб. и доп. М.: Радио и связь, 2005.

25. Горяинов В.Б., Павлов И.В., Цветкова Г.М. и др. Математическая статистика. М., 2001

26. Градштейн И. С., Рыжик И.М. Таблицы интегралов, сумм, рядов и произведений. М., 1963

27. Громов Ю.Ю., и др. Надёжность информационных систем. Тамбов, 2010

28. Ивченко Г.И., Медведев Ю.И. Введение в математическую статистику. М., 2010

29. Дисков Б., Гатэг Д. Использование абстракций и спецификаций при разработке программ. М.: Мир, 1989.

30. Типовая программа и типовые методики сертификационных испытаний городских АТС. М.: Минсвязи России, 1994

31. Уилкс С. Математическая статистика. М.: "Наука", 1967.

32. Успенский В.А., Семенов A.JI. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987.

33. Феллер В. Введение в теорию вероятностей и её приложения, т. 1,2. -М.: "Мир", 1967.

34. Хаусхолдер A.C. Основы численного анализа. М., 1956

35. Хоар Ч. Взаимодействующие последовательные процессы. М.: Мир, 1989.

36. Шор Я.Б. Статистические методы анализа и контроля качества и надежности. М., 1962.

37. Янов Ю.И. О логических схемах алгоритмов. Сб. "Проблемы кибернетики" М.: Физматгиз, вып. 1, 1958.

38. CCITT Recommendation Z.100: Functional Specification and Description Language (SDL). 1988 Blue Book

39. CCITT Recommendation Z.100: SDL Basic graphical language 1976 Orange Book

40. IBM Rational Software Электронный ресурс. / International Business Machines Corp. Электрон, дан. - Нью-Йорк, США, [2011]. - Режим доступа: http://www-01.ibm.com/software/rational/ свободный.— Загл. с экрана.

41. ISO/IEC 8327-2, Information technology Open Systems Interconnection -Basic connection oriented session protocol specification - Part 2 : Protocol Implementation Conformance Statement (PICS) Proforma /Проформа PICS реализации протокола

42. ISO/IEC 10168-1, Information technology Open Systems Interconnection - Conformance Test Suite for the session protocol - Part 1: Test suite structure and test purposes /Структура тестового комплекта и тестовые цели

43. ISO/IEC 19501:2005(Е) Unified Modeling Language Specification Version 1.4.2 formal/05-04-01.

44. ITU-T: Specification and Description Language. Ree. Z.100. Geneva. -1992.

45. ITU-T. Specification and Description Language (SDL). Geneva, 2000. (Z.100 (11/99).)

46. ITU-T Recommendation X.215 (1994) | ISO/IEC 8326, Information technology Open Systems Interconnection - Basic connection-oriented session service definition /Определение сеансового сервиса

47. ITU-T Recommendation X.225 (1994) ISO/IEC 8327-1, Information technology Open Systems Interconnection - Connection-oriented session protocol: Protocol specification. /Спецификация протокола.

48. Kim Т.Н., I. S. Hwang, M. S. Jang, S. W. Kang, J. Y. Lee and S. B. Lee, Test Case Generation of a Protocol by a Fault Coverage Analysis. ICOIN-12., Tokyo, Japan. (1998).

49. Krogdahl, S. The birth of Simula HiNC III Conference in Trondheim. -2003.

50. Hailpern, B, Owicki, S. Modular Verification of Computer Communication Protocols // IEEE Transactions on Communications, Volume 31(1), January 1983, page(s): 56-68.

51. Harel D., Statechart: A visual formalism for complex systems. Science of computer programming, (8):231-274, 1987.

52. Newcombe R.G. Two-sided confidence intervals for the single proportion: comparison of seven methods. Statistics in medicine. 17, 857.872 (1998)

53. Sabnani, K. An algorithmic procedure for protocol verification. IEEE Trans. Commun. 36, 8 (Aug.) 1988.

54. Sabnani, A, Lapone, A. PAV-Protocol Analyzer and Verifier Protocol Specification, Testing and Verification, VI Edited by B. Sarikaya G.V. Bochmann Hardbound, 1987

55. Ural H., K. Saleh, and A. Williams, Test generation based on control and data dependencies within system specifications in SDL. Computer Communications, 23 (2000) 609-627.

56. Vollset S.E. Confidence intervals for a binomial proportion. Statistics in medicine. 12, 809-824 (1993).