Использование MS Visio для генерации MPR-файлов

Разбить на страницы

Показывать лекцию целиком

Разработанный набор утилит предназначен для:

преобразования MSC-диаграмм в формат MPR;

проверки правильности подключения сигналов;

загрузки комментариев.

Утилита поддерживает следующие типы конструкций:

Instance
Instance End
Message
Action
Comment
Coregion
Text
Condition
Reference
Block(Alt, Par, Loop, Opt).

При разработке диаграмм соединение объектов осуществляется при помощи Connector Point. Если какая-либо конструкция языка не будет присоединена, то будет выдано соответствующее сообщение об ошибке, "неправильный" элемент будет выделен красным цветом, а MPR-файл генериться не будет.

Исключение составляет элементы: Block, Condition, Reference и Text.

Описание элементов

Instance представляет собой один из взаимодействующих объектов. Необходимо задать имя данного элемента. После завершения приема/выдачи всех сигналов к Instance присоединяется блок Instance End. Для увеличения длины Instance TimeLine, его необходимо выделить и увеличить длину, используя Control.

Instance End самостоятельно не используется, применяется только совместно с конструкцией Instance. Используется для сигнализации того, что данный объект закончил принимать/посылать сигналы.

Message (событие/сообщение) представляет собой взаимодействие между объектами ( Instances ). Необходимо задать имя сообщения и параметры (если они необходимы). Messages должны быть присоединены к Instance с помощью Connector Points. Messages без имени не обрабатываются, и выдается сообщение об ошибке.

Action используется для отражения события, выполненного в рамках одного Instance. Блок необходимо присоединить с помощью Connector Point-а. Action без имени не обрабатывается, и выдается соответствующее сообщение об ошибке.

Comment используется для написания комментариев. Его требуется присоединить к Connector Point на Instance. Для увеличения длины необходимо использовать Control.

Coregion показывает, что сигналы, поступившие в рамках данного элемента, могут приходить в разном порядке. Coregion должен быть присоединен с использованием Connector Points, в противном случае возникает ошибка.

Text - это блок текстовых комментариев или описаний. Может располагаться в любой части рабочего листа.

Condition используется для объявления события, которое распространяется на несколько объектов ( Instance ). Может использоваться в качестве точки синхронизации. Необходимо задать имя или другие параметры. При использовании требуется "растянуть" на используемые оси Instance. Если условие Condition не распространяется на один из объектов ( Instance ), то поверх блока Condition задается Instance Line (рис. 11.1 и 11.2).

Instance Line самостоятельно не применяется, а только совместно с блоком Condition. Для ее присоединения используем Connector Points.

(рис 11.2) Изображение Condition без Instance Line(рис 11.1) Изображение Condition с Instance Line

Reference применяется для определения ссылки на другую диаграмму (MPR-файл). Необходимо указать путь к используемой диаграмме. При отсутствии имени (пути) возникает ошибка.

Block позволяет задавать имя блока, используется совместно с элементом Separator, который разделяет Block на 2 и более фреймов. В заглавии блока необходимо указать его название и параметры (если необходимо):

Alt - указывает, что может выполняться один из фреймов в определенной последовательности.

Par - указывает, что сообщения, которые были объявлены в рамках данного блока, будут выполняться параллельно.

Opt - указывает на то, что данный фрейм может использоваться опционально.

Loop - указывает на то, что данный блок будет повторяться в цикле указанное число раз (указывается в параметрах).

Separator самостоятельно не используется, а применяется только совместно с элементом Block. При присоединении необходимо задействовать Connector Point.

Генерация MPR

Для генерации требуется выполнить следующие действия:

Установить Microsoft Visio.

Создать новый документ ( File->New->New Drawing ).

Загрузить Stensil для генерации mpr файлов(

File->Open
->MSC.VSS

или File->Open Stensil ->MSC.VSS ). Visio выдаст предупреждение о том, что данный stensil содержит макросы. На предупреждение следует ответить "Enable macros".

