【IT168 技术文章】

    设计CheckingAccount类withdraw()操作的操作规约

    用例名： withdraw   

    触发：withdraw

    输入参数： nWithdraw ： int

    输出返回值： boolean

    前置条件： nWithdraw <= nCurrentBalance

    出现的前置条件/异常： exInsuffientFunds

    描述/转换： nCurrentBalance = nCurrentBalance - nWithdraw

    后置条件： nCurrentBalance < priorCurrentBalance

    后置条件异常： exIncorrectBalance

    基本/乐观场景 ：见WithdrawFromCheckingAccount 顺序图

    替代性场景/悲观场景：见WithdrawFromCheckingAccount 活动图

    业务规则：ValidAccountRule, AdequateBalanceRule

    设计异常类（exception classes）异常超类(操作：Exception()/Exception(string)；异常子类：exInsufiicientFunds [操作 ：exInsufiicientFunds（）、exInsufiicientFunds（string）]；exIncorrectBalance[操作：exIncorrectBalance()、exIncorrectBalance(string)]。

    设计 CheckingAccount 类的状态图