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');Чтобы запустить анализ генерации тестов, на вкладке Design Verifier, нажимают Generate Tests.
Окно Results Summary указывает что модель sldvExportFunction_autosar_multirunnables_SldvScheduler.slx планировщика был создан. Можно также сгенерировать модель планировщика при помощи sldvextract.
Модель планировщика состоит из блока MATLAB function _SldvExportFcnScheduler. Вызовы функции периодически называются, когда модель состоит из периодической подсистемы вызова функций.
Код MATLAB задает порядок, в котором выполняется периодический вызов функции. Runnable1 и Runnable2 выполняется сначала, потому что периодом времени является 1 для них обоих. После 10 временные шаги, Runnable3 выполняется.
Если модель состоит из апериодических подсистем вызова функций, планировщик состоит из дополнительного импорта AsyncCallCount. Значение AsyncCallCount указывает, вызвать ли вызов функции или не во временном шаге.
Например, если Runnable1 апериодическая подсистема вызова функций, планировщик состоит из AsyncCallCount
inport, чтобы вызвать планировщик. Легенду Шага расчета и модель планировщика для апериодического вызова функции показывают в диаграмме.
После анализа генерации тестов, в итоговом окне, вы видите результаты что 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, не поддержан.