軟件測(cè)試的方法和技術(shù)

1、 入口 C(1)=C(1)+1 Q=X R=Y C(2)=C(2)+1 C(6)=C(6)+1 QR C(4)=C(4)+1 C(3)=C(3)+1 QR 出口 C(5)=C(5)+1 Q=QR R=RQ 圖3-3 插樁后求最大公約數(shù)程序的流程圖 procedure DIVIDE(NUM,DEN,E,Q) *E is the accuracy required.E0.Q is both * * the result at exit and at any interim stage. * *A.B and W are the other elements of the program vecto

2、r.* Q:=0 A:=0 B:=DEN/2 W:=1 until WE loop if(NUMAB)0 then Q:=Q+W/2 A:=A+B endif B:=B/2 W:=W/2 endloop end 圖3-5 計(jì)算非負(fù)數(shù)之商的迭代程序 procedure DIVIDE(NUM,DEN,E,Q) *E is the accuracy required.E0.Q is both * * the result at exit and at any interim stage. * *A.B and W are the other elements of the program vecto

3、r.* Q:=0 A:=0 B:=DEN/2 W:=1 K:=0 until WE loop assert W=1/2*K assert A=DEN*Q assert B=DEN*W/2 assert NUM/DEN WQ and QNUM/DEN if(NUM A B)0 then Q:=Q+W/2 A:=A+B endif B:=B/2 W:=W/2 K:=K+1 endloop assert NUM/DEN WQ and QNUM/DEN end 圖3-6 插入斷言后的迭代程序 T 開(kāi)始 x=0 (a) AND (b OR c) x=1 結(jié)束 F WHILE 循環(huán)結(jié)構(gòu) 順序結(jié)構(gòu) UNTI

4、L 循環(huán)結(jié)構(gòu) IF 選擇結(jié)構(gòu) CASE 多分支結(jié)構(gòu)選擇結(jié)構(gòu) 圖3-8 控制流圖的圖形符號(hào) R3 R2 R1 區(qū)域 （a）程序流程圖 ) 7 1 2 3 4 5 6 8 1（b）控制流圖 1 2 6 4 7 8 9 10 11 邊 結(jié)點(diǎn) R4 圖3-9 程序流程圖和對(duì)應(yīng)的控制流圖 表 3-6 等價(jià)類表示例 輸入條件 有效等價(jià)類 無(wú)效等價(jià)類 販 販 販 販 販 販 （a）恒等 E1 E1 （b）非 （c）或 E1 （d）與 E1 圖3-12 因果圖的基本符號(hào) 客戶 銀行系統(tǒng) ATM操作員 提款 轉(zhuǎn)賬 存款 系統(tǒng)啟動(dòng) 圖3-15 ATM流程示意圖 表 3-8 場(chǎng)景設(shè)計(jì) 場(chǎng)景 1成功提款 基本流 場(chǎng)景

5、 2ATM 內(nèi)沒(méi)有現(xiàn)金 基本流 備選流 2 場(chǎng)景 3ATM 內(nèi)現(xiàn)金不足 基本流 備選流 3 場(chǎng)景 4PIN 有誤（還有輸入機(jī)會(huì)） 基本流 備選流 4 場(chǎng)景 5PIN 有誤 （不再有輸入機(jī)會(huì)） 基本流 備選流 4 場(chǎng)景 6賬戶不存在/賬戶類型有誤 基本流 備選流 5 場(chǎng)景 7賬戶余額不足 基本流 備選流 6 注：為方便起見(jiàn)，備選流 3 和 6（場(chǎng)景 3 和 7）內(nèi)的循環(huán)以及循環(huán)組合未納入上表。 表 3-9 測(cè)試用例表 TC（測(cè)試用例）ID 號(hào) 場(chǎng)景/條件 PIN 賬號(hào) 輸入（或選擇）的金額 賬面 金額 ATM內(nèi)的金額 預(yù)期結(jié)果 CW1 場(chǎng)景 1：成功提款 V V V V V 成功提款 CW2 場(chǎng)

