Icon class icon_class fas fa-quote-left icon_class_computed fas fa-quote-left Related content Figure 16-6: Linkage of a Test Case to a requirement (and Figure 16-7) TestCase and Verify metamodel TestCase and Verify example - callout style Source OMG Systems Modeling Language (SysML) 1.6 Copyright information About Object Management Group copyright in text extracts quoted from OMG specifications for educational purposes Snippet kind CONSTRAINT UML keywords UML Testing Profile SysML keywords TestCase Requirement VerdictKind VerdictKind::pass VerdictKind::fail VerdictKind::inconclusive VerdictKind::error Keywords requirements engineering test engineering Previous snippet Full quote 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). (self.base_Behavior->notEmpty() implies self.base_Behavior.ownedParameter->exists(p | p.direction=UML::ParameterDirectionKind::return and p.type = VerdictKind )) and (self.base_Operation->notEmpty() implies self.base_Operation.ownedParameter->exists(p | p.direction=UML::ParameterDirectionKind::return and p.type = VerdictKind )) Next snippet Related snippets A test case is a method for verifying a requirement is satisfied. Related snippets (backlinks) Visit also Visit also (backlinks) Flags
