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, не поддержан.