Откройте модель 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 к истине.

% 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 и C++ AUTOSAR 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);