Установите типы ссылки верификации между требованиями и протестируйте артефакты, такие как:
Тестовые файлы, тестовые наборы и тесты в Simulink® Test™
Блоки Верификации Simulink Design Verifier™
Simulink Библиотечные блоки Model Verification
Используйте метрики состояния Implementation, чтобы проверять, реализованы ли ваши требования и обращаются к разрывам в непротиворечивости. Используйте метрики состояния Verification, чтобы проверять, проверяются ли ваши требования путем запущения тестов, сопоставленных с ними. Рассмотрите состояние Implementation и Verification для набора требования в Редакторе Требований. После запущения тестов просмотрите сводные данные результатов и обратитесь к непройденным тестам. Создайте выравнивания, чтобы исключить требования из метрического расчета состояния Implementation и Verification.
slreq.Justification | Работа с slreq.Justification объекты |
slreq.verification.services.TAP | Работа с внешними источниками результатов |
slreq.verification.services.JUnit | Работа с внешними источниками результатов |
Рассмотрите состояние реализации требований
Используйте состояние реализации требований, чтобы проверять, как экстенсивно требования реализованы в вашей модели.
Рассмотрите состояние верификации требований
Используйте состояние верификации требований для контрольного испытания и результатов анализа, соединенных с вашими требованиями.
Соединитесь с тестами от требований
Объединенные тесты с требованиями.
Выровняйте по ширине требования
Обеспечьте выравнивания для своих требований.
Включайте результаты внешних источников в состояние верификации
Соедините и отразите результаты внешних источников в состоянии верификации Требований.
Соединение с тестовым скриптом
Соедините требование со скриптом MATLAB.
Соединение с файлом результата
Соедините требование с файлом результата испытаний.