This website is preserved for historical and scholarly reference and is no longer actively maintained.
Tests from UML
Tests
are sequenced to “cover” the transitions
numberLeft = maxNumberPucks
New PuckSupply()
getPuck()
numberLeft >=1
getPuck()
getPuck()
numberLeft = 0