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

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