【IT168 技术文章】

    需求－用例增量

    增量1：支票和储蓄账户的存款和取款  

    增量2：查询和转账

    增量3：透支

    每个增量内进行迭代：乐观的，正常的，悲观的

    需求用例规约：名称，触发器，输入参数，输出返回值，出现的前置条件/异常，出现的（raised）后置条件/异常，基本的/乐观场景，替代性可选的/悲观的场景，业务规则，测试实例。

    WithdrawFromCheckingAccount用例的用例规约

    用例名：WithdrawFromCheckingAccount

    触发器： WithdrawFromCheckingAccount

    输入参数： sAcctNum, nWithdraw

    输出返回值： sText

    前置条件： ValidAccount = true and nWithdraw <= nCurrentBalance

    出现的前置条件异常： 待定的

    描述/转换： nCurrentBalance = nCurrentBalance - nWithdraw

    后置条件： nCurrentBalance < nOldBalance

    后置条件异常：无

    相关用例： Generalization, Includes, Extends/Extension Point： 无

    基本场景/乐观场景： Text(文本) - 待定；Diagram（图） -见 WithdrawFromCheckingAccount乐观场景顺序图

    替代性可选场景/被动场景：Text -待定；Diagram -见WithdrawFromCheckingAccount 活动图

    业务规则： ValidAccountRule, AdequateBalanceRule

    测试实例：1 - 乐观的：输入： sAcctNum - BGates001, nWithdraw - 100, nCurrentBalance - 1000 Conditions： None, 输出："BGates001 withdraw $100 OK and recorded"；2 ...待定