Exponenta Banner

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

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

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

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

  • Блоки Simulink Design Verifier™ Verification

  • Блоки библиотеки верификации модели 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 Requirements отражает результаты тестирования. Этот пример выполняет шаги, описанные в разделе Связывание с тестовым скриптом. Чтобы запустить этот пример, нажмите кнопку Открыть пример и запустите его. Этот пример использует:

Открыть Live Script
Integrating Results from an External Result file

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

В этом примере вы связываете требование с файлом результатов в формате Excel. Статус верификации в редакторе Simulink Requirements отражает результаты тестирования. Этот пример выполняет шаги, описанные в разделе «Связывание с файлом результатов». Чтобы запустить этот пример, нажмите Открыть пример и запустите его. Этот пример использует:

Открыть Live Script
Validate Requirements by Analyzing Model Properties

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

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

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

Исправление проблем проверки на основе требований

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

Открыть Live Script
Integrating results from a custom authored MUnit script as a test

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

В этом примере вы интегрируете результаты из xml- Модульный тест MATLAB путем ссылки на тестовый скрипт. Статус верификации в редакторе Simulink Requirements отражает результаты тестирования. Чтобы запустить этот пример, нажмите Открыть пример и запустите его. Этот пример использует:

Открыть Live Script

Simulink Requirements документация

Поддержка