Simulink® Design Verifier™ поддерживает поиск ошибок проектирования, генерацию тестов и свойство, доказывающее для моделей экспорта функций. Программное обеспечение создает планировщики, которые вызывают модели экспорта функций, и затем выполняет анализ модели планировщика. Можно анализировать модели экспорта функций с периодическими и апериодическими группами вызова функции. Планировщик вызывает вызовы функции на основе набора шагов расчета и приоритетов в топ-модели. Для получения дополнительной информации см. Модели Экспорта функций (Simulink).
Когда вы вызываете анализ Simulink Design Verifier модели, которая состоит из моделей экспорта функций, программное обеспечение создает модель планировщика и затем выполняет анализ. По умолчанию модель планировщика, которую создает программное обеспечение, сохранена в этом месте <current_folder>\sldv_output\<model_name>\<model_name>_SldvScheduler.slx
Этот пример показывает, как анализировать модель sldvExportFunction_autosar_multirunnables в качестве примера AUTOSAR, которая состоит из периодических подсистем вызова функций.
Добавьте папку в качестве примера в путь поиска файлов.
addpath(fullfile(docroot,'toolbox','sldv','examples'))
Откройте модель sldvExportFunction_autosar_multirunnables.
open_system('sldvExportFunction_autosar_multirunnables');Чтобы запустить анализ генерации тестов, нажмите Analysis> Design Verifier> Generate Tests> Model.
Окно Results Summary указывает, что модель sldvExportFunction_autosar_multirunnables_SldvScheduler.slx планировщика была создана. Можно также сгенерировать модель планировщика при помощи sldvextract.
Модель планировщика состоит из блока MATLAB function _SldvExportFcnScheduler. Вызовы функции периодически называются, когда модель состоит из периодической подсистемы вызова функций.
Код MATLAB задает порядок, в котором выполняется периодический вызов функции. Runnable1 и Runnable2 выполняются сначала, потому что периодом времени является 1 для них обоих. После временных шагов 10 выполняется Runnable3.
Если модель состоит из апериодических подсистем вызова функций, планировщик состоит из дополнительного импорта AsyncCallCount. Значение AsyncCallCount указывает, вызвать ли вызов функции или не во временном шаге.
Например, если Runnable1 является апериодической подсистемой вызова функций, планировщик состоит из
импорта AsyncCallCount, чтобы вызвать планировщик. Легенду Шага расчета и модель планировщика для апериодического вызова функции показывают в диаграмме.
После анализа генерации тестов, в итоговом окне, вы видите результаты, что целями 7/7 является Satisfied.
Чтобы сгенерировать отчет покрытия путем симуляции тестов, в окне Results Summary, нажимают Simulate tests and produce a model coverage report.
Программное обеспечение моделирует все тесты, собирает информацию покрытия модели и отображает отчет покрытия.
Чтобы просмотреть отчет детального анализа, нажмите HTML в окне Results Summary.
Раздел Schedule for Export Function Analysis в главе информации об Анализе перечисляет расписание для вызова экспортов функций.
Анализ Simulink Design Verifier не поддерживает модель, которая состоит из экспортов функций с несколькими инициаторами вызова функции.
Блок модели маскированный, который экспортирует Функциональный блок Simulink, не поддержан.