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

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" можно, соответственно, загрузить и сохранить список тестов тестового набора.