【正文】 ? B0:程序中原有的殘留錯(cuò)誤數(shù) ? B1: 1號(hào)測(cè)試員在某一時(shí)間內(nèi)發(fā)現(xiàn)的錯(cuò)誤數(shù) ? B2: 2號(hào)測(cè)試員在同一時(shí)間內(nèi)發(fā)現(xiàn)的錯(cuò)誤數(shù) ? bc:兩位測(cè)試員共同發(fā)現(xiàn)的錯(cuò)誤數(shù) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 軟件測(cè)試的致命的缺陷 ?測(cè)試的不完全、不徹底性。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 調(diào) 試 原 則 ?確定錯(cuò)誤的性質(zhì)和位置的原則 ?用頭腦去分析思考與錯(cuò)誤征兆有關(guān)的信息。 3W IH 形式。 ?對(duì)程序（設(shè)計(jì)，編碼）進(jìn)行修改，排除這個(gè)錯(cuò)誤。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 步驟 2：確立測(cè)試用例 ?在確立了等價(jià)類之后，建立等價(jià)類表，列出所有劃分出的等價(jià)類。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 針對(duì)測(cè)試路徑設(shè)計(jì)測(cè)試用例 ? 111 ? nPosX 取 1, nPosY取任意值 ? 1 2, 3 4, 5 10 1 11 ? nPosX 取 1, nPosY取 1 ? 1 2, 3 6 7 9 10 1 – 11 ? nPosX 取 1, nPosY取 1 ? 1 2, 3 6 8 9 10 1 11 ? nPosX 取 1, nPosY取 3 １ 2,3 6 7 8 9 10 4,5 11 程序流圖 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 黑盒測(cè)試技術(shù) ? 黑盒測(cè)試主要是為了發(fā)現(xiàn)以下錯(cuò)誤： ? 是否有不正確或遺漏了的功能？ ? 能否正確地接受輸入？能否正確的輸出結(jié)果？ ? 是否有數(shù)據(jù)結(jié)構(gòu)錯(cuò)誤或外部數(shù)據(jù)庫(kù)訪問(wèn)錯(cuò)誤？ ? 性能上是否能夠滿足要求？ ? 是否有初始化或終止性錯(cuò)誤？ ? 幾種黑盒測(cè)試技術(shù)： ? 等價(jià)類劃分、邊界值分析、錯(cuò)誤推測(cè)法、因果圖 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 等價(jià)劃分 ?基本思想： ?把所有可能的輸入數(shù)據(jù)（包括有效或無(wú)效的），劃分成若干數(shù)據(jù)類（等價(jià)類），然后從每個(gè)數(shù)據(jù)類中選取少數(shù)有代表性的數(shù)據(jù)做為測(cè)試用例。 ? 同時(shí)滿足判斷覆蓋和條件覆蓋。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 確認(rèn)測(cè)試 ?又稱有效性測(cè)試。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 單元測(cè)試的測(cè)試環(huán)境 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 正文加工系統(tǒng)功能結(jié)構(gòu)圖 ?若要測(cè)試“編輯子系統(tǒng)”，需要上層“驅(qū)動(dòng)模塊”和下層“存根程序” 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 . 4 集成測(cè)試（ Integrated Testing ) ? 在單元測(cè)試之后，將模塊組裝成系統(tǒng)，為發(fā)現(xiàn)并排除模塊在連接中可能出現(xiàn)的問(wèn)題，而進(jìn)行的測(cè)試。 平行測(cè)試：同時(shí)運(yùn)行新、舊系統(tǒng) 確認(rèn)測(cè)試：檢查軟件是否滿足用戶的需要以及文檔資料是否完整、準(zhǔn)確 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ?測(cè)試與軟件開(kāi)發(fā)各階段的關(guān)系 ?軟件開(kāi)發(fā)過(guò)程是一個(gè)自頂向下，逐步細(xì)化的過(guò)程 ?軟件測(cè)試則是依相反順序自底向上，逐步集成的過(guò)程。如：“清庫(kù)會(huì)使庫(kù)中原有數(shù)據(jù)全部丟失，真的需要清庫(kù)嗎？ (Y/N)” ?應(yīng)根據(jù)用戶和系統(tǒng)特點(diǎn)設(shè)計(jì)令用戶滿意的輸入方式。 ?良好編碼風(fēng)格包括： ?程序內(nèi)部應(yīng)該有很好的文檔： 如標(biāo)識(shí)符、注釋良好，程序文檔結(jié)構(gòu)易讀易理解。 ?交互式輸入數(shù)據(jù)時(shí) 應(yīng)有必要的提示 。 ?已知產(chǎn)品的內(nèi)部工作過(guò)程，可以通過(guò) 白盒法來(lái)檢驗(yàn)每種內(nèi)部操作是否按要求的規(guī)定正常進(jìn)行。 ?兩個(gè)重要概念： ?驅(qū)動(dòng)程序（ driver ) ：相當(dāng)于被測(cè)試模塊的“主程序”，接收測(cè)試數(shù)據(jù)，把這些數(shù)據(jù)傳送給被測(cè)試的模塊，并且輸出相關(guān)結(jié)果。 ?先采取自頂向下的方式測(cè)試被修改的模塊及其子模塊；然后將這一部分視為子系統(tǒng)，再自底向上測(cè)試。 測(cè)試數(shù)據(jù)： A=3,B=0,X=3（覆蓋 1） A=2,B=1,X=1（覆蓋 2） 滿足判定覆蓋的測(cè)試用例一定滿足語(yǔ)句覆蓋。 １ 2,3 6 7 8 9 10 4,5 11 程序流圖 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 步驟 4:確定測(cè)試路徑的集合 ? 例：獨(dú)立路徑 ? 圖中一組獨(dú)立的路徑是： ? L1 : 1 , 11 ? L2: 1 , 2 , 3 , 4 , 5 , 10 , 1 , 11 ? L3： 1 , 2 , 3 , 6 , 8 , 9 , 10 , 1 , 11 ? L4： 1 , 2 , 3 , 6 , 7 , 9 , 10 , 1 , 11 ? 路徑 L1 , L2 , L3 , L4 組成了控制流圖的一個(gè)基本路徑集。 ? 例： Pascal 語(yǔ)言對(duì)變量標(biāo)識(shí)符規(guī)定必須“以字母打頭”，則所有以字母打頭的構(gòu)成有效等價(jià)類，而不以字母打頭的歸于無(wú)效等價(jià)類。 ?依靠經(jīng)驗(yàn)和直覺(jué)推測(cè)程序中可能存在的各種錯(cuò)誤，從而有針對(duì)性地編寫檢查這些錯(cuò)誤的測(cè)試用例。列出所有已知的測(cè)試用例和程序執(zhí)行結(jié)果。對(duì)沒(méi)有被排除的原因，利用已知的線索，進(jìn)一步改進(jìn)，使之更具體化，以便可以精確地確定出錯(cuò)位置。 ? 3 、可靠性和可用性的主要差別： ?可靠性意味著在 0 到 t 這段時(shí)間間隔內(nèi)系統(tǒng)沒(méi)有失效； ?可用性只意味著在時(shí)刻 t ，系統(tǒng)是正常運(yùn)行的 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 . 9 . 2 估算平均無(wú)故障時(shí)間 MTTF ?推測(cè)錯(cuò)誤的產(chǎn)生頻度，即推測(cè)錯(cuò)誤產(chǎn)生的時(shí)間間隔。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 確認(rèn)測(cè)試應(yīng)交付的文檔 ?確認(rèn)測(cè)試分析報(bào)告 ?最終的用戶手冊(cè)和操作手冊(cè) ?項(xiàng)目開(kāi)發(fā)總結(jié)報(bào)告。利用調(diào)試工具，可以幫助思考，但不能代替思考。若提不出假設(shè)，則需收集更多數(shù)據(jù)。當(dāng)其它錯(cuò)誤得到糾正時(shí)，這一錯(cuò)誤所表現(xiàn)出的現(xiàn)象可能會(huì)暫時(shí)消失，但并未實(shí)際排除。 ? 系統(tǒng)規(guī)定日期由年、月的 6 位數(shù)字字符組成，前 4 位代表年，后兩位代表月。在該子集合中，各輸入數(shù)據(jù)對(duì)于發(fā)現(xiàn)程序中的錯(cuò)誤都是等效的。 ?測(cè) 試 用 例 通過(guò)路徑 覆蓋條件 ?【 (2, 0, 4), (2, 0, 3)】 ace (L1) 【 (1, 1, 1), (1, 1, 1)】 abd (L2) ?【 (1, 1, 2), (1, 1, 3)】 abe (L3) 【 (3, 0, 3), (3, 0, 1)】 acd (L4) ? T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T3 41 2信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F b d c e a 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 總結(jié)： 6 種覆蓋標(biāo)準(zhǔn)的對(duì)比 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 6. 2 控制結(jié)構(gòu)測(cè)試 ? 1 、基本路徑測(cè)試 ?以環(huán)形復(fù)雜度為基礎(chǔ)，導(dǎo)出基本可執(zhí)行路徑集合，設(shè)計(jì)測(cè)試用例的方法。 ? 測(cè)試計(jì)劃 ：包括測(cè)試種類及進(jìn)度安排； ? 測(cè)試步驟 ：描述具體的測(cè)試用例 ? 測(cè)試目的 ：確定軟件的特性是否與需求相符； ? 所有的文檔都是正確且便于使用； ? 其它軟件需求。 ?② 漸增式組裝方式 ?先對(duì)模塊進(jìn)行單元測(cè)試，然后將測(cè)試后的模塊逐步組裝成較大的系統(tǒng)；在組裝的過(guò)程中邊連接邊測(cè)試，以發(fā)現(xiàn)連接過(guò)程中產(chǎn)生的問(wèn)題；最后組裝成為要求的軟件系統(tǒng)。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 .3 .1 測(cè)試重點(diǎn) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ① 模塊接口測(cè)試 ?在單元測(cè)試的開(kāi)始，應(yīng)對(duì)通過(guò)被測(cè)模塊的數(shù)據(jù)流進(jìn)行測(cè)試。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 . 2 軟件測(cè)試的基礎(chǔ) ?什么是軟件測(cè)試？ ?是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 2數(shù)據(jù)說(shuō)明 ? 命名規(guī)范 ?標(biāo)識(shí)符，包括模塊名、變量名、常量名、標(biāo)號(hào)名