sltest.getAssessments

Returns test assessment set object

Description

as = sltest.getAssessments(model) returns as, an sltest.AssessmentSet from assessments in model. Simulate the model before getting the assessment results.

as includes results from:

  • verify statements

  • Blocks in the Model Verification library

Examples

collapse all

This example shows how to simulate a model with verify statements and obtain assessment results via the programmatic interface.

Get the Assessment Set and One Assessment Result

1. Open the model.

open_system(fullfile(matlabroot,'examples','simulinktest',...
    'sltestRollRefTestExample.slx'))

% Turn the command line warning off for verify() statements
warning off Stateflow:Runtime:TestVerificationFailed

2. Run the model.

s = sim('sltestRollRefTestExample');

3. Get the assessment set.

as = sltest.getAssessments('sltestRollRefTestExample');

4. Get assessment 3 from the assessment set.

as3 = get(as,3);

Display Results of the Assessment Set and Assessment Result

1. Get summary of the assessment set.

asSummary = getSummary(as)
asSummary = 

  struct with fields:

       Total: 6
    Untested: 3
      Passed: 2
      Failed: 1
      Result: Fail

2. Display the result of assessment 3.

disp(as3)
  sltest.Assessment
  Package: sltest

  Properties:
         Name: 'Simulink:verify_high'
    BlockPath: [1x1 Simulink.SimulationData.BlockPath]
       Values: [1x1 timeseries]
       Result: Untested

3. Find untested or failed results in the assessment set.

asFailUntested = find(as,'Result',slTestResult.Fail,'-or',...
    'Result',slTestResult.Untested)
asFailUntested = 

  sltest.AssessmentSet
  Summary:
       Total: 4
    Untested: 3
      Passed: 0
      Failed: 1
      Result: Fail


  Untested Assessments (first 10):
    1 : Untested 'Simulink:verifyTKNormal'
    2 : Untested 'Simulink:verifyTKLow'
    3 : Untested 'Simulink:verify_high'

  Failed Assessments (first 10):
    4 : Fail 'Simulink:verify_high'

4. Find assessments under the Test Assessment block, using a regular expression.

assessBlock = find(as,'-regexp','BlockPath','.[Aa]ssess')
assessBlock = 

  sltest.AssessmentSet
  Summary:
       Total: 6
    Untested: 3
      Passed: 2
      Failed: 1
      Result: Fail


  Untested Assessments (first 10):
    1 : Untested 'Simulink:verifyTKNormal'
    2 : Untested 'Simulink:verifyTKLow'
    3 : Untested 'Simulink:verify_high'

  Passed Assessments (first 10):
    5 : Pass 'Simulink:verify_low'
    6 : Pass 'Simulink:verify_normal'

  Failed Assessments (first 10):
    4 : Fail 'Simulink:verify_high'

Re-enable warnings

warning on Stateflow:Runtime:TestVerificationFailed

Introduced in R2016b