Откройте модель 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. Чтобы запустить анализ Bug Finder, установите 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 (Simulink).

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

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

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

Чтобы задать опции анализа Polyspace, используйте pslinkoptions объект. Создайте этот объект с помощью функции pslinkoptions. Чтобы запустить анализ Bug Finder, установите 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. Чтобы запустить анализ Bug Finder, установите 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 Code Prover.

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

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