Статус верификации требований

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

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

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

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

    • Тесты

    • Итерации

    • Оценки

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

    Запустите тесты из Simulink Test Manager или используя sltest.testmanager.run (Тест Simulink). Для краткого руководства по созданию и выполнению теста, следуйте первой части Create and Run a Baseline Test (Simulink Test).

    Оценки во время выполнения из verify (Simulink Test) операторы или блоки верификации модели (Simulink Test) могут быть захвачены путем мониторинга этих оценок с помощью контрольных случаев в диспетчере тестов.

    Примечание

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

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

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

    • Моделируйте блоки верификации.

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

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

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

Статус верификации суммируется в Verified столбце браузера требований и редактора требований. Для отображения столбца:

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

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

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

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

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

  • Failed (красный): Не удалось связанный тест (ы), или анализ сфальсифицировал цель (ы).

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

  • Unexecuted: (желтый): Связанный тест (ы) или цель (ы):

    • Не выполнялись и не выполнялись

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

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

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

Вы можете обновить статус верификации, запустив тесты или анализы, связанные с вашими требованиями:

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

  2. В диалоговом окне «Запуск тестов» выберите тесты.

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

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

  • В Simulink Test запустите тесты в Test Manager.

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

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

Примечание

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

Включить статус верификации в отчет

Статус верификации можно включить в отчет о потребностях:

  1. В меню «Редактор требований» выберите Report > Generate Report.

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

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

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

См. также

|

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

Поддержка

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