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

• Автор: Гойхман, Вадим Юрьевич
• Шифр специальности: 05.12.13
• Научная степень: Кандидатская
• Год защиты: 2011
• Место защиты: Санкт-Петербург
• Количество страниц: 160 с. : ил.

Оглавление
Перечень сокращений
Перечень обозначений
ВВЕДЕНИЕ
ГЛАВА 1. Задачи спецификации интерфейсов
телекоммуникационных сетей
1.1. Эволюция систем сигнализации ТфОП/ISDN при переходе к NGN
1.2. Формализованные методы спецификации телекоммуника-циионных
протоколов
1.3. Тестирование телекоммуникационных протоколов
1.4. Состояние исследований и цель диссертационной работы
Выводы главы
ГЛАВА 2. Модель тестируемости SDL-спецификаций
телекоммуникационных протоколов
2.1. Общие принципы формализации SDL-спецификаций
2.2. Тестируемость SDL-спецификаций
2.3. Создание NF-EFSM на основе SDL-спецификаций
2.4. Процедура расширения
2.5. Алгоритм создания NF-EFSM для SDL-спецификации
телекоммуникационного протокола
2.6. Процедура развития автомата NF-EFSM
Выводы главы
ГЛАВА 3. Статистические модели испытаний
телекоммуникационных протоколов
3.1. Тестирование телекоммуникационных протоколов
3.2. Элементарные статистические оценки процесса тестирования
3.3. Выбор метода приближения
3.4. Выбор коэффициента доверия а
3.5. Выбор точности оценки г
Выводы главы
ГЛАВА 4. Численные оценки процессов тестирования
SDL-спецификаций
4.1. Модели прогноза количества испытаний до первой ошибки на этапе
оценивания вероятности потери вызова/сессии. Подэтап

4.2. Модели прогноза количества испытаний до К-ой ошибки на этапе оценивания вероятности потери вызова/сессии. Подэтап
4.3. Модели оценки количества испытаний на этапе уточнения вероятности потери вызова/сессии.
Этап 2 - общий объем испытаний
4.4. Методика тестирования протокольных спецификаций
Выводы главы
Заключение
Литература
Приложение
Приложение

Перечень сокращений
1ВСК - система сигнализации по одному выделенному сигнальному каналу 2ВСК - система сигнализации по двум выделенным сигнальным каналам АМТС - автоматическая междугородная телефонная станция АОН - автоматическое определение номера
АСП ЧРК - аналоговые системы передачи с частотным разделением каналов АТС - автоматическая телефонная станция
АЦП-ЦАП - аналогово-цифровое и цифро-аналоговое преобразования ЕСЭ РФ - единая сеть электросвязи Российской Федерации МАК - мультисервисный абонентский концентратор
МККТТ - Международный консультативный комитет по телеграфии и телефонии МСЭ - международный союз электросвязи НГ1А - нормативно-правовой акт
номд - несмещенная оценка с минимальной дисперсией ОКС7 - общеканальная система сигнализации №7 РСЛ - комплект реле соединительных линий СЛ - соединительная линия
СОТСБИ - сертифицированное оборудование связи, база информации
СПС - сеть ПОДВИЖНОЙ СВЯЗИ
ссоп - сеть связи общего пользования
ТфОП - телефонная сеть общего пользования
УАТС - учрежденческая автоматическая телефонная станция
УВС - узел входящей связи
УИС - узел исходящей связи
УПАТС - учрежденческо-производственная автоматическая телефонная станция цеп - система цифровой передачи ЧНН - час наибольшей нагрузки
ADSL (Asymmetric Digital Subscriber Line) - асимметричная цифровая абонентская линия
AG (Access Gateway) - шлюз доступа
ASNJ (Abstract syntax notation one) - язык абстрактного описания структур данных BICC (Bearer Independent Call Control) - Протокол управления обслуживанием вызова, независимый от носителя (Q.1901 ITU-T)
СН (Call handling) - блок обработки вызовов
DSS1 (Digital Signaling System 1) - цифровая система сигнализации №1 E-EFSM (Expanded EFSM) - развитый конечный автомат

которая, как и сами программно-аппаратные реализации, подвергается преобразованиям в рамках своего жизненного цикла: начиная с
формулирования принципов через протокольную спецификацию, проектирование и далее - через имплементацию в телекоммуникационное оборудование, отладку, тестирование, вплоть до эксплуатации.
В работах [52, 55, 56] и в ряде других раскрыты формальные математические методы обеспечения корректности спецификации протокола. В более узком смысле, ограниченном целью диссертационной работы, эти методы развиваются далее в главах 2 и 3. Здесь лишь отметим, что после реализации в телекоммуникационном оборудовании абстрактный проект протокола становится другим объектом — реализацией, от которой ожидается, что она верно отобразит спецификации протокола. Ожидание того, что свойства протокола оказались корректно перенесенными в приложение, проверяется, в том числе, и на этапе сертификационных испытаний. Именно этим процессам посвящены основные модели и методы диссертационной работы.
В главах 2 и 3 более подробно исследуются эти процессы, когда спецификация протокола 5 рассматривается как определение, которое по отношению к сигнальным протоколам читается следующим образом: свойство С протокола означает, что в условиях II абстрактный элемент протокола Е, активизированный сообщением х, отвечает сообщением у. В свою очередь, приложение или реализация /? - это реальная система, созданная на основе спецификации. В контексте диссертации можно считать реализацию протокола «черным ящиком», то есть внутренняя структура реализации не существенна и может даже составлять «ноу-хау» разработчика телекоммуникационного оборудования. Существенным же здесь является лишь поведение реализации, которое проявляется в фактах обмена сигнальными сообщениями.