第7講道客巴軟件測(cè)試

1、第第7講講 軟件測(cè)試軟件測(cè)試毛新軍毛新軍 教授教授計(jì)算機(jī)科學(xué)與技術(shù)系計(jì)算機(jī)科學(xué)與技術(shù)系602教研室教研室 0731-(45)73649軟件工程導(dǎo)論軟件工程導(dǎo)論 之之copyright xinjun mao軟件測(cè)試軟件測(cè)試2序言序言n初步的軟件系統(tǒng)存在錯(cuò)誤，如何： 發(fā)現(xiàn)錯(cuò)誤? 糾正錯(cuò)誤？n軟件測(cè)試是軟件質(zhì)量保證活動(dòng)中關(guān)鍵步驟 對(duì)srs、設(shè)計(jì)規(guī)格說(shuō)明書以及編碼的最后復(fù)審 其工作量往往占軟件開發(fā)總工作量的40%以上 軟件測(cè)試是確保軟件質(zhì)量的一種有效 (可操作)手段n軟件測(cè)試有其特殊性和規(guī)律 因?yàn)檐浖沁壿嫯a(chǎn)品copyright xinjun mao軟件測(cè)試軟件測(cè)試3本講內(nèi)容本講內(nèi)容1.基本概念2.軟

2、件測(cè)試技術(shù)3.軟件測(cè)試策略4.基于case的軟件測(cè)試和排錯(cuò)copyright xinjun mao軟件測(cè)試軟件測(cè)試4軟件測(cè)試的基本概念軟件測(cè)試的基本概念n軟件錯(cuò)誤 軟件系統(tǒng)的功能和性能與預(yù)期的功能和性能不一致n軟件測(cè)試是發(fā)現(xiàn)軟件錯(cuò)誤的過(guò)程copyright xinjun mao軟件測(cè)試軟件測(cè)試5軟件測(cè)試的目標(biāo)軟件測(cè)試的目標(biāo)n目標(biāo) 發(fā)現(xiàn)軟件中的錯(cuò)誤，提高軟件質(zhì)量 注意軟件測(cè)試中沒(méi)有發(fā)現(xiàn)錯(cuò)誤并不意味著軟件就沒(méi)有錯(cuò)誤 = 測(cè)試不充分, 潛在錯(cuò)誤不能發(fā)現(xiàn)copyright xinjun mao軟件測(cè)試軟件測(cè)試6軟件測(cè)試的信息流程軟件測(cè)試的信息流程n軟件測(cè)試思想 數(shù)據(jù)處理 設(shè)計(jì)測(cè)試用例 判斷結(jié)果copy

3、right xinjun mao軟件測(cè)試軟件測(cè)試7軟件測(cè)試方法軟件測(cè)試方法n 二種測(cè)試方法 白盒測(cè)試 黑盒測(cè)試copyright xinjun mao軟件測(cè)試軟件測(cè)試8 設(shè)計(jì)設(shè)計(jì)測(cè)試測(cè)試用例用例 白盒測(cè)試白盒測(cè)試n思想 已知程序內(nèi)部工作流程，通過(guò)測(cè)試檢驗(yàn)程序內(nèi)部動(dòng)作是否按規(guī)格說(shuō)明書規(guī)定正常運(yùn)作n依據(jù) 程序的內(nèi)部邏輯結(jié)構(gòu)，針對(duì)程序的邏輯路徑設(shè)計(jì)測(cè)試用例n特點(diǎn) 必須了解程序的內(nèi)部工作流程copyright xinjun mao軟件測(cè)試軟件測(cè)試9 功能功能: 求二個(gè)數(shù)中較大者求二個(gè)數(shù)中較大者 測(cè)測(cè)試試用用例例 黑盒測(cè)試黑盒測(cè)試n思想 根據(jù)已知程序的功能和性能(而不是內(nèi)部細(xì)節(jié))，通過(guò)測(cè)試檢驗(yàn)每個(gè)功能和

