10
© 2003 John D. McGregor
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