Установите типы ссылки верификации между требованиями и протестируйте артефакты, такие как тестовые спецификации, тесты в Simulink® Test™, тестовых обвязках и образцовых блоках верификации. Рассмотрите состояние верификации для набора требования в Редакторе Требований. После запущения тестов просмотрите сводные данные результатов и обратитесь к непройденным тестам.
slreq.Justification | Работа с slreq. Объекты выравнивания |
Рассмотрите метрические данные о состоянии реализации требования
Используйте метрики реализации требования, чтобы проверять, как экстенсивно требования реализованы в вашей модели.
Рассмотрите метрические данные о состоянии верификации требования
Используйте тестовые метрики трассируемости, чтобы проверять, как требования удовлетворены против ваших тестов.
Выровняйте по ширине требования
Обеспечьте выравнивания для своих требований.