Нарисовать MSC-диаграмму, используя технологию Drag-And- Drop.

Для генерации MSC вызвать следующий макрос:

Tools->Macros
->MSC->Module1->Parse

Возможны следующие опции генерации:

Current Page: При использовании данной опции генерируются только текущая страница. В указанной папке будет создан MPR-файл с именем, соответствующим имени текущей страницы в Visio.

All Pages: При использовании указанной опции генерируются все страницы активного документа.

Recursive Generation: При использовании данной опции имеется возможность генерации нескольких диаграмм на одной странице. Для этого необходимо нарисовать диаграмму, сгруппировать ее ( Shape->Group ). При этом сохраняется возможность рисовать несколько диаграмм на одной странице. По умолчанию - отключена.

Allow LOST/FOUND signals: При включении данной опции разрешается использование LOST/FOUND сигналов при проектировании MSC-диаграмм.

При отключении данной опции использование LOST/FOUND запрещается, при отсутствии connect на каких-либо сигналах выдается ошибка и MPR-файл не генерируется.

После генерации MPR-файла вызывается программа проверки синтаксиса сгенерированного MPR-файла. Для этого используется внешняя подпрограмма MSCJUST. Для ее использования необходимо настроить в Environmental Variables переменную SIC_PATH, которая соответствовала бы пути к соответствующей программе в пакете TAT.

Для проверки правильности подключения сигналов необходимо вызвать макрос Tools->Macros->MSC->Module1->Check. В случае, если какие-либо сигналы являются неподключенными, они закрашиваются красным цветом.

Используется возможность загрузки комментариев, полученных на выходе тестирующей программы. Для этого необходимо вызвать следующий макрос: Tools->Macros->MSC->Module2->OpenMPRFile. Требуется указать путь к файлу с "трассой" тестирования. После загрузки комментариев с ошибкой они выделяются красным цветом и располагаются в месте предполагаемой ошибки.

ConfigTAT

Программа ConfigTAT предназначена для управления процессом генерации и выполнения тестов на основе MSC-диаграмм.

При активной вкладке "Test" осуществляется настройка и запуск одного теста.

Для генерации и запуска теста необходимо:

указать название проекта (от него зависит одна из строк кода Wrapper);

указать название теста (помогает различить тесты при запуске последовательности тестов);

указать папку проекта (в нее будут помещены файлы, необходимые для генерации теста и протоколы тестирования);

выбрать MPR-файл, задающий тест;

выбрать файл конфигурации, описывающий методы тестируемой модели;

выбрать файлы тестируемой модели;

указать путь к Wrapper-у (интерфейс между моделью и тестом).

Указать следующие настройки.

Для макропроцессора:

раздел в файле конфигурации (конфигурации для нескольких тестов могут находиться в одном файле);

inline loops with counter equal to <1> into plain code - преобразовывать циклы с одной итерацией в линейный код;

unroll loops with constant number of iterations - разворачивать циклы с заданным числом итераций в линейный код;

exclude time specifications in generated files - исключать временные спецификации из сгенерированных файлов.

Для генератора Abstract Test Suite:

active events in start - первый сигнал от теста к модели;

passive events in start - первый сигнал от модели к тесту.

Для шаблона генерации теста на C#:

generate break after first error detection - завершать тест после первой же ошибки;

generate instance check functionality - проверять, соответствуют ли отправитель и получатель сигнала требуемым;

create log file of generation process - протоколировать процесс генерации теста;

generate time processing functionality - проверять временные требования к системе.

Группа кнопок "Run" служит для запуска по отдельности или целиком этапов генерации теста и выполнения сгенерированного теста:

кнопка "macroprc" запускает макропроцессор;

кнопка "atsgen" запускает Abstract Test Suite генератор;

кнопка "template" запускает шаблон генерации теста на языке С#;

кнопка "C# compiler" запускает компилятор языка С# c получением на выходе файла test.exe, который представляет собой готовый к запуску тест;

