2_prac_functest_intro_ru (1185185)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Практическое задание №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.

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов курсовой работы