Опубликован: 05.03.2005 | Уровень: специалист | Доступ: платный

Практическая работа 7: Автоматическая генерация тестов на основе формального описания

Описание тестовых процедур

Как сгенерировать и запустить тест

Изучение материала настоящего пункта полезно предварить ознакомлением с п. 12, 13, содержащими описание использования MS Visio для генерации MPR файлов и описание конфигурирования - ConfigTAT.

На данном этапе используется тест, представляющий собой MSC- диаграмму, созданную в Visio. Дальнейшие действия описываются следующей методикой:

  1. Запустить Microsoft Visio.
  2. Загрузить Stensil ( File->Open->MSC.VSS или File->Open Stensil ->MSC.VSS ). Visio выдаст предупреждение о том, что данный stensil содержит макросы. На предупреждение следует ответить "Enable macros".
  3. Открыть существующий тестовый случай №1 - Warehousetest0001 ( ..\SystemTesting\TATTests\Tests\Tests\Тests.vsd ).
  4. Для генерации MPR вызвать следующий макрос: Tools->Macros ->MSC->Module1->Parse. В указанной папке будет создан MPR-файл с именем, соответствующим имени текущей страницы в Visio ( ..\SystemTesting\TATTests\Tests\WarehouseTest1\warehousetest0001.mpr ).
  5. Запустить ConfigTAT.
  6. В меню File -> Open выбрать тестовый случай №1.
  7. Выбрать настройки - установить по умолчанию (Set ALL to default).
  8. Запуск - генерация и запуск теста (Run ALL).

Проверка результатов выполнения тестов (сравнение с ожидаемым результатом)

В этом случае запуск тестов и проверка того, что тестируемая система прошла испытания на заданном тестовом случае, осуществляется автоматически, как и в предыдущем случае создается журнал теста, а также можно использовать SystemLogAnimator (п.14) для визуализации журнала системы.

Для просмотра протоколов тестирования надо использовать группу "Test Logs" ConfigTAT и можно просматривать:

  • протокол тестирования в виде html-страницы (HTML log).
  • протокол тестирования в виде txt файла (Text-log).
  • протоколы в формате mpr (отдельный протокол для каждого testcase- а и каждой итерации теста), которые можно открыть в программе Telelogic нажатием кнопки "View" (MPR logs).

Пример теста с ошибкой

На рис. 7.4 представлена диаграмма теста с ошибкой. Используя FS, необходимо объяснить причину некорректности тестового случая.

Тест с ошибкой

Рис. 7.4. Тест с ошибкой

Задание 5

Для случая автоматического тестирования на основе MSC-диаграмм нужно повторить те же задания, что и для ручного тестирования.

Федор Антонов
Федор Антонов

Здравствуйте!

Записался на ваш курс, но не понимаю как произвести оплату.

Надо ли писать заявление и, если да, то куда отправлять?

как я получу диплом о профессиональной переподготовке?

Сергей Чурбанов
Сергей Чурбанов
Валерий Слиж
Валерий Слиж
Беларусь
Андрей Морозов
Андрей Морозов
Россия, Минск