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