27. Reactis API Names#
27.1. Coverage Metric Names#
Names of the coverage metrics tracked by Reactis.
Name |
Metric |
|---|---|
Subsystem |
Conditional Subsystems. |
Branch |
Branches in Simulink blocks. |
State |
Stateflow States. |
ConditionAction |
Stateflow Condition Actions. |
TransitionAction |
Stateflow Transition Actions. |
CSEPT |
Child State Exit via Parent Transition |
Condition |
Stateflow/Simulink/C Conditions. |
Decision |
Stateflow/Simulink/C Decisions. |
MCDC |
Modified condition/decision coverage. |
MCC |
Multiple condition coverage. |
Boundary |
Input boundary values. |
LookupDetail |
Lookup table coverage. |
CStatement |
C statements. |
CFunction |
C functions. |
CFunctionCall |
C function calls. |
EmlStatement |
Embedded MATLAB statements. |
Interval |
Output and Test Point intervals. |
UserTarget |
User-Defined targets. |
27.2. Assertion Category Names#
Names of the assertion categories tracked by Reactis.
Name |
Category |
|---|---|
Assertion |
User-Defined assertions. |
AssertionExclude |
Excluded target asertions |
AssertionIndexing |
Indexing assertions |
AssertionIntOverflow |
Integer overflow assertions |
AssertionIntDivZero |
Integer division-by-zero assertions |
AssertionFloatInfNan |
Inf/Nan assertions |