2_prac_functest_intro_ru (Домашнее задание 2)

Практическое задание №2Тема: «Введение в инструментальные средства функциональноготестирования и язык описания тестов (ЯОТ)».ОбзорСтудентам предлагается рассмотреть набор требований к функционированиюбортовой цифровой вычислительной машины (БЦВМ), изучить проект, содержащиймодель БЦВМ, а также тестовый компонент для тестирования этой модели,запустить эксперимент по тестированию модели БЦВМ, и провести обзор егорезультатов.Описание проектаПроект «TaskFT_BCS_TestSpec» содержит:-пакет «Baget83»: упрощенная модель БЦВМ, которая имитирует действияБЦВМ в процессе инициализации и при выполнении основного цикла сакцентом на управлении двумя другими бортовыми устройствами черезканал MIL STD-1553B;-пакет «TCK»: тестовый компонент, который содержит тесты, необходимыедля проверки выполненности требований к функционированию БЦВМ;-«Stand_TCK»:пакетмодели-стенда,определяющийэкземплярыупомянутых выше модели и тестового компонента, а также связывающийих через модель канала MIL STD-1553B.Требования описываются в двух документах:-«REQS_BCS_INIT_ru.doc»: требования к действиям БЦВМ, выполняемым впроцессе запуска (например, временные ограничения на выполнениесамопроверки);-«REQS_BCS_SKV_ru.doc»: требования к управляющим воздействиямБЦВМ на другое устройство – навигационная система «курс-вертикаль»(СКВ); это воздействия выполняются посредством передачи управляющихданных по каналу MIL STD-1553B.Инструкции к заданию1.

Прочитайтедокументы,содержащиеописаниятребований:«REQS_BCS_INIT_ru.doc», «REQS_BCS_SKV_ru.doc».2. Запустите среду разработки частных моделей (СРЧМ), введя команду«stand-ide» в окне терминала Linux.13. Выберите проект «TaskFT_BCS_TestSpec».4. Откройте пакет «Baget83» и изучите логику функционирования модели,обращая особое внимание на временные задержки и действия поуправлению другими устройствами, подключёнными к шине MIL STD1553B.5. Откройте пакет «TCK_Stand/TCK».6.

Изучите заголовок этого пакета. Обратите внимание на определениеназванийтребованийRTS_REQUIREMENT).(операторыДокументыииRTS_DOCUMENTтребованиясоответствуютсодержимому документов, указанных на шаге 1.7. Обратите внимание на привязку названий тестов к названиям требований.На основании этой информации строится матрица прослеживаемоститребований и формируются отчеты о тестировании.8. Изучитетелоразличныхпакета«TCK_Stand/TCK».требованийизобоихОно содержит тестыдокументовдлядокумента(для«REQS_BCS_INIT_ru.doc» – только для требований BCS.INIT.START иBCS.INIT.WORK).

Обратите особое внимание на использование языкаописания тестов и его операторов RTS_WHEN и RTS_COMPARE_COND,которые проверяют выполнение тестируемых условий.9. Обновите конфигурацию «Conf» из модели-стенда «TCK_Stand».10. Запустите эксперимент «test1» с настройками «Exp» конфигурации «Conf».Переднажатиеминструментовкнопкисредства«Запуститьоперативнойэксперимент»визуализациинаипанелиуправленияэкспериментом (СОВУ), переключитесь на вкладку «TCK» в областипротоколов внизу окна (СОВУ). Если конфигурация стенда включает в себяодин или более тестовых компонентов, вкладки создаются для каждого изних.11. Впроцессепроведенияэкспериментаанализируйтесодержимоепротокола тестирования, оперативно отображаемого во вкладке «tck».Обращайтевниманиенасообщения,относящиесякрезультатамвыполнения конкретных тестов.12.

После появления сообщения об окончании процесса тестированиязакройте СОВУ нажатием на«Завершить работу с исполняемойконфигурацией и выйти» на панели инструментов СОВУ.213. Подождите завершения обработки трассы эксперимента. Результаты«test1» появятся на вкладке результатов.14. Обратите внимание на иконку «+» слева от названия набора результатов«test1». Она означает, что «test1» имеет подэлементы, которые могут бытьотображены в виде поддерева репозитория при нажатии на «+».15. Обратите внимание на подэлемент «Протоколы тестирования» элемента«test1». Этот подэлемент содержит набор протоколов, собираемых впроцессе эксперимента по функциональному тестированию. Подэлемент«Log1.log» относится к протоколу, собранному тестовым компонентом«tck» в процессе эксперимента.16. Откройтепротокол«Log1.log»двойнымщелчкомпоегоимени.Просмотрите протокол, обращая внимание на различные типы записей,например:a.

Заголовок протокола;b. Оповещения о запуске тестов;c. Оповещения о завершении тестов и их статусе, а также оботносящихся к ним требованиям;d. Временные метки для большинства записей;e. Пользовательскиекомментарии(сгенерированныепосредствомоператора RTS_COMMENT).Замечание: записи типа а-d имеют стандартный, автоматическисгенерированный по записям на ЯОТ, текст.

Только тексты, выводимыеоператорамиRTS_COMMENT,должныбытьполностьюзаданыразработчиком тестов.17. Модифицируйте пакет «Baget83» таким образом, чтобы некоторые тестыпрошли неуспешно. Например, закомментируйте некоторые командыпереключения режимов СКВ, измените (увеличьте/уменьшите) некоторыевременные задержки.

Не забудьте обновить конфигурацию, чтобыизменения в исходном коде вступили в силу.18. Исследуйте влияние изменений на результаты тестов (успех/неуспех)19. Попробуйте модифицировать модель БЦВМ таким образом, чтобынеуспешным был лишь один тест. Желательно, чтобы эту модификациюможно было откатить: например, добавьте какое-нибудь новое значение, астарое — закомментируйте, или же закомментируйте целый операторвместо его удаления.3Замечание: Чтобы сделать резервную копию всего проекта (кромерезультатов экспериментов, поскольку они обычно занимают много места),рекомендуется использовать два способа:a. сделать клон проекта («Проекты  Клонировать проект» в менюСРЧМ);b.

экспортировать проект в архив («Проекты  Экспортироватьпроект» в меню СРЧМ); проект может быть восстановлен (возможно,с другим именем) из архива при помощи операции импорта(«Проекты  Импортировать проект» в меню СРЧМ)20. Отменитепоследнююмодификациюипопробуйтепроизвестиальтернативное изменение, которое бы тоже привело к провалу лишьодного теста.21. Попробуйте модифицировать проверяемые условия для некоторых тестовтакимобразом,чтобымодельБЦВМпроваливалалишьэтимодифицированные тесты.4.