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

Практическое задание №3.Тема: «Функциональное тестирование устройства ретрансляцииданных».ОбзорСтудентампредлагаетсянаписатьтестыдлянесколькихтребований,предъявляемых к устройству, функционирующему в качестве ретранслятора(передатчика) данных от одного устройства (датчика) к другому (хранилищу данных).Цель: применить базовые операторы языка описания тестов (ЯОТ) длятестирования устройства, представленного моделью.Описание проекта.Проект «TaskFT_ChainedDevices» состоит из следующих пакетов: Пакетпоследовательнойчастноймодели(ПЧМ)«Sensor»,которыйопределяет модель простого датчика, измеряющего параметры внешнейсреды (H_env, T_env, P_env, соответствующие высоте полета, температуреи давлению). Модель «Sensor» получает значения этих параметров отмодели окружающей среды «Environment» и посылает их по каналу MILSTD-1553B, на котором играет роль оконечного устройства.

Модель«Sensor» имеет управляющий параметр «Failure», который может бытьзадан пользователем во время эксперимента. Если значение этогопараметра равно false, это означает, что передаются корректные значения.Еслизначения параметра «Failure» равнопередаютсяконстантныенекорректныеtrue,значения.этоозначает,Модельчто«Sensor»сигнализирует о своем состоянии (нормальном или ошибочном) черезинтерфейс MIL STD-1553B посредством передачи параметра «State» черезодин из своих подадресов. ПакетПЧМбортовойцифровойвычислительноймашины(БЦВМ),определяющий модель, функционирующую как ретранслятор данных.Модель «BCVM» функционирует как контроллер шины MIL STD-1553B,запрашивая данные от модели «Sensor».

В дальнейшем эти данныепередаются модели «Storage» через интерфейс ARINC 429. Если параметр«State» от датчика сигнализирует об ошибке (например, он не равен нулю)или же пришедшие от «Sensor» данные оказались неверными (какой-либоиз параметров Н, Т, Р оказался меньше нуля), тогда модель БЦВМ1переходитврежим«Sensorfailure»,вкоторомонаотправляетфиксированные (нулевые) значения своих параметров в модель хранилищаданных «Storage».

Когда модель «Sensor» возвращается к нормальнойработе, БЦВМ восстанавливает исходный рабочий режим «Work» ипродолжает выполнять функции ретранслятора. Пакет ПЧМ «Storage», определяющий модель, которая получает данныечерез входной интерфейс ARINC 429. Эта модель соответствует бортовомухранилищу данных, которое осуществляет запись данных, полученных отдругих бортовых устройств. Пакет ПЧМ «Environment», определяющий простейшую модель внешнейсреды.

Эта модель вычисляет синусоидально изменяющиеся параметры(H_env, T_env, P_env) и посылает их модели «Sensor» посредствоминтерфейса «модель-модель». Пакет внешней библиотеки «MATH», импортирующий математическиефункции, необходимые для функционирования модели «Environment». Пакет модели-стенда «Stand», соединяющий все экземпляры описанныхвыше ПЧМ в цепочку моделей, включающую модели бортовых каналов.Цепочка имеет вид (указаны типы ПЧМ, хотя на самом деле соединяются ихэкземпляры):Environment  модель MIL STD-1553B  BCVM  модель ARINC 429 Storage. Пакет тестового компонента «ТСК», содержащий в себе заготовку тестовогокомпонента с интерфейсами MIL STD-1553B и ARINC 429, без какой-либологики функционирования. Пакет модели-стенда «Stand_TCK», которая соединяет экземпляры модели«ТСК» и модель БЦВМ через экземпляры моделей каналов.

Никакие другиеэкземпляры моделей не присутствуют в данной модели-стенде, т.к. ТСКмоделирует оба взаимодействующих с БЦВМ устройства.Инструкции к заданиюЧасть 1. Ввод настроек конфигурации и отладка обмена данными1. Запустите среду разработки частных моделей (СРЧМ), введя команду«stand-ide» в окне терминала Linux.2. Выберите проект «TaskFT_ChainedDevices».3. Во вкладке «Исходники» найдите все перечисленные выше пакеты.24.

Просмотрите заголовок и тело пакета модели «BCVM». Обратитевнимание на описание интерфейсов, параметров и точек ожидания взаголовке.Такжеознакомьтесьслогикойвычислениязначенийпараметров и логикой обмена данными в теле модели «BCVM».5. В заголовке пакета модели-стенда «Stand» ознакомьтесь с описаниемсвязей между интерфейсами моделей-компонентов.6. Обратите внимание на заголовок пакета модели-стенда «Stand_TCK».Отметьте тот факт, что компонент ТСК соединён с двумя интерфейсамимодели «BCVM». Дело в том, что ТСК должен как подготавливать входныеданные для модели БЦВМ, направляя их через канал MIL STD-1553B, так ианализировать выходные данные модели БЦВМ, приходящие от нее черезинтерфейс ARINC 429.7.

Запустите эксперимент с настройками «Local» конфигурации «Conf». Этаконфигурация построена по модели-стенду «Stand», включает в себяэкземпляры всех ПЧМ, описанных выше, и не включает экземпляртестового компонента ТСК.8. Через интерфейс Средства оперативной визуализации и управленияэкспериментом (СОВУ) измените значение контрольного параметра«Failure» модели «sens». Для этого в столбце «Значение» на правойпанели окна СОВУ дважды щелкните на значении этого параметра (поумолчанию оно равно «false»), выберите значение «true» и нажмитеклавишу ENTER. Обратите внимание, что параметры модели «sens» сразуже принимают отрицательные значения и больше их не меняют.

