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