PropertyTGBA_Requirement (Model)

Attributes

Attribute name Description
Acceptance_Condition

Remarks

Aspects

All: AggregatePort, DesignContainer, DesignElement, TestBench, TestBenchType, Workflow
TBRequirementsAspect: TestBench

Containment

Children: RequirementParameter, VTC_BusPortInterface, VTC_Signal, VTC_SignalPort, VTC_SignalPort_Ref, VTC_State, VTC_Transition
Parents: TestBench

Formal Specification

Structural Semantics: CyPhyML.4ml