第6講集成測試-系統(tǒng)測試

集成測試基于分解的集成基于調(diào)用圖的集成基于路徑的集成案例集成測試基于分解的集成基于調(diào)用圖的集成基于路徑的集成案例基于分解的集成目標(biāo)是測試通過單元測試的單元接口4種基本策略自頂向下自底向上三明治大爆炸基于分解的集成自頂向下集成從主程序開始下層模塊作為“樁”模塊樁（stub）：也稱存根，模擬被測模塊所調(diào)用的模塊示例ProcedureGetPINforPAN(PAN,ExpectedPIN)IfPAN=‘1123’ThenPIN:=‘8876’IfPAN=‘1234’ThenPIN:=‘8765’IfPAN=‘8746’ThenPIN:=‘1253’EndProcedureKeySensor(KeyHit)Data:KeyStrokesSTACKOF‘8’.‘8’.‘7’.’cancel’KeyHit=POP(KeyStrokes)End基于分解的集成基于分解的集成自底向上集成從葉節(jié)點模塊開始上層模塊作為“驅(qū)動模塊”驅(qū)動（Driver）模擬被測模塊的上級模塊接受測試數(shù)據(jù)，把相關(guān)數(shù)據(jù)傳送給被測模塊啟動被測模塊基于分解的集成基于分解的集成三明治集成自頂向下和自底向上集成的組合樁和驅(qū)動器的開發(fā)工作較少基于分解的集成大爆炸集成將所有單元放到一起編譯并進行一次性測試當(dāng)發(fā)現(xiàn)失效或者錯誤時，很難確定缺陷的位置集成測試基于分解的集成基于調(diào)用圖的集成基于路徑的集成案例基于調(diào)用圖的集成以調(diào)用圖為基礎(chǔ)2種基本策略成對集成相鄰集成基于調(diào)用圖的集成成對集成

調(diào)用圖的每條邊對應(yīng)一次集成，降低樁/驅(qū)動器的開發(fā)量基于調(diào)用圖的集成相鄰集成

以節(jié)點的鄰居（直接前驅(qū)和所有直接后繼）為基礎(chǔ)進行集成集成測試基于分解的集成基于調(diào)用圖的集成基于路徑的集成案例集成測試的修訂目標(biāo)不僅測試單元間的接口，而且測試單元間的交互接口是結(jié)構(gòu)性的，而交互是行為性的基于MM-路徑的集成方法由PaulC.Jorgensen提出MM-路徑：模塊執(zhí)行路徑與消息的交互序列基于路徑的集成基于路徑的集成源節(jié)點單元中的第一個可執(zhí)行語句緊接著轉(zhuǎn)移控制到其它單元節(jié)點之后的節(jié)點

源節(jié)點A：1,5B：1,3C：1基于路徑的集成源節(jié)點A：1,5B：1,3C：1匯節(jié)點單元中的最后一個可執(zhí)行語句轉(zhuǎn)移控制到其它單元的節(jié)點匯節(jié)點A：4,6B：2,4C：5基于路徑的集成源節(jié)點A：1,5B：1,3C：1匯節(jié)點A：4,6B：2,4C：5執(zhí)行路徑以源節(jié)點開始，以匯節(jié)點結(jié)束的一系列語句中間沒有插入?yún)R節(jié)點執(zhí)行路徑MEP(A,1):<1,2,3,6>MEP(A,2):<1,2,4>MEP(A,3):<5,6>MEP(B,1):<1,2>MEP(B,2):<3,4>MEP(C,1):<1,2,4,5>MEP(C,2):<1,3,4,5>基于路徑的集成MM-路徑

