Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL, страница 15

Полный анализ системыУпражнения данного урока помогут вам научиться:- запускать синтаксический и семантический анализ всей системыДля выполнения полного анализа системы нужно выполнить следующиеоперации:1. Выбрать символ системы в окне Организатора.2.

Выбрать команду Analyze в меню Generate.3. Изменить настройки Анализатора, как показано на Рис. 51.Рис. 51. Настройки Анализатора4. Для запуска Анализатора нажмите на кнопку Analyze.1045. После завершения работы Анализаторав окне статуса появитсясообщение “Analyzer done”. Убедитесь в том, что трасса Анализаторане содержит сообщений об ошибках. В конце трассы должен бытьследующий текст:+ Analysis startedConversion of SDL to PR startedConversion to PR completedSyntactic analysis startedSyntactic analysis completedSemantic analysis startedSemantic analysis completed+ Analysis completed9.7. ЗаключениеВ данной главе были описаны основные приемы работы средактором SDL диаграмм системы SDT.

В результате выполненияупражнений данной главы вы должны были научиться следующему:• Запускать Анализатор;• Устанавливать настройки Анализатора;• Работать с окном сообщений Организатора;• Находить и исправлять синтаксические ошибки;• Создавать диаграмму блока• Работать с несколькими диаграммами в редакторе• Создавать диаграмму по существующей копии• Сохранять диаграмму в новом файле105Глава 10. Выполнение SDL спецификацийПосле того как созданы и проанализированы все диаграммы системы, можноавтоматически сгенерировать исполняемую версию системы и осуществитьее запуск в интерактивном режиме, т.е. непосредственно проанализироватьповедение системы.После выполнения упражнений данного урока вы должны научиться:- создавать исполняемую систему;- запускать Монитор исполняемой системы;- запускать систему из графического интерфейса Монитора;10.1.

Создание исполняемой системыДля создания исполняемой системы нужно выполнить следующие операции:1. Выбрать символ системы в окне Организатора2. Выбрать команду Make из меню Generate. Выполнение команды приведетк появлению диалога настройки функции Make.Рис. 52. Диалог настройки функции Make3.-Установите настройки, как показано на Рис.

52.Analyse & generate code включено.Compile & link включеноGenerate makefile включеноUse standard kernel включено. Убедитесь, что выпадающее меню Usestandard kernel установлено в Simulation (стандартное ядро длявыполнения спецификаций).1064. Завершите выполнение команды, нажав на кнопку Make.5. Проверьте, что при анализе системы не выдано сообщений об ошибках. Вокне статуса Организатора должно появиться сообщение “Compilerdone”, а в окне Organizer Log нет некаких сообщений об ошибкахмежду строками «Make started» и «Make completed»6. В случае, если были выданы сообщения об ошибках, вызовите сновадиалог настройки функции Make, но нажмите на этот раз кнопку FullMake.

Теперь никаких сообщений об ошибках быть не должно.10.2. Запуск спецификации на выполнениеПосле выполнения команды Make исполняемая система находится вфайле с именем demongame_xxx.sct в той директории, откуда былазапущена система SDT (суффикс _xxx определяется конкретной платформойи используемым компилятором). Исполняемая система содержит Монитор,который предоставляет набор команд для наблюдения за выполнениемсистемы и управлением хода выполнения.Исполняемую систему можно запустить непосредственно из команднойстроки. В этом случае команды Монитора нужно будет вводитьнепосредственно в текстовой форме.В системе SDT имеется также графический интерфейс к Монитору.

Запускграфического интерфейса Монитора осуществляется из Организатораследующим образом.1. Выберите команду Simulator UI из дополнительного меню SDL в менюTools.2. Через несколько секунд появитсяокно графического интерфейсаМонитора.107Рис. 53. Окно графического интерфейса МонитораТекстовое окно (правая панель) содержит сообщения Монитора такие, каквведенные команды, результаты команд, сообщения об ошибках. Начальноесообщение указывает, что исполняемая система не запущена.3. Для запуска исполняемой системы выберите команду Open из меню Fileили нажмите «быструю клавишу» Open.4.

В диалоге выбора файла нужно указать файл demongame_xxx.sct.Завершите выполнение команды, нажав на кнопку OK или Open.5. В текстовом окне Монитора должно появиться сообщение:WelcomeDemongametoSDTSIMULATOR.SimulatingsystemПри запуске исполняемой системы происходит создание статическизаданных экземпляров процессов (в нашем случае Main и Demon), однако ихстартовые переходы не выполняются.Монитор готов к выполнению команд (при этом выдается приглашениеCommand: в текстовом окне).10.3. Выполнение переходовПосле выполнения упражнений данного раздела вы должны научитьсяследующему:108-вводить команды Монитора в текстовом виде;определять SDL-символ, который будет исполняться следующим;читать текстовые и графические трассы Монитора;выполнять очередной переход;пользоваться кнопками графического интерфейса Монитора;посылать сигналы из окружения системы.10.3.1.