4、性能是否正常n依據(jù) 程序的功能和性能描述n特點(diǎn) 知道程序的功能和性能，不必了解程序的內(nèi)部結(jié)構(gòu)和處理細(xì)節(jié)copyright xinjun mao軟件測(cè)試軟件測(cè)試10軟件測(cè)試步驟軟件測(cè)試步驟n軟件開發(fā) 從高抽象層次向低層次抽象過(guò)渡n軟件測(cè)試 從低層次抽象向高層次抽象過(guò)渡n軟件測(cè)試的層次 單元測(cè)試：測(cè)試程序中每個(gè)模塊是否有錯(cuò)誤（白盒） 集成測(cè)試：測(cè)試軟件總體結(jié)構(gòu)是否有錯(cuò)誤（黑盒） 確認(rèn)測(cè)試：測(cè)試軟件是否滿足用戶需求（黑盒）copyright xinjun mao軟件測(cè)試軟件測(cè)試11需求分析需求分析概要設(shè)計(jì)概要設(shè)計(jì)詳細(xì)設(shè)計(jì)詳細(xì)設(shè)計(jì)編碼編碼單元測(cè)試單元測(cè)試集成測(cè)試集成測(cè)試確認(rèn)測(cè)試確認(rèn)測(cè)試軟件開發(fā)過(guò)程軟件

5、開發(fā)過(guò)程軟件測(cè)試過(guò)程軟件測(cè)試過(guò)程軟件開發(fā)活動(dòng)和軟件測(cè)試活動(dòng)間軟件開發(fā)活動(dòng)和軟件測(cè)試活動(dòng)間的關(guān)系的關(guān)系copyright xinjun mao軟件測(cè)試軟件測(cè)試12本講內(nèi)容本講內(nèi)容1.基本概念2.軟件測(cè)試技術(shù)3.軟件測(cè)試策略4.基于case的軟件測(cè)試和排錯(cuò)copyright xinjun mao軟件測(cè)試軟件測(cè)試13軟件測(cè)試技術(shù)軟件測(cè)試技術(shù) n白盒測(cè)試 白盒測(cè)試是根據(jù)程序的控制結(jié)構(gòu)來(lái)設(shè)計(jì)測(cè)試用例copyright xinjun mao軟件測(cè)試軟件測(cè)試14 1 2 3 6 7 8 4 5 11 9 10 白盒測(cè)試白盒測(cè)試n要設(shè)計(jì)多少測(cè)試用例? 覆蓋準(zhǔn)則 語(yǔ)句覆蓋 分支覆蓋 路徑覆蓋: 程序通道 基本路

6、徑覆蓋copyright xinjun mao軟件測(cè)試軟件測(cè)試15基本路徑測(cè)試的思想基本路徑測(cè)試的思想n基本路徑 至少引入一個(gè)新語(yǔ)句或者新判斷的程序通道 n思想 路徑 = 基本路徑 = 基本路徑測(cè)試n前提 軟件模塊的邏輯結(jié)構(gòu)（流程圖）n如何設(shè)計(jì)測(cè)試用例確?；韭窂礁采w = 哪些基本路徑 = 流圖 = 流程圖copyright xinjun mao軟件測(cè)試軟件測(cè)試16 2,3 6 7 8 9 10 4,5 11 程程序序流流圖圖 1 2 3 6 7 8 4 5 11 9 10 模模塊塊流流程程圖圖 流程圖和流圖示意圖流程圖和流圖示意圖copyright xinjun mao軟件測(cè)試軟件測(cè)試17步

7、驟步驟1:根據(jù)程序邏輯畫出流程圖根據(jù)程序邏輯畫出流程圖 void func(int nposx, int nposy) while (nposx 0) int nsum = nposx + nposy;if (nsum 1) nposx-; nposy-;else if (nsum 0) int nsum = nposx + nposy;if (nsum 1) nposx-; nposy-;else if (nsum 0) int nsum = nposx + nposy;if (nsum 1) nposx-; nposy-;else if (nsum -1) nposx -= 2; else

