模拟数字式微波炉应用程序 第6页

4.4.1契约CO1：openDoor
契约CO1：openDoor
操作： openDoor()
交叉引用：  用例：用户利用微波炉烹饪
前置条件：
 微波炉进行了初始化。
创建了Light的实例light。
创建了Door的实例door。
创建了PowerTube的实例powerTube。
创建了Timer的实例timer。
创建了Display的实例display。
display被关联到powerTube。
light被关联到door。
powerTube被关联到door。
timer被关联到door。
door.isOpen被赋值为false。
timer.isReady被赋值为true。
后置条件：
 door.isOpen被赋值为true。
light.isOn被赋值为true。
powerTube.isOn 被赋值为false。
timer.isReady被赋值为false。
display.isPowerTubeOn被赋值为false。

4.4.2契约CO2：closeDoor
契约CO2：closeDoor
操作： closeDoor()
交叉引用： 用例：用户利用微波炉烹饪
前置条件： 微波炉进行了初始化。
创建了Light的实例light。
创建了Door的实例door。
创建了PowerTube的实例powerTube。
创建了Timer的实例timer。
light被关联到door。
powerTube被关联到door。
timer被关联到door。
door.isOpen赋值为true
timer.isReady被赋值为false。
light.isOn被赋值为true。
powerTube.isOn 被赋值为false。
timer.isReady被赋值为false。
后置条件： door.isOpen被赋值为false。
timer.isReady被赋值为true。

4.4.3契约CO3：pressTimeSetButton
契约CO3：pressTimeSetButton
操作： pressTimeSetButton()
交叉引用： 用例：用户利用微波炉进行烹饪
前置条件： 微波炉进行了初始化。
创建了Beeper的实例beeper。
创建了TimeSetButton的实例timeSetButton。
创建了Timer的实例timer。
创建了Display的实例display。
display被关联到timer。
beeper被关联到timeSetButton
timer被关联到timeSetButton
后置条件： timer.timeRemaining被赋值为相应的秒数。
display.timeRemaining被赋值为相应的秒数。

4.4.4契约CO4：pressStartContinueButton
契约CO4：pressStartContinueButton
操作： pressStartContinueButton()
交叉引用： 用例：用户利用微波炉进行烹饪
前置条件： 微波炉进行了初始化。
创建了Beeper的实例beeper。
创建了StartContinueButton的实例startContinueButton。
创建了Timer的实例timer。
创建了PowerTube的实例powerTube。
创建了Light的实例light。
创建了Display的实例display。
display被关联到timer。
beeper被关联到StartContinueButton
timer被关联到StartContinueButton
light被关联到timer。
powerTube被关联到timer。
powerTube.isOn 被赋值为false。
后置条件： timer.isOn被赋值为true。
timer.isSuspend被赋值为false。
light.isOn 被赋值为true。
powerTube.isOn被赋值为true。
display.isPowerTubeOn被赋值为true。
4.4.5契约CO5：pressStopPauseButton
契约CO5：pressStopPauseButton
操作： pressStopPauseButton()
交叉引用： 用例：用户利用微波炉进行烹饪
前置条件： 微波炉进行了初始化。
创建了Beeper的实例beeper。
创建了StopPauseButton的实例stopPauseButton。
创建了Timer的实例timer。
创建了PowerTube的实例powerTube。
创建了Light的实例light。
创建了Display的实例display。
display被关联到timer。
beeper被关联到StartContinueButton
timer被关联到StartContinueButton
light被关联到timer。
powerTube被关联到timer。
后置条件： powerTube.isOn被赋值为false。
display.isPowerTubeOn被赋值为false。

上一页  [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]  ... 下一页  >>