Exponenta Banner
exponenta event banner

Тестирование на основе требований

Проверка, интерпретация и представление результатов испытаний на основе требований

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

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

  • Блоки проверки Simulink Design Verifier™

  • Блоки библиотеки проверки модели Simulink

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

Классы

slreq.JustificationРабота с slreq.Justification объекты
slreq.verification.services.TAP Работа с внешними источниками результатов
slreq.verification.services.JUnit Работа с внешними источниками результатов

Темы

Проверка состояния реализации требований

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

Проверка состояния проверки требований

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

Ссылка на тестовые примеры из требований

Связать тестовые примеры с требованиями.

Обоснование требований

Предоставьте обоснование своих требований.

Включение результатов из внешних источников в статус проверки

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

Привязка к тестовому сценарию

Связать требование со сценарием MATLAB.

Связывание с файлом результатов

Свяжите требование с файлом результатов теста.

Характерные примеры

Integrating Results from a Custom-Authored MATLAB Script as a Test

Интеграция результатов пользовательского сценария MATLAB в качестве теста

В этом примере необходимо связать требование со сценарием MATLAB. Статус проверки в редакторе требований Simulink отражает результаты теста. В этом примере выполняются шаги, описанные в разделе Привязка к тестовому сценарию. Чтобы запустить этот пример, щелкните Открыть пример и запустите его. В этом примере используются:

Открыть сценарий в реальном времени
Integrating Results from an External Result file

Интеграция результатов из внешнего файла результатов

В этом примере необходимо связать требование с файлом результатов в формате Excel. Статус проверки в редакторе требований Simulink отражает результаты теста. В этом примере выполняются шаги, описанные в разделе Связывание с файлом результатов. Чтобы запустить этот пример, щелкните Открыть пример (Open Example) и запустите его. В этом примере используются:

Открыть сценарий в реальном времени
Validate Requirements by Analyzing Model Properties

Проверка требований путем анализа свойств модели

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

Открыть модель
Fix Requirements-Based Testing Issues

Устранение проблем тестирования на основе требований

Устраните проблемы качества тестирования модели с помощью панели мониторинга тестирования модели.

Открыть сценарий в реальном времени
Integrating results from a custom authored MUnit script as a test

Интеграция результатов пользовательского сценария MUnit в качестве теста

В этом примере результаты теста MATLAB xml Unit интегрируются посредством ссылки на сценарий теста. Статус проверки в редакторе требований Simulink отражает результаты теста. Чтобы запустить этот пример, щелкните Открыть пример (Open Example) и запустите его. В этом примере используются:

Открыть сценарий в реальном времени

Документация по требованиям Simulink

Поддержка