Этап 1. Работа в системе SDT Telelogic

Срок сдачи: 22 марта 2006


Исходные данные: Практическое руководство по системе SDT (Главы 7-10 учебного пособия) Требуется: выполнить все упражнения, приведенные в практическом руководстве. Построить SDL модель системы «Игральный автомат»; построить диаграммы взаимодействия для примера «Игральный автомат»; осуществить выполнение модели в мониторе; получить трассы выполнения в виде диаграмм взаимодействия; сравнить полученные диаграммы с построенными вручную. Расширить интерфейс монитора путем добавления новых кнопок для примера «Игральный автомат». Собрать протокол внешних событий системы для основных сценариев примера «Игральный автомат». Возможно выполнение этого задания группами по 2 человека.

Этап 2. Фаза анализа требований. Сценарная модель системы

Срок сдачи задания: 29 марта 2006


Исходные данные: начальная постановка задачи (в текстовом виде).


Требуется: построить сценарную модель системы. В состав сценарной модели должны входить следующие части:

список агентов. Для каждого агента указать название и краткое описание (1-2 строчки текста). Список агентов должен находиться в отдельном текстовом файле actors.txt - список сценариев использования. Для каждого сценария указать название, список агентов, назначение сценария, предусловия его выполнения, краткое описание сценария, описание альтернатив (см. Табл.1-2 на стр. 18-19). Список сценариев должен находиться в отдельном текстовом файле use_case.txt


словарь проекта. Словарь проекта должен включать в себя все существительные и глагольные фразы, имеющие смысл специальных терминов в постановке задачи (с кратким объяснением). Словарь проекта должен находиться в отдельном текстовом файле dictionary.txt


список требований к системе. Список должен состоять из двух частей (функциональные и нефункциональные требования). Каждое требование должно быть сформулировано в виде одного предложения, содержащего слова "система должна" или "пользователь может". Список требований должен находиться в отдельном текстовом файле requirements.txt

Этап 3. Фаза анализа требований. Формализация сценарной модели

Срок сдачи задания: 12 апреля 2006


Исходные данные: начальная постановка задачи, сценарная модель системы.


Требуется: формализовать сценарную модель системы. Сценарная модель системы должна быть формализована в виде набора диаграмм взаимодействия на языке MSC. Диаграммы взаимодействия должны соответствовать сценариям, выделенным в сценарной модели. Объектами на диаграммах взаимодействия должны быть только агенты и сама анализируемая система. Диаграммы взаимодействия должны быть построены в виде MSC-диаграмм в системе SDT. Диаграммы должны удовлетворять синтаксису и семантике языка диаграмм взаимодействия.

Этап 4. Фаза анализа системы. Архитектурная модель системы

Срок сдачи задания: 19 апреля 2006


Исходные данные: начальная постановка задачи (в текстовом виде), сценарная модель системы и формальная сценарная модель системы в виде набора диаграмм взаимодействия.


Требуется: построить архитектурную модель системы. Архитектурная модель системы должна быть представлена в виде диаграммы системы, диаграмм блоков и диаграмм процессов на языке SDL. Архитектурная модель должна быть реализована в системе SDT. Архитектурная модель должна удовлетворять синтаксису языка SDL (подтверждено протоколом синтаксического анализатора).


В состав архитектурной модели должны входить следующие части:

SDL-диаграмма, показывающая деление системы на подсистемы (SDL-диаграмма системы и основные SDL блоки)


по каждой подсистеме – краткое описание подсистемы и список объектов, относящихся к данной подсистеме и представленных в виде SDL-процессов. Описание подсистемы должно находиться в текстовом комментарии, присоединенном к соответствующему блоку.


по каждому объекту – краткое описание назначения и поведения. Описание объектов должно находиться в текстовых комментариях, присоединенных к соответствующему процессу.


для всех каналов на SDL диаграммах должны быть определены списки сигналов.


Должны присутствовать все определения сигналов с комментариями.

Этап 5. Фаза проектирования: Построение исполняемой SDL-модели

Срок сдачи задания: 3 мая 2006


Исходные данные: Исходные данные: начальная постановка задачи, сценарная модель системы, архитектурная модель системы, SDL-диаграмма системы, SDL-диаграммы блоков.


Требуется: построить детальную модель системы, т.е. привести формальные описания поведения всех процессов в системе на языке SDL-92. Требуется запустить детальную модель системы с монитором SDT.