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