Основы тестирования программного обеспечения



             

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" осуществляет запуск теста.


    Содержание  Назад  Вперед