Опубликован: 05.03.2005 | Доступ: свободный | Студентов: 15813 / 2389 | Оценка: 4.11 / 3.63 | Длительность: 13:20:00
ISBN: 978-5-9556-0027-7
Специальности: Тестировщик

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

Роман Сергеев
Роман Сергеев

Доказательство "концепции Тестирования" из второй лекции "Курса тестирования" трудно понять:

A**3 = A*A*A

A*A*A = A -> R, A*R -> R, A*R -> R

Понятно что A**3 это A*A*A.

Но не понятно что такое А. Что означает A -> R, что это за стрелка, это обращение к внутреннему свойству в А? 

https://intuit.ru/studies/courses/48/48/lecture/1426

Илья Макаренко
Илья Макаренко

Добрый день.

Вопрос №1

Какова стоимость получения диплома о мини-МБА по данному курсу? Или ориентироваться на указанную на сайте?

Вопрос №2

Возможно ли начать обучение без потери результатов, не отправив документы на зачисление, а отправку выполнить позже?