Books for you

The relation??”the
test model verifi es the requirements to the system??”is modeled explicitly. To this
FIGURE 2-89
Two access system variants, customer card and cell phone.
pkg On-board computer [access system variant]
Core
Cell phone variant Customer card variant
?«system?»
On-board computer
values
cost:USD
time:personday
structure
?«system?»
On-board computer
:Card reader
:On-board computer
control
values
cost:USD
time:personday
structure
?«system?»
On-board computer
:Communication
unit
:On-board computer
control
133 2.8 Marginal Notes
end, SysML has a verify relationship that allows you to connect a test case with a
requirement to be verifi ed ( Figure 2.91 ).
Part of a test specifi cation is a description of the test environment. The
internal block diagram is a suitable form for this description. You can see in
Figure 2.92 that values have been assigned to some of the block attributes. For
example, the ID describes the concrete block that has to be used in this test environment.
Together with these values, the blocks deviate from their original defi nition.


Pages:
263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287