一種有向圖，節(jié)點表示模塊的執(zhí)行路徑，邊表示消息或模塊間的返回2023/2/1上海大學(xué)計算機學(xué)院19基于路徑的集成2023/2/1上海大學(xué)計算機學(xué)院20MEP(A,2)MEP(B,1)MEP(C,1)MEP(B,2)MEP(A,3)MEP(C,2)MEP(A,1)執(zhí)行路徑MEP(A,1):<1,2,3,6>MEP(A,2):<1,2,4>MEP(A,3):<5,6>MEP(B,1):<1,2>MEP(B,2):<3,4>MEP(C,1):<1,2,4,5>MEP(C,2):<1,3,4,5>系統(tǒng)測試2023/2/1上海大學(xué)計算機學(xué)院21系統(tǒng)測試基本概念線索尋找線索線索測試策略示例：SATM2023/2/1上海大學(xué)計算機學(xué)院22基本概念傳統(tǒng)的集成注重測試接口連接原理性的，依賴特定程序結(jié)構(gòu)端到端(EndtoEnd,E2E)集成從最終用戶角度，對系統(tǒng)進行功能測試假設(shè)單元測試和集成測試已完成獨立于開發(fā)過程和特定程序結(jié)構(gòu)系統(tǒng)測試基本概念線索尋找線索線索測試策略SATM2023/2/1上海大學(xué)計算機學(xué)院24線索常用的一些定義使用場景一個系統(tǒng)級的測試用例端口輸入和輸出的交替序列系統(tǒng)狀態(tài)機中的一個遷移序列對象消息和方法執(zhí)行的交替序列原子系統(tǒng)功能(AtomicSystemFunction,ASF)序列線索原子系統(tǒng)功能(ASF)系統(tǒng)層通過端口輸入和輸出事件可觀察的動作，由事件靜止點隔離由端口輸入事件發(fā)起、遍歷一些程序?qū)崿F(xiàn)邏輯、以一個端口輸出事件結(jié)束線索ASF圖一種有向圖，節(jié)點表示ASF，邊表示從ASF到ASF的串行流。源節(jié)點為入口ASF，匯節(jié)點為退出節(jié)點如：“卡輸入”為源節(jié)點，“會話結(jié)束”為匯節(jié)點系統(tǒng)線索ASF圖中一條從源節(jié)點到匯節(jié)點的路徑系統(tǒng)線索圖一種有向圖，節(jié)點為系統(tǒng)線索，邊為線索的順序執(zhí)行系統(tǒng)測試基本概念線索尋找線索線索測試策略SATM2023/2/1上海大學(xué)計算機學(xué)院28尋找線索行為模型合適的模型不能太弱，以致沒有表達重要行為不能太強，以致掩蓋感興趣的行為有窮狀態(tài)機（FSM）Petri網(wǎng)并發(fā)系統(tǒng)可用于分析線索交互2023/2/1上海大學(xué)計算機學(xué)院29尋找線索在FSM中尋找線索建立FSM遷移由端口輸入事件引起，動作為端口輸出事件（ASF）FSM可以分層，低層為子FSM，可用于多個語境線索為遷移路徑關(guān)注路徑上的輸入事件、輸出事件2023/2/1上海大學(xué)計算機學(xué)院30SATM系統(tǒng)2023/2/1上海大學(xué)計算機學(xué)院31歡迎!請插入ATM卡現(xiàn)金給付通道存款信封通道收據(jù)槽插卡槽B1B2B31230456789取消SATM終端SATM系統(tǒng)2023/2/1上海大學(xué)計算機學(xué)院32S2輸入PIN“取消”S3PIN錯請重新輸入S4PIN無效您的卡被留下，請聯(lián)系銀行S1歡迎!請插入ATM卡S5選擇事務(wù)類型余額存款取款取消SATM屏幕SiSATM系統(tǒng)2023/2/1上海大學(xué)計算機學(xué)院331.空閑3.事務(wù)選擇2.等待PIN壞卡/顯示S1，退卡PIN無效/顯示S4,顯示S1有效卡/顯示S2PIN正確/顯示S5取消/顯示S1B1B2B3SAMT的上層狀態(tài)機………/顯示S1SATM系統(tǒng)2023/2/1上海大學(xué)計算機學(xué)院341.空閑2.1第1次輸入PIN3.事務(wù)選擇有效卡/顯示S2PIN正確/顯示S5PIN輸入狀態(tài)機2.2第2次輸入PIN2.3第3次輸入PINPIN正確/顯示S5PIN正確/顯示S5PIN錯或已取消/顯示S3，再顯示S2卡錯/顯示S1，退卡PIN錯或已取消/顯示S4,再顯示S1PIN錯或已取消/顯示S3，再顯示S2尋找線索2023/2/1上海大學(xué)計算機學(xué)院35端口輸入事件有效卡卡錯PIN正確PIN錯取消“PIN輸入”中的事件端口輸出事件顯示S1顯示S2顯示S3顯示S4顯示S5尋找線索2023/2/1上海大學(xué)計算機學(xué)院362.x.6按下“取消”2.x.1收到0數(shù)字2.x.2收到1個數(shù)字2.x.3收到2個數(shù)字2.x.4收到3個數(shù)字2.x.5收到4個數(shù)字X7取消X8取消X9取消X10取消數(shù)字/回顯“*___”x1數(shù)字/回顯“**__”x2數(shù)字/回顯“***_”x3數(shù)字/回顯“****”x4PIN正確x5PIN錯x6X11已取消“第x次輸入PIN”FSM，x{1,2,3}尋找線索2023/2/1上海大學(xué)計算機學(xué)院37端口輸入事件數(shù)字取消“第x次輸入PIN”中的事件端口輸出事件回顯“*___”回顯“**__”回顯“***_”回顯“****”尋找線索2023/2/1上海大學(xué)計算機學(xué)院38端口輸入端口輸出屏幕2顯示“____”按下“1”回顯“*___”按下“2”回顯“**__”按下“3”回顯“***_”按下“4”回顯“****”（PIN正確）顯示屏幕5“選擇事務(wù)類型”FSM中的線索為遷移路徑，關(guān)注輸入、輸出事件線索示例1：第一次輸入正確PIN（“1234”）尋找線索2023/2/1上海大學(xué)計算機學(xué)院39端口輸入端口輸出屏幕2顯示“____”按下“1”回顯“*___”按下“2”回顯“**__”按下“3”回顯“***_”按下“5”回顯“****”（PIN錯）顯示屏幕3“PIN錯”屏幕2顯示“____”按下“1”回顯“*___”按下“2”回顯“**__”按下“3”回顯“***_”按下“取消”顯示屏幕3“PIN錯”線索示例2：第三次輸入正確PIN端口輸入端口輸出屏幕2顯示“____”按下“1”回顯“*___”按下“2”回顯“**__”按下“3”回顯“***_”按下“4”回顯“****”（PIN正確）顯示屏幕5尋找線索問題：線索爆炸2023/2/1上海大學(xué)計算機學(xué)院40從1卡輸入事務(wù)選擇或卡輸入：157條路徑b：1條；a.1：1條；a.2.3：5條；a.2.4.5：25條，a.2.4.6：125條尋找線索從層次FSM中怎樣選擇路徑？自底向上策略覆蓋準(zhǔn)則策略2023/2/1上海大學(xué)計算機學(xué)院41尋找線索自底向上策略2023/2/1上海大學(xué)計算機學(xué)院42“第x次輸入PIN”中的線索路徑輸入事件序列路徑1234x1,x2,x3,x4,x51235x1,x2,x3,x4,x6Cx7,x111Cx1,x8,x1112Cx1,x2,x9,x11123Cx1,x2,x3,x10,x11尋找線索自底向上策略2023/2/1上海大學(xué)計算機學(xué)院43“PIN輸入”FSM中的線索路徑輸入事件序列路徑12341123512342,31235C12342,4,5CCC2,4,6怎樣組合為完整線索？尋找線索覆蓋準(zhǔn)則策略節(jié)點覆蓋邊覆蓋…2023/2/1上海大學(xué)計算機學(xué)院44尋找線索輸入事件輸出事件覆蓋的節(jié)點覆蓋的邊屏幕2顯示“____”2.1a按下“1”回顯“*___”2.1.1x1按下“2”回顯“**__”2.1.2x2按下“3”回顯“***_”2.1.3x3按下“5”回顯“****”2.1.4x4（PIN錯）顯示屏幕3“PIN錯”2.1.5,3x6,2尋找線索2023/2/1上海大學(xué)計算機學(xué)院46屏幕2顯示“____”2.2按下“1”回顯“*___”2.2.1x1按下“2”回顯“**__”2.2.2x2按下“3”回顯“***_”2.2.3x3按下“取消”顯示屏幕3“PIN錯”2.2.4,2.2.6x10,x11屏幕2顯示“___