В этом примере вы соединяете требование с файлом результата в Excel Format. Состояние верификации в Редакторе Simulink Requirements отражает результаты испытаний. Этот пример выполняет шаги, описанные в Соединении с Файлом Результата. Чтобы запустить этот пример, нажмите Open Example
и запустите его. Этот пример использует:
Требования устанавливают файл с именем counter_req.slreqx
.
Файл с именем результатов испытаний results.xlsx
. Этот файл содержит тест под названием counterSetsValue
.
Прежде, чем создать ссылки, необходимо указать тип ссылки из файла набора требований. 1. Откройте файл требований counter_req.slreqx
в редакторе требований:
reqSet = slreq.open('counter_req.slreqx');
Укажите тип ссылки, который характерен для внешнего файла результатов. Регистрацией домена, необходимой для этого примера, является linktype_myexcelresults.m.
Указывать пользовательский linktype link type_myexcelresults.m
Ввод:
rmi register linktype_myexcelresults;
Пользовательская логика в GetResultFcn
функция определяет местоположение файла результата, который соответствует тесту и выбирает результаты того файла результата. Для получения дополнительной информации о GetResultFcn
, смотрите Типы Ссылки и Ссылки. Примечание: Если команда регистра возвращает какое-либо предупреждение, то необходимо не указать файл и запустить команду снова. Чтобы не указать файл, введите rmi unregister linktype_myexcelresults
.
Сделайте struct
содержа свойства внешнего результата. Создать ссылку, в командной строке, введите:
externalSource.id = 'counterSetsValue'; externalSource.artifact = 'results.xlsx'; externalSource.domain = 'linktype_myexcelresults';
Требованию, связанному со ссылкой, установили ее SID на 4. Найти требование связанным со ссылкой, введите:
requirement = reqSet.find('Type', 'Requirement', 'SID', 4);
Создать ссылку, введите:
link = slreq.createLink(requirement, externalSource);
Эта команда создает ссылку между тестом counterSetsValue
и требование с SID 4. В Редакторе Требований ссылка появляется в разделе Links> Confirmed By.
Чтобы просмотреть состояние верификации, необходимо сначала обновить состояние верификации для набора требования. В командной строке MATLAB введите:
reqSet.updateVerificationStatus;
Чтобы видеть столбец состояния верификации в Редакторе Требований, гарантируйте, что Отображение> Состояние Верификации выбрано. После обновления выберите состояние верификации для требования:
status = reqSet.getVerificationStatus
status = struct with fields:
total: 3
passed: 1
failed: 0
unexecuted: 0
justified: 0
none: 2
Откройте Редактор Требований, чтобы видеть состояние верификации:
reqSet = slreq.open('counter_req.slreqx');
Редактор Требований показывает состояние верификации для каждого требования в наборе требования.
Состояние верификации для требований для counterSetsValue
полностью проверяется.
Состояние верификации показывает, что из трех тестов, один тест передал. Нажмите Refresh, чтобы видеть состояние верификации для требований в Редакторе Требований.
Очистите открытые наборы требования и наборы ссылки, и закройте любые открытые модели, не сохраняя изменения. Не укажите linktype.
slreq.clear; bdclose('all'); rmi unregister linktype_myexcelresults;