| Tests from
OCL |
|
|
|
|
|
|
|
|
| Test
cases must establish the pre-conditions |
|||||||
| Test
cases are developed using the specified |
|||||||
| outcomes
in the post-condition |
|||||||
| Puck
PuckSupply::getPuck() |
|||||||
| pre: true |
|||||||
| post: result =
pucks->asSequence->first and
size = |
|||||||
| size@pre - 1 |
|||||||
