Документация

Проверки на модели, которые не скомпилированы Model Advisor

Для собственных проверок, которые не требуют, чтобы Model Advisor скомпилировал модель перед выполнением проверки в определении проверки, вы задаете свойство ModelAdvisor.Check.CallbackContext как:

rec.CallbackContext = 'None';  

Этот пример показывает определение проверки, которое не требует, чтобы модель была скомпилирована.

function defineModelAdvisorChecks
mdladvRoot = ModelAdvisor.Root;
% -----------------------------
% Sample Check: Check whose model does not need to be compiled
% -----------------------------

rec = ModelAdvisor.Check('exampleCheck2');
rec.Title = 'Non-compile check example';
rec.TitleID = 'custom.dtcCheck.NonCompile1';
rec.TitleTips = 'A custom check for a model that does not need to be compiled ';
rec.setCallbackFcn(@CheckNoCompile,'None','StyleOne');
rec.CallbackContext = 'None'; % Not compiled

mdladvRoot.publish(rec, 'Demo');

Проверки, Которые Требуют, чтобы Модель была Скомпилирована, и Моделированными Model Advisor

Для собственных проверок, которые требуют, чтобы образцовая компиляция и симуляция правильно проверяли реализацию модели в определении проверки, вы задаете свойство ModelAdvisor.Check.CallbackContext как:

rec.CallbackContext = 'PostCompile'; 

В этой ситуации Model Advisor обновляет диаграмму модели и моделирует модель. Model Advisor не отмечает проблемы моделирования, которые перестали работать во время генерации кода, потому что эти проблемы не влияют на моделируемую модель.

Этот пример показывает определение проверки, которое требует, чтобы модель была скомпилирована и моделирована.

function defineModelAdvisorChecks
mdladvRoot = ModelAdvisor.Root;
% -----------------------------
% Sample Check: Check whose model must be compiled and simulated.
% -----------------------------

rec = ModelAdvisor.Check('exampleCheck3');
rec.Title = 'PostCompile check example';
rec.TitleID = 'custom.dtcCheck.Compile1';
rec.TitleTips = 'A custom check for a model that is compiled and simulated';
rec.setCallbackFcn(@CheckCompileSimulate,'None','StyleOne');
rec.CallbackContext = 'PostCompile'; % Compiled and simulated

mdladvRoot.publish(rec, 'Demo');

Проверки, которые оценивают готовность генерации кода модели

Для собственных проверок, которые оценивают готовность генерации кода, необходимо разработать модель, чтобы сгенерировать код. В определении проверки вы задаете свойство ModelAdvisor.Check.CallbackContext как:

rec.CallbackContext = 'PostCompileForCodegen';

В этой ситуации Model Advisor компилирует модель и обновляет диаграмму модели специально для генерации кода. Model Advisor не принимает, что модель моделируется.

Можно создать пользовательские проверки Model Advisor, которые идентифицируют проблемы настройки генерации кода в модели в более ранней стадии, избегая неожиданных ошибок во время генерации кода. Например, в этой модели, перечисление Red в BasicColors и OtherColors хорошо для использования в моделируемой модели. В сгенерированном коде, однако, эти перечисления Red приводят к столкновению перечисления. При помощи опции 'PostCompileForCodegen' ваша пользовательская проверка Model Advisor может идентифицировать этот тип проблемы настройки генерации кода.

Опция 'PostCompileForCodegen' компилирует модель для всех вариантов. Эта компиляция позволяет вам анализировать возможные проблемы, существующие в сгенерированном коде для активных и неактивных различных путей в модели. В примере обеспечивают, Создают Собственную проверку, чтобы Оценить Активные и Неактивные Различные Пути из Модели.

Этот пример показывает определение проверки, которое требует, чтобы модель была скомпилирована для генерации кода

function defineModelAdvisorChecks
mdladvRoot = ModelAdvisor.Root;
% -----------------------------
% Sample Check: Check whose model is compiled for generated code.
% Model is not simulated.
% -----------------------------

rec = ModelAdvisor.Check('exampleCheck1');
rec.Title = 'PostCompileForCodegen check example';
rec.TitleID = 'custom.dtcCheck.CompileForCodegen1';
rec.TitleTips = 'A custom check for evaluating the generated code';
rec.setCallbackFcn(@CheckSingleToBoolConversion,'None','StyleOne');
rec.CallbackContext = 'PostCompileForCodegen'; % Compile for generated code

mdladvRoot.publish(rec, 'Demo');

Создайте собственную проверку, чтобы оценить активные и неактивные различные пути из модели

Этот пример показывает создание пользовательской проверки Model Advisor, которая оценивает активные и неактивные различные пути из модели вариантной системы. Пример обеспечивает результаты Model Advisor, которые демонстрируют, почему вы используете PostCompileForCodegen по сравнению с PostCompile как значение для свойства ModelAdvisor.Check.CallbackContext, когда генерация кода из модели является вашей итоговой целью. Смотрите Задают Опцию Компиляции для Собственных проверок.

function sl_customization(cm)

% --- register custom checks
cm.addModelAdvisorCheckFcn(@defineModelAdvisorChecks);

end

% --- defineModelAdvisorChecks function
function defineModelAdvisorChecks
mdladvRoot = ModelAdvisor.Root;

rec = ModelAdvisor.Check('exampleCheck1');
rec.Title = 'Check to identify SINGLE to BOOL conversions';
rec.TitleID = 'custom.dtcCheck.CompileForCodegen1';
rec.TitleTips = 'Custom check to identify SINGLE to BOOL conversions';
rec.setCallbackFcn(@CheckSingleToBoolConversion,'None','StyleOne');
rec.CallbackContext = 'PostCompileForCodegen'; % Compile for Code Generation

mdladvRoot.publish(rec, 'Demo');

end

% --- creates SimpleCallback function
function result = CheckSingleToBoolConversion(system)

mdladvObj = Simulink.ModelAdvisor.getModelAdvisor(system);
result={};
dtcBlks = find_system(system, 'BlockType', 'DataTypeConversion');
for ii = numel(dtcBlks):-1:1
    dtcBlk = dtcBlks{ii};
    compDataTypes = get_param(dtcBlk, 'CompiledPortDataTypes');
    if isempty(compDataTypes)
        dtcBlks(ii) = [];
        continue;
    end
    if ~(strcmp(compDataTypes.Inport, 'single') && strcmp(compDataTypes.Outport, 'boolean'))
        dtcBlks(ii) = [];
        continue;
    end
end

ft = ModelAdvisor.FormatTemplate('ListTemplate');
ft.setInformation(['This check looks for data type conversion blocks that'...
    ' convert single data to boolean data']);
if ~isempty(dtcBlks)
    ft.setSubResultStatusText(['Check has failed. The following '...
        'data type conversion blocks convert single data to boolean:']);
    ft.setListObj(dtcBlks);
    ft.setSubResultStatus('warn');
    ft.setRecAction('Modify the model to avoid converting data type from single to boolean');
    mdladvObj.setCheckResultStatus(false); 
else
    ft.setSubResultStatusText(['Check has passed. No data type conversion blocks '...
        'that convert single data to boolean were found.']);
    ft.setSubResultStatus('pass');
    mdladvObj.setCheckResultStatus(true); 
end
ft.setSubBar(0);
result{end+1} = ft;

end

function result = dummy(~)
result={};
end

Advisor.Manager.refresh_customizations

rec.CallbackContext = 'PostCompileForCodegen';

rec.CallbackContext = 'PostCompile';