кнопка "Generate whole test" последовательно запускает макропроцессор, Abstract Test Suite генератор, шаблон генерации теста на языке С# и компилятор языка С#;

кнопка "Run test" осуществляет запуск теста. Во время выполнения теста изменение всех настроек блокируется и отображается Progress Bar. Выполнение теста можно прервать нажатием кнопки "Cancel";

кнопка "Run ALL" осуществляет последовательно генерацию и запуск теста;

кнопка "Delete temporary files" удаляет промежуточные файлы, созданные в процессе генерации теста.

Группа "Test Logs" позволяет просматривать протоколы тестирования:

при нажатии кнопки "HTML log" в Internet Explorer отображается протокол тестирования в виде html-страницы;

при нажатии кнопки "Text log" в notepad отображается протокол тестирования в виде txt-файла;

в listBox-е "MPR logs" отображается список протоколов в формате mpr (отдельный протокол для каждого testcase-а и каждой итерации теста), которые можно открыть в программе Telelogic нажатием кнопки "View";

с помощью кнопки "Delete logs" можно удалить все протоколы тестирования.

В richTextBox-е в правой части формы отображается информация о процессе генерации и выполнении тестов. Очистить richTextBox можно с помощью кнопки "Clear":

Конфигурации тестов можно сохранять и открывать с помощью команд, соответственно, Save и Open меню File:

При активной вкладке "TestSuite" осуществляется настройка и запуск набора тестов.

Кнопки "Add" и "Remove" позволяют добавлять и убирать отдельные тесты (файлы конфигурации, созданные на вкладке "Test") из набора тестов.

Кнопка "Run" запускает на выполнение последовательность тестов. При этом все кнопки и меню блокируются и отображается Progress Bar.

Остановить выполнение данного теста или всей тестовой последовательности можно с помощью кнопок "Cancel" и "Cancell ALL" соответственно.

В richTextBox-е в правой части формы отображается краткая информация о результатах тестирования:

С помощью пунктов "Open" и "Save" меню "File" можно, соответственно, загрузить и сохранить список тестов тестового набора.

SysLog Animator Manual

Эта программа предназначена для визуализации журнала системы, полученного в результате тестирования системы).

Журнал системы представляет собой набор строчек следующего вида:

08.09.2003 15:01:29 : СИСТЕМА: Запрошен статус СКЛАДА
08.09.2003 15:01:29 : СКЛАД: Статус СКЛАДА = 16
08.09.2003 15:01:29 : СИСТЕМА: Запрошены параметры оси
08.09.2003 15:01:30 : СИСТЕМА: СКЛАДУ послана команда
ПОЛОЖИТЬ В РЕЗЕРВ: 4 1 0 2 -1 -1 -1
08.09.2003 15:01:30: ТЕРМИНАЛ ОСИ : 1 - нет данных
08.09.2003 15:01:34: СКЛАД : 0 - команда ПОЛОЖИТЬ В РЕЗЕРВ
успешно принята
08.09.2003 15:01:38: СИСТЕМА : Запрошено сообщение от СКЛАДА
08.09.2003 15:01:38: СКЛАД : 1 - ПОДШИПНИК успешно
ПРИНЯТ: 4 1 0 2 -1 -1 -1
0 8 . 0 9 . 2 0 0 3
15:01:38: СИСТЕМА : Запрошен статус СКЛАДА
08.09.2003 15:01:38: СКЛАД : Статус СКЛАДА = 16

Каждая строчка такого вида формируется в кадр. Кадр - набор действий, происходящих в рамках одного события.

Внешний Вид Приложения

Главное Меню

File - Состоит из двух подпунктов:

Open - Открыть журнал сообщений системы.

Exit - Выйти из приложения.

Options - Состоит из одного подпункта:

Config - Позволяет настроить толщину линий, обозначающих сигналы и задержку при анимации сигналов

