MATLAB SIMULINK VERIFICATION AND VALIDATION - S Uživatelská příručka stáhnout pdf (Strana 511)

100

101

Filter Model Objects to Refine Coverage Results

20-21

Exclude the Switchable config subsystem from coverage.

In the Simulink Editor, right-click the Switchable config subsystem.

Select Coverage > Exclude subsystem with all descendants.

Click in the Rationale field for this new rule and enter text for excluding this

transition, for example, Never executed.

Save this rule to the current filter. Click Apply.

Simulate the model again and review the results.

The Filtered Blocks section of the report lists the Switchable config subsystem. No

coverage is recorded for the subsystem.

Filter a Specific Block

In the slvnvdemo_covfilt model, the rate signal can never be less than or equal to 0,

which is the value of the Lower limit parameter of the Saturation block. This condition

leads to missing coverage.

Exclude the Saturation block from coverage.

In the Simulink Editor, right-click the Saturation block.

Select Coverage > Exclude this block.

Click in the Rationale field for this new rule and enter text for excluding this

transition, for example, Input never <= lower limit (0).

Save this rule to the current filter. Click Apply.

Simulate the model again and review the results.

The Filtered Blocks section of the report lists the Saturation block. Coverage for

that block is omitted from the report.

1 2 ... 506 507 508 509 510 511 512 513 514 515 516 ... 673 674

Komentáře k této Příručce

Žádné komentáře

MATLAB SIMULINK VERIFICATION AND VALIDATION - S Uživatelská příručka Strana 511

Komentáře k této Příručce

Související produkty a manuály pro Software MATLAB SIMULINK VERIFICATION AND VALIDATION - S