Открытие модели Simulink rtwdemo_roll и сконфигурируйте модель для генерации кода.

% Load the model
model = 'rtwdemo_roll';
load_system(model);
% Configure the Solver
configSet = getActiveConfigSet(model);
set_param(configSet,'Solver','FixedStepDiscrete');
set_param(configSet, 'SystemTargetFile', 'ert.tlc');

Чтобы включить упаковку созданного кода в архив, установите параметр PackageGeneratedCodeAndArtifacts кому true.

set_param(configSet, 'PackageGeneratedCodeAndArtifacts', true)

Создайте временные папки для создания кода и создайте код.

[TEMPDIR, CGDIR] = rtwdemodir();
slbuild(model);

Запустите анализ Polyspace.

% Run Polyspace analysis
[~,resultsFolder] = pslinkrunCrossRelease(model);
bdclose(model);

Открытие модели Simulink rtwdemo_roll и сконфигурируйте модель для генерации кода.

% Load the model
model = 'rtwdemo_roll';
load_system(model);
% Configure the Solver
configSet = getActiveConfigSet(model);
set_param(configSet,'Solver','FixedStepDiscrete');
set_param(configSet, 'SystemTargetFile', 'ert.tlc');

Чтобы включить упаковку созданного кода в архив, установите параметр PackageGeneratedCodeAndArtifacts кому true.

set_param(configSet, 'PackageGeneratedCodeAndArtifacts', true)

Создайте временные папки для создания кода и создайте код.

[TEMPDIR, CGDIR] = rtwdemodir();
slbuild(model);

Чтобы задать конфигурации модели для анализа Polyspace, используйте pslinkoptions объект. Создать этот объект с помощью функции pslinkoptions. Чтобы выполнить анализ поиска ошибок, установите psOpt.VerificationMode кому 'BugFinder'. Чтобы задать диапазон, определенный в блоке на его входных переменных, укажите psOpts.InputRangeMode как 'DesignMinMax'.

% Create a Polyspace options object from the model. 
psOpts = pslinkoptions(model);

% Set model configurtion for the Polyspace analysis.
psOpts.VerificationMode = 'BugFinder';
psOpts.InputRangeMode = 'DesignMinMax';

Запустите анализ Polyspace. Чтобы задать конфигурацию модели для анализа Polyspace, задайте объект psOpt в качестве дополнительного второго аргумента в pslinkrunCrossRelease.

% Run Polyspace analysis
[~,resultsFolder] = pslinkrunCrossRelease(model,psOpt);
bdclose(model);

Открытие модели Simulink rtwdemo_roll и сконфигурируйте модель для генерации кода.

% Load the model
model = 'rtwdemo_roll';
load_system(model);
% Configure the Solver
configSet = getActiveConfigSet(model);
set_param(configSet,'Solver','FixedStepDiscrete');
set_param(configSet, 'SystemTargetFile', 'ert.tlc');
set_param(configSet, 'PackageGeneratedCodeAndArtifacts', true)

Создайте временные папки для создания кода и создайте код. Укажите опцию ModelReferenceCoderTargetOnly. Посмотрите slbuild (Симулинк).

[TEMPDIR, CGDIR] = rtwdemodir();
slbuild(model,'ModelReferenceCoderTargetOnly');

Чтобы упаковать код, созданный как ссылка на модель, используйте функцию packNGo. Найдите файл buildinfo.mat в <working folder>/slprj/ert/rtwdemo_counter и использовать полный путь к нему в качестве входных данных для packNGo. Эта команда создает архив, содержащий созданный код и объект buildinfo.mat. Посмотрите packNGo (Встроенный кодер).

% Locate buildinfo and generate code archive
buildinfo = fullfile(pwd,'slprj','ert',model,'buildinfo.mat');
packNGo(buildinfo)

Чтобы задать опции анализа Polyspace, используйте pslinkoptions объект. Создать этот объект с помощью функции pslinkoptions. Чтобы выполнить анализ поиска ошибок, установите psOpt.VerificationMode кому 'BugFinder'.

% Create a Polyspace options object from the model. 
psOpts = pslinkoptions(model);

% Set properties that define the Polyspace analysis.
psOpts.VerificationMode = 'BugFinder';
psOpts.InputRangeMode = 'DesignMinMax';

Запустите анализ Polyspace. Чтобы задать опции анализа Polyspace, задайте объект psOpt в качестве дополнительного второго аргумента в pslinkrunCrossRelease. Чтобы проанализировать код как ссылку на модель, задайте дополнительный третий аргумент asModelRef к true.

% Run Polyspace analysis
[~,resultsFolder] = pslinkrunCrossRelease(model,psOpt,true);
bdclose(model);

Открытие модели Simulink rtwdemo_roll и сконфигурируйте модель для генерации кода.

% Load the model
model = 'rtwdemo_roll';
load_system(model);
% Configure the Solver
configSet = getActiveConfigSet(model);
set_param(configSet,'Solver','FixedStepDiscrete');
set_param(configSet, 'SystemTargetFile', 'ert.tlc');

Чтобы включить упаковку созданного кода в архив, установите параметр PackageGeneratedCodeAndArtifacts кому true.

set_param(configSet, 'PackageGeneratedCodeAndArtifacts', true)

Создайте временные папки для создания кода и создайте код.

[TEMPDIR, CGDIR] = rtwdemodir();
slbuild(model);

Чтобы указать конфигурацию модели для анализа Polyspace, используйте pslinkoptions объект. Создать этот объект с помощью функции pslinkoptions. Чтобы выполнить анализ поиска ошибок, установите psOpt.VerificationMode кому 'BugFinder'.

% Create a Polyspace options object from the model. 
psOpts = pslinkoptions(model);

% Set properties that define the Polyspace analysis.
psOpts.VerificationMode = 'BugFinder';
psOpts.InputRangeMode = 'DesignMinMax';

Чтобы задать опции анализа Polyspace, создайте файл опций. Файл опций - это текстовый файл, содержащий опции Polyspace в плоском списке, по одной строке для каждого параметра. Например, чтобы включить все средства проверки Bug Finder и правила кодирования AUTOSAR C++ 14, создайте текстовый файл с именемOptionFile.txt. В текстовом файле введите:

-checkers all
-autosarcpp14 all

См. раздел Параметры анализа в программе проверки кода Polyspace.

Запустите анализ Polyspace.

%  Locate options file
optionsPath = fullfile(userpath,'Options.txt');
% Run Polyspace analysis
[~,resultsFolder] = pslinkrunCrossRelease(model,psOpts,false,optionsPath);
bdclose(model);