Simulink® Программное обеспечение Design Verifier™ может сгенерировать тесты, которые удовлетворяют целям покрытия для вашей модели, включая:
Тесты помогают вам подтвердить производительность модели путем демонстрации, как блоки в модели выполняются в различных режимах. При генерации тестов программное обеспечение выполняет формальный анализ модели. После завершения анализа программное обеспечение обеспечивает несколько способов для вас рассмотреть результаты.
Примечание
Если ваша модель не имеет условий, решений или пользовательских целей тестирования, то Simulink Design Verifier генерирует тест, который представляет основную симуляцию вашей модели. Тестовые воздействия удовлетворяют минимальным или максимальным ограничениям на входные порты, и промежуточные значения сигналов удовлетворяют ограничениям, заданным блоками Test Condition в модели.
Для настройки тестов для ваших моделей Simulink Simulink Design Verifier обеспечивает два блока:
Блок Test Objective задает значения сигнала, что тест должен удовлетворить.
Блок Test Condition ограничивает значения сигнала во время анализа.
Настроить тесты для модели Simulink или Stateflow® график, Simulink Design Verifier обеспечивает два MATLAB® функции. Можно использовать эти функции в блоке MATLAB Function. Обе функции активны в сгенерированном коде и в Simulink Design Verifier.
sldv.test — Задает цель тестирования.
sldv.condition — Задает условие испытания.
Эти функции:
Идентифицируйте математические отношения для тестирования в форме, которая может быть более естественной, чем использование параметров блоков.
Поддержка, задающая несколько целей, предположений или условий, не усложняя модель.
Обеспечьте доступ к степени MATLAB.
Поддержите разделение верификации и проекта модели.
Для примера того, как использовать эти функции, смотрите sldv.test или sldv.condition страница с описанием.
Примечание
Блоки Simulink Design Verifier и функции сохранены с моделью. Если вы открываете модель на установке MATLAB, которая не имеет лицензии Simulink Design Verifier, вы видите блоки и функции, но они не приводят к результатам.