Рассмотрите состояние верификации требований
Можно просмотреть состояние верификации требований в Браузере Требований и Редакторе Требований. Состояние верификации отражает результаты тестирования симуляции с помощью Simulink® Test™ или свойство, доказывающее использование Simulink Design Verifier™. Используйте Verify введите ссылки от требований до оценок симуляции или целей доказательства. Для получения дополнительной информации смотрите Типы Ссылки.
Проверьте функциональные требования
Тип требования задает роль требования. Функциональные требования предназначаются, чтобы быть реализованными и способствовать состоянию верификации, а также требованиям с пользовательским типом, который является подтипом Functional. Другие типы требования не способствуют состоянию верификации. Для получения дополнительной информации смотрите Типы Требования и Задайте Пользовательские Типы Требования и Ссылки.
Можно проверить функциональные требования путем соединения их с определенными элементами верификации с Verify введите ссылки.
Тестирование симуляции: состояние верификации Требования отражает результат следующих связываемых элементов Simulink Test после того, как они будут запущены в менеджере по Тесту:
Тестовые файлы
Тестовые наборы
Тесты
Итерации
Оценки
Чтобы изучить, как проверить требования с элементами Simulink Test, смотрите Тестовую модель Против Результатов Отчета и Требований.
Запустите тесты от менеджера по Simulink Test или использование
sltest.testmanager.run(Simulink Test). Для краткого примера при создании и выполнении теста, следуйте, первая часть Создают и Запущенный Базовый Тест (Simulink Test).Оценки во время выполнения от операторов verify (Simulink Test) или Блоков Model Verification (Simulink Test) могут быть получены путем контроля тех оценок через тесты в менеджере по Тесту. Для получения дополнительной информации смотрите, Оценивают Симуляцию модели Используя
verifyОператоры (Simulink Test).Примечание
Просмотреть состояние верификации требования, которое соединяется с тестом, созданным в MATLAB®, необходимо использовать основанный на MATLAB тест Simulink. Смотрите, что Тестовые модели Используют MATLAB-Based Тесты Simulink (Simulink Test).
Свойство, доказывающее: состояние Verification отражает результат анализа свойств, смоделированных с помощью:
Simulink Design Verifier блоки Proof Objective.
Блоки Model Verification.
Соедините блоки с требованиями, затем анализируйте свойства. Для получения дополнительной информации смотрите Ссылки Требования.
Можно также проверить требования путем соединения с внешними источниками результата с Confirm введите ссылки. Для получения дополнительной информации смотрите, Включают Результаты Внешних Источников в Состояние Верификации
Отобразите состояние верификации
Состояние верификации получено в итоге в столбце Verified Браузера Требований и Редакторе Требований. Отобразить столбец:
В Редакторе Требований выберите
Columns> Verification StatusВ панели Браузера Требований окна модели щелкните правой кнопкой по требованию и выберите Verification Status.
Например, столбец Verified показывает частичные ссылки верификации для этого набора требования одним не пройдено результатом:
Обилие панели указывает, сколько требований в группе (родительский элемент + дочерние элементы) соединяется с элементами верификации. Цвет указывает на результаты испытаний или результаты анализа:
(Зеленый) Passed: соединенный тест (тесты) передал, или анализ доказал цель (цели).
(Красный) Failed: соединенный тест (тесты) перестал работать, или анализ сфальсифицировал цель (цели).
(Голубой) Justified: требование исключено из состояния с выравниванием. Для получения дополнительной информации смотрите, Выравнивают по ширине Требования.
(Желтый) Unexecuted:: соединенный тест (тесты) или цель (цели):
Не запустились или выполнились
Были обновлены позже, чем новый результат
(Бесцветный) None: требование не имеет
Verifyвведите ссылки.
Обновите состояние верификации путем запущения тестов или исследований
Можно обновить состояние верификации путем запущения тестов или исследований, соединенных с требованиями:
В Редакторе Требований щелкните правой кнопкой мыши по требованию и выберите Run Tests.
В диалоговом окне Run Tests выберите тесты.
Нажмите Run Tests.
Можно также обновить состояние верификации путем запущения тестов или анализа за пределами Редактора Требований:
В Simulink Test, запущенном тесты в менеджере по Тесту.
В Simulink Design Verifier, анализе доказательства свойства запуска.
В Simulink, запускает модель, которая содержит блоки Model Verification.
Примечание
Если у вас есть связанные требования с блоками Цели доказательства Simulink Design Verifier в многоуровневых моделях, диалоговое окно Run Tests запускает анализ Simulink Design Verifier, когда соответствующие модели открыты.
Включайте состояние верификации в отчет
Можно включать состояние верификации в отчет требований:
В меню Requirements Editor выберите Report> Generate Report.
Выберите Verification Status.
Нажмите Generate Report.
Для получения дополнительной информации смотрите, Сообщают информацию Требований