Рассмотрите состояние верификации требований

Можно просмотреть состояние верификации требований в Браузере Требований и Редакторе Требований. Состояние верификации отражает результаты тестирования симуляции с помощью Simulink® Test™ или свойства, доказывающего использование Simulink Design Verifier™. Используйте ссылки Verified by от требований до оценок симуляции или целей доказательства.

  • Тестирование симуляции: состояние верификации Требования отражает результат следующих связываемых элементов Simulink Test после того, как они будут запущены в менеджере по Тесту:

    • Тестовые файлы

    • Тестовые наборы

    • Тесты

    • Итерации

    • Оценки

    Чтобы изучить, как проверить требования с элементами Simulink Test, смотрите Тестовую модель Против Результатов Отчета и Требований.

    Запустите тесты от менеджера по Simulink Test или использование sltest.testmanager.run (Simulink Test). Для краткого примера при создании и выполнении теста, следуйте, первая часть Создают и Запущенный Базовый Тест (Simulink Test).

    Оценки во время выполнения от verify (Simulink Test) операторы или Блоки Model Verification (Simulink Test) могут быть получены путем контроля тех оценок через тесты в менеджере по Тесту.

    Примечание

    Чтобы просмотреть состояние верификации требования, которое соединяется с тестом, созданным в MATLAB®, необходимо использовать основанный на MATLAB тест Simulink. Смотрите, что Тестовые модели Используют Основанные на MATLAB Тесты Simulink (Simulink Test).

  • Свойство, доказывающее: состояние Verification отражает результат анализа свойств, смоделированных с помощью:

    • Simulink Design Verifier блоки Proof Objective.

    • Блоки Model Verification.

    Соедините блоки с требованиями, затем анализируйте свойства. Для получения дополнительной информации смотрите Ссылки Требования.

Чтобы изучить, как включать результаты внешних источников в состояние верификации, смотрите, Включают Результаты Внешних Источников в Состояние Верификации.

Отобразите состояние верификации

Состояние верификации получено в итоге в столбце Verified Браузера Требований и Редакторе Требований. Отобразить столбец:

  • В Редакторе Требований выберите Columns> Verification Status

  • В панели Браузера Требований окна модели щелкните правой кнопкой по требованию и выберите Verification Status.

Например, столбец Verified показывает частичные ссылки верификации для этого набора требования одним не пройдено результатом:

Обилие панели указывает, сколько требований в группе (родительский элемент + дочерние элементы) соединяется с элементами верификации. Цвет указывает на результаты испытаний или результаты анализа:

  • (Зеленый) Passed: соединенный тест (тесты) передал, или анализ доказал цель (цели).

  • (Красный) Failed: соединенный тест (тесты) перестал работать, или анализ сфальсифицировал цель (цели).

  • (Голубой) Justified: требование исключено из состояния с выравниванием. Для получения дополнительной информации смотрите, Выравнивают по ширине Требования.

  • (Желтый) Unexecuted:: соединенный тест (тесты) или цель (цели):

    • Не запустились или выполнились

    • Были обновлены позже, чем новый результат

  • (Бесцветный) None: требование не имеет ссылки (ссылок) Verified by.

Обновите состояние верификации путем запущения тестов или исследований

Можно обновить состояние верификации путем запущения тестов или исследований, соединенных с требованиями:

  1. В Редакторе Требований щелкните правой кнопкой мыши по требованию и выберите Run Tests.

  2. В диалоговом окне Run Tests выберите тесты.

  3. Нажмите Run Tests.

Можно также обновить состояние верификации путем запущения тестов или анализа за пределами Редактора Требований:

  • В Simulink Test, запущенном тесты в менеджере по Тесту.

  • В Simulink Design Verifier, анализе доказательства свойства запуска.

  • В Simulink, запускает модель, которая содержит блоки Model Verification.

Примечание

Если у вас есть связанные требования с блоками Цели доказательства Simulink Design Verifier в многоуровневых моделях, диалоговое окно Run Tests запускает анализ Simulink Design Verifier, когда соответствующие модели открыты.

Включайте состояние верификации в отчет

Можно включать состояние верификации в отчет требований:

  1. В меню Requirements Editor выберите Report> Generate Report.

  2. Выберите Verification Status.

  3. Нажмите Generate Report.

Для получения дополнительной информации смотрите, Сообщают информацию Требований

Смотрите также

|

Документация Simulink Requirements

Поддержка

Для просмотра документации необходимо авторизоваться на сайте