При этоммодель «bcvm» переходит в режим «Sensor failure» и начинает передаватьнулевые значение параметров в модель «Storage». Режимы моделейотображаются в левой панели окна СОВУ.9. Установите значение параметра «Failure» модели «sens» обратно взначение «false». Заметьте, что возобновилось периодическое изменениезначений параметров модели. При этом модель «bcvm» возвращаетсяобратно в режим «work» и передает дальше (в модель «Storage»)значения, полученные от модели «sens».10.

Остановите эксперимент и закройте СОВУ.11. Запустите редактор структуры сообщения (РСС) для настроек «Local»конфигурации «Conf_TCK». Эта конфигурация построена на основе пакетамодели-стенда «Stand_TCK» и содержит только экземпляры типов3моделей «BCVM» и «TCK».12. Обратите внимание, что структура сообщений уже определена для моделиБЦВМ, поэтому необходимо описать лишь сообщения для модели «TCK»,чтобы начать тестирование функциональности.13. Откройте пакет тестового компонента «TCK». Обратите внимание, чтозаголовок содержит только определение интерфейсов MIL STD-1553B иARINC 429.

Необходимо добавить определения сообщений, слов и тестов.14. Пришловремяобратитьсякдокументу«REQS_ChainedDevices_BCVM_ru.doc», содержащему описания некоторыхтребований к устройству БЦВМ. В нашем случае модель БЦВМ будетпроверяться на соответствие этим требованиям.15. Чтобы провести функциональное тестирование модели БЦВМ, необходимодля начала специфицировать сообщения MIL STD-1553B и словаARINC 429 обмена данными с этой моделью. Для этого следует выполнитьследующие шаги:a.

Откройте заголовок пакета «TCK».b. Добавьте ЯОТ-определение для выходного сообщения,содержащего 3 слова данных и размещённого на выходномподадресе 1:RTS_OUTPUT_TERM_MESSAGE (SENS_PARAMS, mils, 1, 3)c. Добавьте ЯОТ-определение для битового поля в этом сообщении суказанием коэффициента масштабирования (цена младшего разряда):RTS_PROPERTY (H_sens, “scaling”, 0.01)RTS_BITFIELD (H_sens, SENS_PARAMS[0], 4, 16)Примечание: “0” означает первое (№ 0) слово данных в сообщении, “4”— номер первого значащего разряда в слове MIL STD-1553B, “16” —количество разрядов в битовом поле.d. Аналогичным образом добавьте ЯОТ-определение битового поля вэтом сообщении с тем же коэффициентом масштабирования; поленазываетсяT_sens,расположеновслове№1сообщения,начинается с разряда 4 и занимает 16 разрядов.e.

Аналогичным образом добавьте ЯОТ-определение битового поля вэтом сообщении с тем же коэффициентом масштабирования; поленазываетсяP_sens,расположеновслове№2сообщения,начинается с разряда 4 и занимает 16 разрядов.4Примечание:полученноеописаниесообщенияSENS_PARAMSструктурно совпадает с заданным в Редакторе структуры сообщенийописанием входного сообщения модели БЦВМ для того же подадреса.f. ДобавьтеЯОТ-определениеSENS_STATE,выходногосодержащегосообщенияоднословосименемданныхирасполагающегося на выходном подадресе 2;g. ДобавьтесообщенииЯОТ-определениебезцелочисленноебитовогокоэффициентаполе(операторполя«State»масштабирования,RTS_PROPERTYвт.к.неэтомэтонужен),расположенного в слове №0, начинающегося с разряда 4 изанимающего 16 разрядов.h.

Добавьте ЯОТ-определение входного слова ARINC 429 с адресом 1:RTS_INPUT_LABEL(IN_H_WORD, in_async, 1, “BNR”)i.Добавьте ЯОТ-определение битового поля в этом слове скоэффициентом масштабирования 0.01, начинающегося с разряда 29 изанимающего 16 разрядов (с 29 до 14 1):RTS_PROPERTY (H_in, “scaling”, 0.01)RTS_BITFIELD (H_in, IN_H_WORD, 29, 16)j.Аналогичным образом добавьте ЯОТ-определение для входногослова ARINC 429, называющегося IN_T_WORD и имеющего адрес 2.k.

Добавьте ЯОТ-определение для битового поля T_in в этом слове скоэффициентом масштабирования 0.01, начинающегося с разряда29 и занимающего 16 разрядов.l.Аналогичным образом добавьте ЯОТ-определение для входногослова ARINC 429 с адресом 3, называющегося IN_P_WORD.m. Добавьте ЯОТ-определение для битового поля P_in в этом слове скоэффициентом масштабирования 0.01, начинающегося с разряда29 и занимающего 16 разрядов.n.

Аналогичным образом добавьте ЯОТ-определение для входногослова ARINC 429 с адресом 4, называющегося IN_STATE.o. Добавьте ЯОТ-определение для битового поля State_in в этомслове, без коэффициента масштабирования, т.к. это целочисленноеполе (оператор RTS_PROPERTY не нужен), начинающегося с1В ARINC 429 битовые поля «прижимаются» к старшим разрядам слова.5разряда 29 и занимающего 16 разрядов.16. ПоаналогииспредыдущимTaskFT_BCS_TestSpec),заданиемдобавьте(работаописаниеспроектомфайла-протоколатестирования (RTS_LOG_FILE) в заголовок TCK.17.

Реализуйте в рамках тестового компонента ТСК и отладьте тест к первомутребованиюиздокумента«REQS_ChainedDevices_BCVM_ru.doc».Используйте подходы, аналогичные описанным в предыдущем задании(см. документ «2_prac_functest_intro_ru.doc»).18. Реализуйте в рамках тестового компонента ТСК и отладьте тесты костальным требованиям из документа «REQS_ChainedDevices_BCVM_ru.doc».6.