Prev | Current Page 428 | Next

Tim Weilkiens

"Systems Engineering with SysML/UML: Modeling, Analysis, Design"


It is a stereotype ?«verify?» as a specialization of the UML stereotype ?«trace?».
The test model normally defi nes a large number of test cases that test whether or
not the requirements are correctly implemented by the system. The verify relationship
describes which test case tests which requirement.
It is denoted as a dashed arrow with the stereotype ?«verify?» . The arrow points
in the direction from the test case to the requirement ( Figure 4.13 ).
The callout notation, which is valid for almost all relationships between
requirements, allows you to use an alternative notation to show that an element
participates in a verify relationship. Figure 4.14 shows the same scenario from
Figure 4.13 in this alternative notation. This notation allows you to represent the
verify relationship without the need to use the arrow to all participating elements
(i.e., you don ??™ t have to show all participating elements in the diagram).
The verify relationship doesn ??™ t say anything about the completeness of the test
case with regard to the requirement.


Pages:
416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440