Set design verifiers parameters programmatically

Question

Aditi Kanawade 2021-12-29

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1619075-set-design-verifiers-parameters-programmatically

评论： Devendra Bhave 2025-10-8，13:27

We have to set design verifiers 'MaxProcessTime' parameter programmatically so by using 'set_param' getting error like,

" block diagram does not have a parameter named 'MaxProcessTime'".

We have also tried sldvoptions but parameters are not reflecting in model.

Please provide effective solution for the same.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Pat Canny 2022-1-4

1
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1619075-set-design-verifiers-parameters-programmatically#answer_867740

在 MATLAB Online 中打开

Hi Aditi,

You should not use set_param to define the MaxProcess Time. The model itself has no parameter for this.

You should use sldvoptions within a call to sldvrun, like so:

sldvdemo_cruise_control
optsModel = sldvoptions(bdroot);
optsCopy = optsModel.deepCopy;
optsCopy.MaxProcessTime = 120;
[ status, files ] = sldvrun(bdroot, optsCopy);

2 个评论
显示无隐藏无

Aditi Kanawade 2022-1-5

Hello Pat,

For test generation and equivalence testing we are using "sltest.testmanager.createTestForComponent()", so we can not pass sldvoptions to this command for test generation.

Please suggest if there is any other way.

jarvis 2025-8-1

Hi Aditi

I have tried to configure DVMaxProcessTime through scripting

set_param(COV_MODEL_NAME, 'DVMaxProcessTime', 1200);

But I faced problem like block_diagram does not have a parameter named 'DVMaxProcessTime'

then I found design verifier option or design verifier app should open then

the properties for design verifier will come in configuration set

Then we can use

set_param(COV_MODEL_NAME, 'DVMaxProcessTime', 1200);

The above process -> opening design verifier option (how to perform this through programitically)

Design Verifier Pane --> in this doc there is no information regarding that

have u found out how to achieve that

请先登录，再进行评论。

Answer 2

Devendra Bhave 2022-2-9

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1619075-set-design-verifiers-parameters-programmatically#answer_892200

Use parameter DVMaxProcessTime to set maximum analysis time. You must save the model before calling sltest.testmanager.createTestForComponent() API.

Refer to Design Verifier Pane documentation for further information.

6 个评论
显示 4更早的评论隐藏 4更早的评论

jarvis 2025-10-7，10:47

Hi @Devendra Bhave

Thanks for your reply. What I'm try to say is I need to configure maximum process time of design verifier for a specific model in cfg panel. The reason is I'm running model coverage through simulink Test verifier (which means if I used sldvoption---> it will create one structured object in that I can change the MaxAnalysis Time then I can use the object to run design verifier for target model by using sldvrun(model, options) as you said but I'm not using that technique )

I need to change that property in cfg of model.

For that I found out API set_param(COV_MODEL_NAME, 'DVMaxProcessTime', 1200);

As I said before this option only visible in cfg pane only if Design verifier is opened in App window.

I will attach the snippet of my script

load_system(model_path)

COV_MODEL_NAME=[modelName '_cov'];

COV_MODEL_Subs=[COV_MODEL_NAME '/' modelName];

MODEL_Subs =[modelName '/' modelName];

try

sampletime = get_param(MODEL_Subs, 'Description');

catch

sampletime='0.001'

end

if ~bdIsLoaded(COV_MODEL_NAME)

new_system(COV_MODEL_NAME);

load_system(COV_MODEL_NAME);

end

starttime=0.0;

stoptime=10.0;

if str2double(sampletime) < 0.001

stoptime=2.00;

end

set_param(COV_MODEL_NAME, 'StartTime', num2str(starttime),'StopTime',num2str(stoptime),'SolverType','Fixed-step','Solver', 'FixedStepDiscrete', 'FixedStep',num2str(sampletime))

if isempty(find_system(MODEL_Subs, 'SearchDepth', 0))

error("There is no target subsytem is present with name of parent model name ")

end

try

add_block(MODEL_Subs,COV_MODEL_Subs);

set_param(COV_MODEL_Subs, 'TreatAsAtomicUnit', 'on');

save_system(COV_MODEL_NAME);

load_system(COV_MODEL_NAME);

catch ME

error("Problem in add block ",ME.message)

end

disp("Creating harness for target model and creating test file")

try

sltest.harness.create(COV_MODEL_Subs,Name='COV_HARNESS');

sltest.testmanager.clear;

testfileName=[COV_MODEL_NAME '_TestFile'];

testfile =sltest.testmanager.TestFile(testfileName);

testsuite = createTestSuite(testfile,'Test Suite');

testcase = createTestCase(testsuite,'baseline',[COV_MODEL_NAME '_testcase']);

catch ME

error("Problem while creating harness and test file for model coverage",ME.message)

end

try

tsDel = getTestSuiteByName(testfile, 'New Test Suite 1');

remove(tsDel);

catch

end

setProperty(testcase,'Model',COV_MODEL_NAME);

setProperty(testcase,'HarnessOwner',COV_MODEL_Subs,'HarnessName','COV_HARNESS');

% Enable coverage collection

cov = getCoverageSettings(testfile);

cov.RecordCoverage = true;

cov.MetricSettings = 'cd';

disp("Running default test casses with coverage enabled")

% Run the test

results = run(testfile);

try

% Get coverage results

cvdataArray = getCoverageResults(results);

for i = 1:numel(cvdataArray)

if contains(cvdataArray(i).modelinfo.analyzedModel, modelName)

cvdata = cvdataArray(i);

break;

end

% Add tests for missing coverage

testOpts = sltest.testmanager.TestOptions(testcase);

% --- Set Design Verifier Options ---

% Create Design Verifier options

sldvtimer(1)

opts = sldvoptions;

opts.MaxProcessTime = 600; % Increase max time to 20 minutes

disp("Add Test cases for missing coverage")

newTestCaseObj = sltest.testmanager.addTestsForMissingCoverage(testOpts, cvdata);

disp("Running addition test cases to incraese coverage")

ResultsObj = run(newTestCaseObj);

catch ME

error("Error occurred during adding missing coverage testcases", ME.message)

end

cvdata_final = getCoverageResults(ResultsObj);

for i = 1:numel(cvdataArray)

if contains(cvdata_final(i).modelinfo.analyzedModel, modelName)

cv_result = cvdata_final(i);

break;

end

disp("Model coverage completed .Converting result into html report")

cvhtml(fullfile(report_dest_dir, [modelName '_coverage.html']), cv_result);

catch ME

delete_cache('scv_images',3);

delete_cache('slcov_output',3);

delete_cache('sldv_output',3);

delete_cache('slprj',3);

delete('*.slxc','*.xml','*.slx','*.mexw64', '*.html', '*.mldatx','*.slx.autosave');

bdclose('all');

sltest.testmanager.clear; % Clears the test manager

sltest.testmanager.clearResults; % Clears test results

sltest.testmanager.close; % Closes test manager UI

error('Problem in Model coverage',ME.message);

end

try

delete_cache('scv_images',3);

delete_cache('slcov_output',3);

delete_cache('sldv_output',3);

delete_cache('slprj',3);

delete('*.slxc','*.xml','*.slx','*.mexw64', '*.html', '*.mldatx','*.slx.autosave');

bdclose('all');

sltest.testmanager.clear; % Clears the test manager

sltest.testmanager.clearResults; % Clears test results

sltest.testmanager.close; % Closes test manager UI

catch ME

error("Problem while try to clear workspace(deleting catch files):%s",Me.message)

end

jarvis 2025-10-8，12:26

编辑：jarvis 2025-10-8，12:30

Thanks @Devendra Bhave

Its working. I can able to change Max process time.

I need some more help

While running above script which I have shared before for complex model (its has lot of LUTs and few extern variables) I'm facing error at the command

newTestCaseObj = sltest.testmanager.addTestsForMissingCoverage(testOpts, cvdata);

Errror: Problem facing while adding test case for missing coverage

What might be the reason for this ?

My assumption is due to increasein max process time its try to add different test cases in order to achieve higher coverage, while doing that its faced error. If Yes means How to solve this problem. Or How efficiently utilize design verifier

Devendra Bhave 2025-10-8，13:27

It is hard to answer definitively about this issue based on the above description.

Try Simulink Test Add Missing Coverage workflow with user interface (UI). This will open the Design Verifier UI, show analysis progress, and display any errors. A Design Verifier analysis timeout is usually not a serious error.

Contact MathWorks technical support for further assistance.

请先登录，再进行评论。

Set design verifiers parameters programmatically

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

回答（2 个）

2 个评论
显示无隐藏无

6 个评论
显示 4更早的评论隐藏 4更早的评论

另请参阅

类别

标签

Community Treasure Hunt

Set design verifiers parameters programmatically

0 个评论 显示 -2更早的评论隐藏 -2更早的评论

回答（2 个）

2 个评论 显示 无隐藏 无

6 个评论 显示 4更早的评论隐藏 4更早的评论

另请参阅

类别

标签

Community Treasure Hunt

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

2 个评论
显示无隐藏无

6 个评论
显示 4更早的评论隐藏 4更早的评论