Exponenta Banner

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

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

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

  • Тестовые файлы, тестовые наборы и тесты в 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.

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

Соедините требование с файлом результата испытаний.

Рекомендуемые примеры

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

Интеграция результатов пользовательски созданного СКРИПТА MATLAB как тест

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

Скрипт Open Live Script
Integrating Results from an External Result file

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

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

Скрипт Open Live Script
Validate Requirements by Analyzing Model Properties

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

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

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

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

Зафиксируйте модель, тестирующую проблемы качества при помощи Модели, Тестирующей Инструментальную панель.

Скрипт Open Live Script
Integrating results from a custom authored MUnit script as a test

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

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

Скрипт Open Live Script

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

Поддержка