Требования к заданиям по практикуму по курсу
Описание файла
Документ из архива "Требования к заданиям по практикуму по курсу", который расположен в категории "". Всё это находится в предмете "методы формальных спецификаций программ" из 8 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Онлайн просмотр документа "Требования к заданиям по практикуму по курсу"
Текст из документа "Требования к заданиям по практикуму по курсу"
ТРЕБОВАНИЯ
К ЗАДАНИЯМ ПО ПРАКТИКУМУ ПО КУРСУ «МЕТОДЫ ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ ПРОГРАММ: ЯЗЫКИ MSC И SDL»
Задание 1. Работа в системе SDT Telclogic
Срок сдачи задания; 6 марта 2002
Исходные данные: Практическое руководство по системе SDT (Главы 7-10 учебного пособия) Требуется: выполнить все упражнения» приведенные в практическом руководстве. Построить SDL модель системы «Игральный автомат»; построить диаграммы взаимодействия для примера «Игральный Автомат»; осуществить выполнение модели в мониторе; пол учить трассы выполнения в виде диаграмм взаимодействия; сравнить полученные диаграммы с построенными вручную. Расширить интерфейс монитора путем добавления новых кнопок для примера «Игральный автомат». Собрать протокол внешних событий системы для основных сценариев примера «Игральный автомат».
Задание 2. Фаза анализа требовании. Сценарная модель системы
Срок сдачи задания; 13 марта 2002
Исходные данные: начальная постановка задачи (в текстовом виде)
Требуется: построить сценарную модель системы. 13 состав сценарной модели должны входить следующие части:
-
список агентов. Для каждого агента указать название (на англ. яз.) и краткое описание (1-2 строчки текста на англ. яз.). Синеок агентом должен находиться и отдельном текстовом файле actors.txt
-
список сценариев использования. Для каждого сценария указать название, список агентов, назначение сценария, краткое описание сценарии, описание альтернатив (см, Табл I на стр, (8). Список сценариев должен находиться в отдельном текстовом файле use_case.txt
-
словарь проекта. Словарь проекта должен включить в себя все существительные и глагольные фразы, имеющие смысл специальных терминов в постановке задачи (с кратким объяснением). Словарь проекта должен находиться и отдельном текстовом файле dictionary.txt
-
список требований к системе. Список должен состоять из двух частей (функциональные и нефункциональные требования), Каждое требование должно быть сформулировано в виде одного предложения, содержащего слова "система должна" или "пользователь может". Требования должны составляться на англ. яз, Список требований должен находиться в отдельном текстовом файле requirements.txt
Задание 3. Фаза анализа требовании. Формализация сценарной модели
Срок сдачи задания 27 марта 2002
Исходные данные: начальная постановка задачи, сценарная модель системы.
Требуется: формализовать сценарную модель системы. Сценарная модель системы должна быть формализована и виде набора диаграмм взаимодействия па языке MSC; Диаграммы взаимодействия должны соответствовать сценариям, выделенным в сценарной модели. Объектами на диаграммах взаимодействия должны быть только агенты и сама анализируемая система. Диаграммы взаимодействия должны быть построены в виде MSC-диаграмм в системе SD Г. Диаграммы должны удовлетворять синтаксису в семантике языка диаграмм взаимодействия, Полученные диаграммы взаимодействия должны быть проанализированы системой MOST-SDL, По сценарной модели должен быть составлен структурный файл для системы MOST-SDL. Синтезированная SDL модель должна быть импортирована и систему SDT и выполнена и мониторе. Требуется получить трассы выполнения исходных сценариев по синтезированной SDK модели в виде диаграмм взаимодействия, изучит поведение синтезированной модели и, при необходимости уточнить исходные сценарии.Получить протокол внешних событий системы для исходных сценариев.
Задание 4. Фаза анализа системы. Архитектурная модель системы
Срок сдачи задания: 1 0 апреля 2002
Исходные данные: начальная постановка задачи (и текстовом виде) , сценарная модель системы и формальная сценарная модель системы в виде набора диаграмм взаимодействия Требуется: построить архитектурную модель системы. Архитектурная модель системы должна быть представлена в виде диаграммы системы, диаграмм блоков и диаграмм процессов на языке SDL. Архитектурная модель должна быть реализована в' системе SDT. Архитектурная модель должна удовлетворять синтаксису языка SDL (подтверждено протоколом синтаксического анализатора).
В состав архитектурной модели должны входить следующие части:
-
по каждому сценарию из списка сценариев - объектная модель данного сценария, содержащая интерфейсные, информационные и управляющие объекты. Каждая модель должна находиться на отдельной SDL-диаграмме. Результаты анализа должны быть формализованы и виде отдельных sdl-блоков, в каждом из которых объекты представлены как SDL-процессы,
-
по каждому объекту, введенному в объектных моделях, - краткое описание назначения и поведения. Описание объектов должно находиться в текстовых комментариях, присоединенных к соответствующему процессу (на англ. яз.).
-
SDL-диаграмма, показывающая деление системы на подсистемы (SDL-диаграмма системы и основные SDL блоки)
-
по каждой подсистеме - краткое описание подсистемы и список объектов, относящихся к данной подсистеме, Описание подсистемы должно находиться в текстовом комментарии. присоединенном к соответствующему блоку (на англ. яз.)
-
для всех каналов на SDL диаграммах должны быть определены списки сигналов.
-
Должны присутствовать все определения сигналов с комментариями (на англ.яз.)
Задание 5, Фаза проектирования: Построение исполняемой SDL модели,
Срок сдачи задания: 24 апреля 2002
Исходные данные: Исходные данные: начальная постановка задачи, сценарная модель системы, архитектурная модель системы, SDL диаграмма системы, SDL диаграммы блоков.
Требуется: построить детальную модель системы» т.е. привести формальные описания поведения всех процессов в системе на языке SDL-92, Требуется запустить детальную модель системы с монитором SDT.
Задание 6. Валидация и верификация модели.
Срок сдачи задания: 8 мая 2002
Исходные данные: Исходные данные: начальная постановка задачи, сценарная модель системы, архитектурная модель системы, SDL диаграмма системы, SDL диаграммы блоков, SDL диаграммы процессов.
Требуется: запустить инструмент валидатор системы SDT, исправить выявленные проблемы. Проверить выполнение исходных сценариев при помощи валидатора системы SDT. После этого запустить детальную модель системы вместе с синтезированными агентами (задание 3) под управлением Монитора SDT и сгенерировать детальные диаграммы взаимодействия в соответствии со сценариями использования системы, выделенными в сценарной модели. Результатом задания являются диаграммы взаимодействия и текстовые протоколы внешних событий по каждому сценарию, выделенному при анализе системы.