Верификация требований

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

Установите типы ссылки верификации между требованиями и протестируйте артефакты, такие как тестовые спецификации, тесты в Simulink® Test™, тестовых обвязках и образцовых блоках верификации. Рассмотрите состояние верификации для набора требования в Редакторе Требований. После запущения тестов просмотрите сводные данные результатов и обратитесь к непройденным тестам.

Классы

slreq.JustificationРабота с slreq. Объекты выравнивания

Темы

Рассмотрите метрические данные о состоянии реализации требования

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

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

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

Выровняйте по ширине требования

Обеспечьте выравнивания для своих требований.

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