Основанное на требованиях проверка

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

Установите типы ссылок верификации между требованиями и тестовыми программными продуктами, такими как:

  • Тестовые файлы, тестовые наборы и контрольные примеры в Simulink® Test™

  • Блоки Simulink Design Verifier™ Verification

  • Блоки библиотеки верификации модели Simulink

Используйте метрики состояния реализации, чтобы проверить, реализованы ли ваши требования, и устранить пробелы в согласованности. Используйте метрики состояния верификации, чтобы проверить, проверены ли ваши требования, запустив связанные с ними тесты. Проверьте статус реализации и верификации для требований, установленных в редакторе требований. После выполнения тестов просмотрите сводные данные результатов и устраните непройденные тесты. Создайте обоснования, чтобы исключить требования из расчета метрики состояния реализации и верификации.

Классы

slreq.JustificationРабота с slreq.Justification объекты
slreq.verification.services.TAP Работа с внешними источниками результатов
slreq.verification.services.JUnit Работа с внешними источниками результатов

Темы

Просмотр состояния реализации требований

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

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

Используйте статус верификации требований для проверки результатов тестирования и анализа, связанных с вашими требованиями.

Ссылка на тесты из требований

Ассоциируйте тесты с требованиями.

Обоснование требований

Предоставьте обоснования ваших требований.

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

Ссылка и отражение результатов из внешних источников в состоянии верификации требований.

Ссылка на тестовый скрипт

Привяжите требование к скрипту MATLAB.

Ссылка на файл результатов

Привяжите требование к файлу результатов тестирования.

Рекомендуемые примеры

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