Books for you

Similarly to the satisfy relationship, you can use
a comment or stereotype to add this information. You could actually use several source
and target elements, but this normally fails due to the modeling tool in practice.
235
4.3.7 Test Case
FIGURE 4-14
Alternative notation for verify relationships.
3 SysML/UML allows you to define behavior in an arbitrary language (e.g., a programming
language) or a natural language, such as English or German. Free behavior is formally called
OpaqueBehavior [61].
4.3 The Requirement Diagram
req [package] Test [alternative notation customer identification]
?«testCase?»
IdentifyCustomerTest
?«functionalRequirement?»
Car usage without staff
Verifies
?«requirement?»
Car rental without staff
VerifiedBy
?«testCase?»
IdentifyCustomerTest
Defi nition
A test case is a flow that checks whether or not the system satisfies a
requirement.
It is a stereotype ?«testCase?» of the UML elements operation and behavior.
SysML does not offer any model elements to build an extensive test model.
Extensive test models can be built with the UML Testing Profi le [53].


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