Установка уровня детальности трассировкиВ этом упражнении мы установим уровень детальности трассы, т.е. объеминформации о ходе исполнения системы, который будет выдаватьсяМонитором. Для установки уровня детальности используется командаМонитора Set-Trace.Будем вводить команды в текстовом виде в поле Command: (подтекстовым окном сообщений Монитора).1. Нажмите мышью в поле ввода команды. Введите команду Set-Trace 6 инажмите клавишу <Return>.

Уровень детальности 6 означает полнуюинформацию обо всех действиях, выполняемых на переходах. Введеннаякоманда отображается в окне сообщений монитора. Мониторподтверждает установку нового уровня детальности трассы. Окнотекстовых сообщений Монитора должно выглядеть следующим образом:Welcome to SDT SIMULATOR. Simulating systemDemongame.Command: set-trace 610.3.1.1.1 Default trace set to 6Command:2. Имеется возможность наблюдать выполнение системы графически, т.е.отображать исполняемые символы непостредственно на SDL диаграммах.По-умолчанию, графическая трассировка выключена. Для включенияграфической трассировки нужно выполнить команду set-gr-trace 1.Значение 1 указывает на то, что Монитор будет каждый раз показыватьсимвол, который будет исполняться следующим.10.3.2. Выполнение стартовых переходов системы1091.

Введите команду show-next-symbol. Появится окно редактора SDLдиаграмм, в котором будет показан стартовый символ процесса Main. Вдальнейшем, это окно будет использоваться Монитором для показаграфической трассы.2. Выполните команду next-transition (введите n-t в поле ввода команды).Монитор отображает выполнение стартового перехода процесса Mainдвумя способами:- В окне сообщений Монитора текстовая трасса содержит следующуюинформацию о выполняемом переходе: идентификатор экземплярапроцесса, выполняющего переход, имя исходного состояния, текущеезначение модельного времени.

Трасса перехода завершается строкой,содержащей имя следующего состояния.*** TRANSITION START*Pid:Main:1*State :start_state*Now:0.0000*** NEXTSTATEGame_Off- В окне редактора SDL диаграмм графическая трасса показывает символ,который будет исполняться на следующем переходе. Следующий символ –это стартовый символ процесса Demon.3.

Для выполнения стартового перехода процесса Demon воспользуемсявозможностью интерфейса Монитора повторять уже введенные команды:нажмите мышью на поле ввода команд и нажмите клавишу <Up>. В полеввода команды появится последняя введенная команда (n-t). Выполнитеее, нажав клавишу <Enter>.Выполняется стартовый переход процесса Demon. Обратите внимание нато, что редактор SDL диаграмм выделяет текстовый символ, содержащийопределение таймера T. В системе SDT принято соглашение, что приотсутствии сигналов из окружения системы, следующим событием являетсясрабатывание таймера.Обратите внимание, что в текстовой трассе содержится сообщение обустановке таймера T.10.3.3. Посылка сигналов из окружения системы110Для взаимодействия с системой нужно уметь посылать сигналы изокружения системы (например, сигнал Newgame, предназначаемый процессуMain.) Для посылки сигнала системе воспользуемся командой Output-Via,аргументами которой являются имя сигнала, параметры сигнала(отсутствуют в случае сигнала Newgame) и имя канала, по которомуосуществляется посылка.Для ввода команды воспользуемся возможностями графическогоинтерфейса.

Кнопки команд расположены на левой панели. Кнопкисгруппированы в соответствии с их назначением.1. Выберите группу команд Send Signal и нажмите на кнопку Send Via (длянахождения этой кнопки может потребуется прокрутить окно с кнопками).Данная кнопка выполняет команду Output-Via (выполняемая командаотображается в окне сообщений Монитора). Выполнение командыприводит к появлению нескольких дополнительных диалогов для вводапараметров команды. Первый диалог предназначен для ввода именисигнала. Диалог содержит список всех сигналов, которые могут бытьпосланы системе из окружения.Рис.

54. Посылка сигнала Newgame2. Выберите сигнал Newgame и нажмите кнопку OK.3. Следующий диалог предназначен для ввода имени канала:111Рис. 55. Выбор канала для посылки сигнала4. В списке имеется единственный элемент (канал C1). Выберите его, нажавна кнопку OK.В окне сообщений подтверждается посылка сигнала. Графическая трассапоказывает, что следующим символом является символ ввода сигналаNewgame.10.3.4. Выполнение переходов1. Выполните следующий переход, используя кнопку Transition в группеExecute. Текстовая трасса показывает действия, выполняемые на переходев состояние Game_On. Заметим, что, в отличие от стартового перехода,начальное состояние перехода обозначается комбинацией именисостояния (Game_Off) и имени принимаемого сигнала (Newgame):*** TRANSITION START*Pid: Main:1*State: Game_Off*Input: Newgame*Sender: env:1*Now: 0.0000*CREATEGame:1*ASSIGNGameP := Game:1*** NEXTSTATEGame_On112На данном переходе создается экземпляр процесса Game, поэтомуграфическая трасса показывает, что следующим символом являетсястартовый символ процесса Game.Таким образом, текстовая трасса показывает события, произошедшие назавершившимся переходе, включая исходное и заключительное состоянияданного перехода.