8、 nposx -= 4; / end of while 2,3 6 7 8 9 10 4,5 11 程序流圖程序流圖 copyright xinjun mao軟件測(cè)試軟件測(cè)試25黑盒測(cè)試黑盒測(cè)試n黑盒測(cè)試技術(shù) 測(cè)試軟件是否滿足功能和性能要求，它不涉及模塊的內(nèi)部過(guò)程性細(xì)節(jié)n主要的黑盒測(cè)試技術(shù) 等價(jià)分類法 邊界分類法copyright xinjun mao軟件測(cè)試軟件測(cè)試26等價(jià)分類法等價(jià)分類法(1/2)n思想 把程序的輸入數(shù)據(jù)集合按輸入條件劃分為若干個(gè)等價(jià)類，每一個(gè)等價(jià)類對(duì)于輸入條件而言為一組有效或者無(wú)效的輸入，然后為每一個(gè)等價(jià)類設(shè)計(jì)一個(gè)測(cè)試用例n優(yōu)點(diǎn) 減少測(cè)試次數(shù)，不丟失發(fā)現(xiàn)錯(cuò)誤的機(jī)會(huì)copy

9、right xinjun mao軟件測(cè)試軟件測(cè)試27等價(jià)分類法等價(jià)分類法(2/2)n輸入條件為一范圍 劃分出三個(gè)等價(jià)類：(1) 有效等價(jià)類(在范圍內(nèi))，(2) 大于輸入最大值，(3)小于輸入最少值n輸入條件為一值 劃分為三個(gè)等價(jià)類: (1) 有效，(2) 大于，(3) 小于n輸入條件為集合 劃分二個(gè)等價(jià)類: (1) 有效(在集合內(nèi))，(2) 無(wú)效(在集合外)n輸入條件為一個(gè)布爾量 劃分二個(gè)等價(jià)類，(1) 有效(此布爾量)，(2)無(wú)效(布爾量的非)copyright xinjun mao軟件測(cè)試軟件測(cè)試28等價(jià)分類法例子等價(jià)分類法例子nz = func(x, y): 當(dāng) 0 x 1024 并且

10、y = 0, z = -1 否則，z = x * lg(y)n關(guān)于x的等價(jià)類: (0, 1024), (-#, 0, 1024, +#) n關(guān)于y的等價(jià)類: 0, (-#, 0), (0, +#)n測(cè)試用例: 9個(gè) , , ; , , ; , , copyright xinjun mao軟件測(cè)試軟件測(cè)試29邊界值分析法邊界值分析法n輸入條件是一范圍(a,b) a,b以及緊挨a,b左右的值應(yīng)作為測(cè)試用例n輸入條件為一組數(shù) 選擇這組數(shù)的最大者和最小者，次大和次小者作為測(cè)試用例n如果程序的內(nèi)部數(shù)據(jù)結(jié)構(gòu)是有界的 應(yīng)設(shè)計(jì)測(cè)試用例使它能夠檢查該數(shù)據(jù)結(jié)構(gòu)的邊界copyright xinjun mao軟件測(cè)試

11、軟件測(cè)試30本講內(nèi)容本講內(nèi)容1.基本概念2.軟件測(cè)試技術(shù)3.軟件測(cè)試策略4.基于case的軟件測(cè)試和排錯(cuò)copyright xinjun mao軟件測(cè)試軟件測(cè)試31單元測(cè)試單元測(cè)試n對(duì)軟件的最小單元模塊進(jìn)行測(cè)試多采用白盒測(cè)試(1) 模塊接口測(cè)試(2) 模塊局部數(shù)據(jù)結(jié)構(gòu)測(cè)試(3) 模塊獨(dú)立執(zhí)行路徑測(cè)試(4) 模塊中各條錯(cuò)誤處理通道測(cè)試(5) 模塊邊界條件測(cè)試copyright xinjun mao軟件測(cè)試軟件測(cè)試32單元測(cè)試單元測(cè)試(續(xù)續(xù))copyright xinjun mao軟件測(cè)試軟件測(cè)試33集成測(cè)試集成測(cè)試n模塊相互調(diào)用時(shí)引入接口問(wèn)題 = 集成測(cè)試n集成測(cè)試方法 (1) 自頂向下集成從目

12、標(biāo)軟件系統(tǒng)的主控模塊開始，按照軟件的控制層次結(jié)構(gòu)，以深度優(yōu)先或者廣度優(yōu)先的策略把各個(gè)模塊集成在一起進(jìn)行測(cè)試 (2) 自底向上集成從軟件結(jié)構(gòu)最底層模塊開始自底向上進(jìn)行組裝和測(cè)試copyright xinjun mao軟件測(cè)試軟件測(cè)試34 m1 m2 m3 m4 m5 m6 m8 m7 集成測(cè)試?yán)蛹蓽y(cè)試?yán)觕opyright xinjun mao軟件測(cè)試軟件測(cè)試35確認(rèn)測(cè)試確認(rèn)測(cè)試n任務(wù) 判斷目標(biāo)軟件系統(tǒng)是否滿足用戶的功能和性能需求； 文檔資料是否完整、準(zhǔn)確n依據(jù)和標(biāo)準(zhǔn) 軟件需求規(guī)格說(shuō)明書n確認(rèn)測(cè)試的類型 測(cè)試 測(cè)試copyright xinjun mao軟件測(cè)試軟件測(cè)試36 測(cè)測(cè)試試用用例例