Help - Состоит из одного подпункта:

About - Информация о текущей версии Log Animator-а

File->Open

При выборе пункта File->Open откроется диалоговое окно, в котором можно выбрать файл, содержащий журнал сообщений системы, выделив необходимый файл среди имеющихся и нажав кнопку.

Если отказаться от открытия файла, необходимо нажать клавишу

File->Exit

Для выхода из приложения можно выбрать пункт меню Exit или нажать кнопку "x" в правом верхнем углу окна.

Options->Config...

Для настройки параметров визуализации нужно зайти в меню Options и выбрать подпункт Config...:

В результате появляется диалоговое окно вида:

Arrows Width - Устанавливает толщину линий, обозначающих сигнал.

Минимальное значение = 1. При этом линия выглядит следующим образом:

Максимальное значение = 5. При этом линия выглядит следующим образом:

Default значение = 2. При этом линия выглядит следующим образом:

Arrows Time Delay - Устанавливает время вывода сигналов. Чем больше значение параметра, тем дольше будет выводиться пунктирная линия, обозначающая сигнал.

Минимальное значение = 20.

Максимальное значение = 200.

Default-значение = 50.

Кнопка Cancel позволяет отказаться от изменения параметров и вернуться в визуализатор.

При нажатии кнопки Default - значения принимают величины, предопределенные заранее.

При нажатии кнопки OK система устанавливает новые значения.

Options->Debug

Выбрав этот пункт меню, можно настроить вариант работы приложения.

Если выбран режим Debug, то приложение будет выводить сообщения в отладочном режиме.

Если Debug не выбран, то сообщения будут выводиться в обычном формате:

Help->About

Для просмотра информации о текущей версии проекта необходимо зайти в меню Help и выбрать подпункт About:

Появится диалоговое окно следующего вида:

Для выхода из диалогового окна необходимо нажать кнопку OK.

Анимирование кадров

Если открыть файл, содержащий журнал сообщений системы, то появится разбитый на кадры журнал. Любой кадр может быть выбран путем нажатия двойного щелчка мышки на названии нужного кадра.

Изображение начального состояния выбранного кадра появится справа от списка кадров.

Для работы с кадрами существует панель управления:

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

- выбрать первый кадр;

- выбрать предыдущий кадр;

- выбрать следующий кадр;

- выбрать последний кадр.

Для проигрывания кадра/кадров можно воспользоваться следующими двумя клавишами:

- проиграть 1 кадр;

- непрерывно проигрывать все кадры, начиная с текущего и до финального. В любой момент можно прервать проигрывание,нажав кнопку Stop, которая появится во время проигрывания вместо кнопки Play All.

Последним в списке кадров является финальное состояние (ФС).

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

ФС нельзя проиграть, т.к. ФС не является кадром, а лишь отражает состояние системы в результате произошедших в системе событий.

Здесь первая цифра обозначает номер текущего кадра, вторая - сколько всего имеется кадров.

Функционально-графическая составляющая

Сигналы

Сигналы в системе бывают четырех видов:

сигнал синего цвета означает, что идет запрос от системы;

сигнал красного цвета означает, что ответом на запрос системы является ошибка;

сигнал желтого цвета означает, что идет ответ на запрос системы, не содержащий никаких данных;

сигнал зеленого цвета означает, что запрос системы выполнен успешно. Ответ положительный.

Объекты

- ось;

- подшипник;

- манипулятор.

Ось

У оси существуют два параметра, по которым к ней подбираются подшипники:

передний диаметр;

задний диаметр.

- здесь параметры переднего и заднего диаметров равны 12.

- здесь значение переднего диаметра не соответствует допустимому по FS, а значение заднего диаметра не определено.

Подшипник

Подшипник может быть изображен в трех вариантах:

- означает, что у подшипника не определен номер группы.

- означает, что у подшипника 12 номер группы.

- означает, что номер группы у подшипника не соответствует допустимому по FS.

Страницы: