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