13、 排排錯(cuò)錯(cuò) 執(zhí)執(zhí)行行某某個(gè)個(gè)測(cè)測(cè)試試用用例例 結(jié)結(jié)果果 假假想想錯(cuò)錯(cuò)誤誤 追追加加測(cè)測(cè)試試 確確定定了了錯(cuò)錯(cuò)誤誤原原因因 修修正正程程序序 回回歸歸測(cè)測(cè)試試 排錯(cuò)排錯(cuò)(1/2)n測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤，當(dāng)發(fā)現(xiàn)錯(cuò)誤后就要將它改正，改正錯(cuò)誤主要依靠排錯(cuò)技術(shù)n排錯(cuò)過(guò)程copyright xinjun mao軟件測(cè)試軟件測(cè)試37排錯(cuò)排錯(cuò)(2/2)n 排錯(cuò)方法 原始法 回溯法 排除法 基于歸納和演繹的方法:收集與出錯(cuò)有關(guān)的所有數(shù)據(jù)，假想一組出錯(cuò)的原因，用這組數(shù)據(jù)證明或者反駁之copyright xinjun mao軟件測(cè)試軟件測(cè)試38本講內(nèi)容本講內(nèi)容1.基本概念2.軟件測(cè)試技術(shù)3.軟件測(cè)試策略4.基于case的軟件測(cè)試和排錯(cuò)copyright xinjun mao軟件測(cè)試軟件測(cè)試39基于基于case的軟件測(cè)試和排錯(cuò)的軟件測(cè)試和排錯(cuò)n靜態(tài)分析器 通過(guò)靜態(tài)的掃描源程序，找出可能導(dǎo)致程序出錯(cuò)的異常情況n代碼審查器 檢查源程序代碼是否滿足最基本的代碼標(biāo)準(zhǔn)n斷言處理器 檢查程序員關(guān)于程序行為的斷言在程序執(zhí)行過(guò)程中是否成立n測(cè)試數(shù)據(jù)產(chǎn)生器copyright xinjun mao軟件測(cè)試軟件測(cè)試40軟件測(cè)試和軟件調(diào)試軟件測(cè)試和軟件調(diào)試n目的 發(fā)現(xiàn)錯(cuò)誤；定位和糾正錯(cuò)誤n獨(dú)立性 可有獨(dú)立的測(cè)試小組進(jìn)行；必須由開發(fā)人員完成copyright xinjun mao軟件測(cè)試軟件測(cè)試41 本講小結(jié)