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

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

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

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

  • Блоки Верификации Simulink Design Verifier™

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

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

Классы

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

Темы

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

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

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

Контрольное испытание и результаты анализа соединяются с вашими требованиями.

Соединитесь с тестами от требований

Объединенные тесты с требованиями.

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

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