评估使用时间一个时序逻辑ssessments
Hybrid systems with discrete and continuous time behavior can require complex timing-dependent signal logic.Simulink®Test™enables you to assess model timing and event ordering by authoring and including temporal assessments with test cases in the Test Manager.
To work with temporal assessments in the Test Manager:
Select an assessment template.
Enter the assessment conditions.
Map symbols to model elements, such as signals, time series, or constants.
View the assessment summary.
You can copy, paste, and delete assessments by selecting the summary and right-clicking to display the context menu or by using keyboard shortcuts. When you copy and paste an assessment, it is added to the end of the assessments. If you delete an assessment, you cannot paste it even if you copied it before deleting it.
Run the test case.
Use the results to assess the system under test (SUT) against your requirements.
For example, consider a forced oscillation damping problem that has this requirement:
For a signalS
, if the signal magnitude exceeds valueP
, then withind
seconds, it must settle below valueQ
and stay belowQ
foru
seconds.
创建一个时间评估
To create a temporal assessment:
Create or open a test case in the Test Manager.
Navigate to theLogical and Temporal AssessmentsEditor.
ClickAdd Assessment. These assessment templates are available:
Logical Assessment Templates
Bounds Check —Check maximum and minimum bounds for signals and expressions.
Custom —Check if a logical expression holds true for all time steps.
Temporal Assessment Template
Trigger-Response —Check for a signal response when a trigger is detected.
For this example, selectTrigger-Response.
The Trigger-Response template appears. To finish creating the assessment, you define temporal assessment conditions in the context of the SUT.
Define Temporal Assessment Conditions
A Trigger-response assessment requires a:
Trigger
parameterResponse
parameterOptional
Delay
parameter
For the forced oscillation damping problem:
Selectwhenever is trueas the trigger and enter
abs(S) > P
as thecondition
. The trigger condition is the condition pattern after which the response signal is evaluated. The response condition is triggered when the magnitude of signalS
exceeds valueP
.Selectmust stay true for at leastas the response and enter
abs(S) < Q
andu
as thecondition
andmin-time
respectively. The response condition describes the behavior of the SUT in response to the trigger condition. The response condition is that the magnitude of signalS
must settle below valueQ
and stay belowQ
for at leastu
seconds.Selectwith a delay of at mostas the delay type and set
d
as themax-time
parameter. The delay is an optional time interval that starts from a time reference parameter and continues to the point where the response condition is expected to be satisfied. The delay is at mostd
seconds.
All time units are seconds.
When you add a symbol as part of a temporal assessment parameter in theLogical and Temporal AssessmentsEditor, it is added to the list of symbols as an unresolved symbol. Resolve symbols by using theSymbolspane in the editor.
Resolve Assessment Parameter Symbols
To resolve a symbol, right-click the symbol. Two options are available:
Map to model element –Use the mapping dialog box to map symbols to a signal, parameter, or block in the SUT.
Select a symbol to map from the drop-down list at the top of the mapping dialog box.
After you finish mapping symbols to model elements, theSymbolspane displays metadata that corresponds to the model element.
Signals that are mapped to a symbol used by an assessment in the editor are logged when you run the test case.
If you map a bus or an array to a symbol, use theField/Elementrow in theSymbolspane to select a scalar signal from the bus or array. For example:
To map a symbol to a bus signal containing a bus element
fieldA
, enter.fieldA
.To map a symbol to the signal element that corresponds to index (5,5) in a signal array, enter
(5,5)
.To combine both expressions, enter
.fieldA(5,5)
.
Map to expression –Assign a scalar constant value or variable to a symbol.
When you selectMap to expression, you must enter an expression in theExpressionfield. The expression must be in MATLAB®code and evaluate to a scalar literal or a
timeseries
object. If the expression is long or complicated, you can use theAssessment Callbacksection to write MATLAB code that retrieves the model, test, and simulation data and assigns the data to variables, then assign the variable to the symbol expression. SeeDefine Variables in the Assessment Callback Sectionfor more information on defining variables.To retrieve data stored in workspace variables, use the
evalin
function. For example, to assign the workspace variablevar
to a symbol, enterevalin("base","var")
in the symbol expression directly, or enterv = evalin("base","var")
in theAssessment Callbacksection and enterv
in the symbol expression.Because the
t
symbol is automatically bound to the simulation time, you do not need to map it to an expression.t
is not visible in theSymbolspane.Tip
Entering
sig = sltest_simout.logsout.get('mySignal')
in theAssessment Callbacksection and usingMap to expressionto map a symbol to thesig
variable is equivalent to usingMap to model elementto map a symbol to themySignal
signal.
If you map a symbol to a discrete data signal that is linearly interpolated, the interpolation is automatically changed to zero-order hold during the assessment evaluation. Additionally, an information icon () appears next to the symbol name in theSymbolspane. Point to the icon and a tooltip appears which indicates that the linear interpolation was overridden.
Review the Temporal Assessment Summary
After you enter the assessment parameters, click the arrow to the left of the assessment description to view the assessment summary.
TheVisual Representationpane provides a graphical illustration of a passing case for the assessment.
View passing and failing cases for the assessment by clicking the Explore Patternicon. Select the type of case you want to view from the drop-down list and clickto view different passing and failing cases.
Evaluate the SUT
Run the test case to evaluate the SUT. Temporal assessments are evaluated after simulation by using logged signal data. Use the test case results to review the SUT against your requirements.
You can run test cases that contain logical or temporal assessments in multiple releases. For more information, seeAssess Temporal Logic in Multiple Releases.
View Assessment Results
View the results of the assessment evaluation from theResults and Artifactspane of the Test Manager. Select the test case and click the assessment in theResultstree to open a newAssessment Resulttab.Simulink Testevaluates the assessment and displays the expected behavior and the actual result of the assessment execution with a description of the assessment failures at different time steps.
Note
The assessment result figures cannot be exported to aSimulink Testreport.
Investigate the SUT behavior using theandbuttons and the textual descriptions at points of failure.
对于一个更详细的调查,扩大Expression Tree to view results for every individual element of the assessment.
Use the zoom, pan, and data cursor functionalities to analyze assessment evaluation results in the Expression Tree.
Link Temporal Assessments to Requirements
If you have aRequirements Toolbox™许可,你可以问好blish traceability between temporal assessments and requirements by linking assessments to requirements. To create links to requirements, select the assessment in theLogical and Temporal AssessmentsEditor and click theRequirementscolumn to open theRequirement Editordialog box. SeeLink to Requirementsfor more information.
See Also
sltest.testmanager.Assessment
|sltest.testmanager.AssessmentSymbol
|sltest.testmanager.TestCase