TestCase and Verify example - callout style Gallery Tutorial TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo Section 16:01: Requirements engineering in SysML Slide kind SysML Block Definition Diagram (BDD)
TestCase and Verify metamodel Gallery Tutorial TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo Section 16:01: Requirements engineering in SysML Slide kind UML diagram UML Profile Diagram
TestCase::1_return_verdictkind The type of return parameter of the stereotyped model element shall be VerdictKind. (note this is consistent with the UML Testing Profile). Source OMG Systems Modeling Language (SysML) 1.6
A test case is a method for verifying a requirement is satisfied. Source OMG Systems Modeling Language (SysML) 1.6