6、景 2： ATM 內(nèi)沒(méi)有現(xiàn)金 V V V V I 提款選項(xiàng)不可用，用例結(jié)束 CW3 場(chǎng)景 3： ATM 內(nèi)現(xiàn)金不足 V V V V I 警告消息，返回基本流步驟 6，輸入金額 CW4 場(chǎng)景 4：PIN 有誤（還有不止一次輸入機(jī)會(huì)） I V n/a V V 警告消息，返回基本流步驟 4，輸入 PIN CW5 場(chǎng)景 4：PIN 有誤（還有一次輸入機(jī)會(huì)） I V n/a V V 警告消息，返回基本流步驟 4，輸入 PIN CW6 場(chǎng)景 4：PIN 有誤（不再有輸入機(jī)會(huì)） I V n/a V V 警告消息， 卡予保留，用例結(jié)束 表 3-10 測(cè)試用例表 TC（測(cè)試用例）ID 號(hào) 場(chǎng)景/條件 PIN 賬

7、號(hào) 輸入（或選擇）的金額 （元） 賬面 金額（元） ATM內(nèi)的金額 （元） 預(yù)期結(jié)果 CW1 場(chǎng)景 1：成功提款 4987 809-498 50.00 500.00 2 000 成功提款。賬戶余額被更新為 450.00 CW2 場(chǎng)景 2： ATM 內(nèi)沒(méi)有現(xiàn)金 4987 809-498 100.00 500.00 0.00 提款選項(xiàng)不可用，用例結(jié)束 CW3 場(chǎng)景 3： ATM 內(nèi)現(xiàn)金不足 4987 809-498 100.00 500.00 70.00 警告消息，返回基本流步驟 6，輸入金額 CW4 場(chǎng)景 4：PIN 有誤（還有不止一次輸入機(jī)會(huì)） 4978 809-498 n/a 500.00

8、2 000 警告消息，返回基本流步驟 4，輸入 PIN CW5 場(chǎng)景 4：PIN 有誤（還有一次輸入機(jī)會(huì)） 4978 809-498 n/a 500.00 2 000 警告消息，返回基本流步驟 4，輸入 PIN CW6 場(chǎng)景 4：PIN 有誤（不再有輸入機(jī)會(huì)） 4978 809-498 n/a 500.00 2 000 警告消息， 卡予保留，用例結(jié)束 表 3-11 測(cè)試階段與測(cè)試用例關(guān)系列表 測(cè) 試 階 段 測(cè) 試 類 型 執(zhí) 行 人 員 單元測(cè)試 模塊功能測(cè)試，包含部分接口測(cè)試、路徑測(cè)試 開(kāi)發(fā)人員 集成測(cè)試 接口測(cè)試、路徑測(cè)試，含部分功能測(cè)試 開(kāi)發(fā)人員，如果測(cè)試人員水平較高可以由測(cè)試人員執(zhí)行

9、 系統(tǒng)測(cè)試 功能測(cè)試、健壯性測(cè)試、性能測(cè)試、用戶界面測(cè)試、安全性測(cè)試、壓力測(cè)試、可靠性測(cè)試、安裝/反安裝測(cè)試 測(cè)試人員 驗(yàn)收測(cè)試 對(duì)于實(shí)際項(xiàng)目基本同上，并包含文檔測(cè)試；對(duì)于軟件產(chǎn)品主要測(cè)試相關(guān)技術(shù)文檔 測(cè)試人員，可能包含用戶 表 3-12 測(cè)試用例編寫的時(shí)間安排 開(kāi) 發(fā) 階 段 依 據(jù) 文 檔 編寫的用例 需求分析結(jié)束后 需求文檔 系統(tǒng)測(cè)試對(duì)應(yīng)的用例 概要設(shè)計(jì)階段結(jié)束后 概要設(shè)計(jì)、 體系設(shè)計(jì) 集成測(cè)試對(duì)應(yīng)的用例 詳細(xì)設(shè)計(jì)階段 詳細(xì)設(shè)計(jì)文檔 單元測(cè)試對(duì)應(yīng)的用例 編號(hào)： 編制人 審定人 時(shí)間 軟件名稱 編號(hào)/版本 測(cè)試用例 用例編號(hào) 參考信息（參考的文檔及章節(jié)號(hào)或功能項(xiàng)）： 輸入說(shuō)明（列出選用的輸入項(xiàng)，列出預(yù)期輸出）： 輸出說(shuō)明（逐條與輸入項(xiàng)對(duì)應(yīng)，列出預(yù)期輸出）： 環(huán)境要求（測(cè)試要求的軟、硬件、網(wǎng)絡(luò)要求）： 特殊規(guī)程要求： 用例間的依賴關(guān)系： 用例產(chǎn)生的測(cè)試程序限制： 測(cè)試用例的編寫請(qǐng)參考表3-13。 表3-13測(cè)試用例 標(biāo)識(shí)符：計(jì)算器。 目的：本程序說(shuō)明描述執(zhí)行加法測(cè)試用例