Simulink® Requirements™ поддерживает сводные данные Состояния Верификации для ваших наборов требования. Можно использовать эти сводные данные состояния, чтобы идентифицировать пропавших без вести или неполную верификацию требования. Метрики состояния Verification доступны, если вы имеете Simulink Design Verifier™ и используете блоки Цели доказательства в качестве источников ссылки требования или Simulink Test™ и используете тесты в менеджере по Тесту как источники ссылки требования.
Требование должно удовлетворить следующие условия достигнуть полного состояния Verification:
Требование имеет одну или несколько ссылок, где тип ссылки установлен в Проверенный.
Источники ссылки для Проверенного ссылками должны быть также:
Тесты Simulink Test и тестовые наборы
Блоки Цели доказательства Simulink Design Verifier
Блоки от библиотеки Model Verification Simulink
Верификация, сопоставленная с источником ссылки, должна передать. Каждое дочернее требование, принадлежащее родительскому требованию, должно быть проверено для родительского требования, которое будет рассмотрено проверенным.
Ссылка на элемент верификации может иметь пять возможных Состояний Верификации:
Пройден: тест, соединенный с требованием, передал.
Отказавший: тест, соединенный с требованием, перестал работать.
Выровненный по ширине: требование было выровнено по ширине для верификации.
Невыполняемый: тест, соединенный с требованием, не был выполнен.
'none': тест, соединенный с требованием, не имеет никакого результата.
Можно сгенерировать метрику Состояния Верификации для требований, соединенных с тестами Simulink Test путем запущения тестов, сопоставленных с ними от менеджера по Тесту, как описано в Ссылке на Тесты от Требований.
Если у вас есть ссылки от ваших требований до блоков Цели доказательства Simulink Design Verifier, можно сгенерировать метрику Состояния Верификации путем симуляции модели.
Если у вас есть отображенная метрика Состояния Верификации, можно также запустить тесты, сопоставленные с требованием и его дочерними требованиями из Редактора Требований путем щелчка правой кнопкой по узлу требования и выбора Run Tests. В диалоговом окне Run Tests выберите тесты, вы хотите запустить и нажать Run Tests.
Если у вас есть связанные требования к блокам Цели доказательства Simulink Design Verifier в многоуровневых моделях, диалоговое окно Run Tests запускает анализ Simulink Design Verifier, когда соответствующие модели открыты.
Можно просмотреть метрику Состояния Верификации для наборов требований и из Редактора Требований и из Браузера Требований в Виде в перспективе Требований. Чтобы переключить метрическое отображение, выберите Display> Verification Status из меню Requirements Editor.
Наведите своя мышь на Проверенный столбец в Редакторе Требований или Requirements Browser для каждого требования или набора требований, чтобы просмотреть метрику Состояния Верификации, сопоставленную с ним.
