第12章面向对象实现.pptVIP

12.3.4.2.1 多类测试（2） (1)Bank类相对于ATM类的操作序列为： verifyAcct - verifyPIN - [(verifyPolicy - withdrawReq) | depositReq | acctInfoReq]n 对Bank类的随机测试用例可能是： verifyAcct - verifyPIN - depositReq (2)考虑协作类。 Bank必须和ValidationInfo协作以执行verifyAcct和verifyPIN。 Bank必须和Account协作以执行depositReq。 测试这些协作的新的测试用例是： verifyAcctBank - [validAcctValidationInfo] - verifyPINBank - [validPINValidationInfo] - depositReq - [depositaccount] ※ 第12章 面向对象实现 ※ * ※ 第12章 面向对象实现 ※ * 12.3.4.2.2 从动态模型导出测试用例 动态模型的重要图形工具是类的状态图，基于状态图可以导出测试该类的动态行为的测试用例。 实例：account类的状态图如下图所示，测试用例应该覆盖所有状态，可能是： 测试用例1：open - setupAccnt - deposit(initial)