Методология спецификации и описания систем сигнализации

Транспорт » Сигнализация в сетях железнодорожной связи » Методология спецификации и описания систем сигнализации

Страница 8

Это может быть проиллюстрировано на приведенном выше примере сценария MSC Cong на рис. 2.17. Тестирование выполнения данной спецификации должно осуществляться имитатором протокола по сценарию MSC Sim, изображенному на рисунке 2.19.

Рис. 2.19. Сценарий работы имитатора протокола обмена сигналами по СЛ при занятости промпутей

В приведенном описании определен момент SIGTEST. Сообщения SEIZURE, ACK, BJMUMBER, CONGESTION, DISCONNECTION, RELEASE_GUARD были введены для сценария MSC Cong. Сообщения SZ_IND (индикация занятия), DIGITS (цифры номера), DIS_IND (индикация разъединения) и PASSED (тест прошел) дают информацию оператору о прохождении соответствующих этапов испытаний.

Сообщения CONG_IN (команда на передачу сигнала о занятости со­единительных путей) и RLG_IN (команда на передачу сигнала «Контроль исходного состояния») поступают от оператора. Вентили 1,3,4,7,8,11 -к физическому уровню интерфейса с соединительной линией, а 2,5,6, 9, 10, 12 - к интерфейсу с пользователем (оператором). Таймеры Т1‘ и Т2’ обеспечивают тайм-ауты для ожидания соответствующих сигналов.

Текстовое описание процесса тестирования выглядит следующим 1 образом:

MSC

instance SIGTEST

1. in SEIZURE

2. out SZ_IND

3. out ACK

setT1’

4. inB_NUMBER

reset Т1’

5. out DIGITS

6. inCONGIN

7. out CONGESTION

setT2'

8. in DISCONNECTION

reset T2'

9. in RLG_IN

10. out RELEASE_GUARD

11. out PASSED

end instance

end MSC

Проведя процедуру слияния (Merge) сценариев рис, 2.17 и 2.19, получаем результирующий сценарий MSC Cong Test.

MSC Cong Test = MSC Cong II MSC Sim

При этом целесообразно ввести момент USER (оператор), описывающий интерфейс с пользователем. Сценарий MSC Cong Test приведен на рис. 2.20.

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

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

Страницы: 3 4 5 6 7 8 

Навигация