Можно просмотреть состояние верификации требований в Браузере Требований и Редакторе Требований. Состояние верификации отражает результаты тестирования симуляции с помощью 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.
Для получения дополнительной информации смотрите, Сообщают информацию Требований
