网络软件的系统测试工程.ppt

测试类和方法 （3）基于故障的测试(fault_based testing) 与测试传统软件时采用的错误推测法类似. 面向对象的集成测试 (类间测试用例的设计) 在OO系统的集成开始时, 开始类间的 协作测试. 和单个类的测试一样, 类协作测试可 通过随机和划分方法以及基于场景的测试 和行为测试来完成. ATM Bank 银行系统的类协作图 ATM User Interface Account Cashier verifyAcct verifyPIN verifyPolicy withdrawReq depositReq acctInfoReq cardInserted password deposit withdraw accentStatus terminate validPIN validAcct creditLimit accentType balance withdraw deposit close openAcct initialDeposit authorize Card deuthorize closeAcct Validation Info verifyStatus depositStatus dispense Case printAccent Stat readCardInfo getCaseAmnt OO集成测试方法 （1）多个类测试 Kirani,S.and W.T.Tsai,在“Specification and Verification of Object-Oriented Programs” 中建议了下面的步骤序列以生成多个类随机测试用例: 1.对每个客户类,使用类操作列表来生成一系列随机测试序列,这些操作发送消息给服务器类; 2.对生成的每个消息,确定在服务器对象中的协作者类和对应的操作; 3.对服务器对象中的每个操作(已经被来自客户对象的消息调用),确定传递的消息; 4.对每个消息,确定下一层被调用的操作,并把这些操作结合进测试序列中. ATM Bank 银行系统的类协作图 ATM User Interface Account Cashier verifyAcct verifyPIN verifyPolicy withdrawReq depositReq acctInfoReq cardInserted password deposit withdraw accentStatus terminate validPIN validAcct creditLimit accentType balance withdraw deposit close openAcct initialDeposit authorize Card deuthorize closeAcct Validation Info verifyStatus depositStatus dispense Case printAccent Stat readCardInfo getCaseAmnt 银行系统中Bank类和ATM类的操作序列: verifyAcct ? verifyPIN ? [[verifyPolicy ? withdrawReq] | depositReq | acctInfoReq]n 对Bank类的随机测试用例可能是: 测试用例r3: verifyAcct ? verifyPIN ? depositReq 为了考虑测试中涉及的协作者,需要考虑与测试用例r3中 每个操作相关联的消息: Bank必须和ValidationInfo协作以执行verifyAcct和verifyPIN Bank还必须和Account协作以执行depositReq 因此,测试这些协作的新的测试用例是: 测试用例r4:verifyAcctBank? [validAcctValidationInfo] ? verifyPINBank ? [validPINValidationInfo] ? depositReq ? [depositAccount] OO集成测试方法 （2）从动态模型导出测试用例 设计的测试用例应达到完全的状态覆盖,即操作序列应导致account类的变迁穿越所有允许的状态: 测试用例s1: open?setupAccent ?deposit(initial) ? withdraw(final) ?close(最小测试序列) 向最小序列中加入附加的测试序列,例如: 测试用例s2:open?setupAccent ?deposit(initial) ?