1、.WORD格式可編輯 專業(yè)技術資料整理分享摘 要完成時間：20XX4月從軟件產(chǎn)業(yè)的發(fā)展初期到目前的大型軟件開發(fā)過程,軟件測試已成為其中一個不可分割的部分。隨著軟件規(guī)模的日益增大,軟件測試問題也日益突出,現(xiàn)代社會對軟件的依賴越來越強,高可信軟件測試有著廣泛的需求,基于缺陷模式的軟件測試技術作為高可信軟件的重要保證,可以大大降低軟件的缺陷密度,提高軟件的可信性。本文從測試的基本概念入手,深入剖析軟件測試相關理論關鍵詞：軟件測試； 軟件測試的分類； 軟件測試方法； 測試用例；測試工具；目 錄 TOC o 1-4 h z u HYPERLINK l _Toc3542602531軟件測試的發(fā)展史 PAG

2、EREF _Toc354260253 h 7HYPERLINK l _Toc3542602542軟件測試的基礎理論 PAGEREF _Toc354260254 h 7HYPERLINK l _Toc3542602552.1軟件測試的定義 PAGEREF _Toc354260255 h 7HYPERLINK l _Toc3542602562.2軟件測試的描述 PAGEREF _Toc354260256 h 8HYPERLINK l _Toc3542602572.3軟件測試的目的 PAGEREF _Toc354260257 h 8HYPERLINK l _Toc3542602582.4軟件測試的原

3、則 PAGEREF _Toc354260258 h 8HYPERLINK l _Toc3542602593軟件測試的內(nèi)容 PAGEREF _Toc354260259 h 8HYPERLINK l _Toc3542602603.1驗證 PAGEREF _Toc354260260 h 8HYPERLINK l _Toc3542602613.2確認 PAGEREF _Toc354260261 h 9HYPERLINK l _Toc3542602624軟件測試的分類 PAGEREF _Toc354260262 h 9HYPERLINK l _Toc3542602634.1角度分類 PAGEREF _T

4、oc354260263 h 9HYPERLINK l _Toc3542602644.2階段細分 PAGEREF _Toc354260264 h 9HYPERLINK l _Toc3542602655軟件測試流程 PAGEREF _Toc354260265 h 10HYPERLINK l _Toc3542602665.1軟件測試活動 PAGEREF _Toc354260266 h 10HYPERLINK l _Toc3542602676軟件測試用例方法 PAGEREF _Toc354260267 h 10HYPERLINK l _Toc3542602686.1測試用例設計的基本原則 PAGERE

5、F _Toc354260268 h 10HYPERLINK l _Toc3542602696.2設計測試用例應注意哪些問題 PAGEREF _Toc354260269 h 10HYPERLINK l _Toc3542602706.3測試用例的作用 PAGEREF _Toc354260270 h 11HYPERLINK l _Toc3542602716.4測試用例設計方法 PAGEREF _Toc354260271 h 11HYPERLINK l _Toc3542602726.4.1等價類劃分 PAGEREF _Toc354260272 h 11HYPERLINK l _Toc354260273

6、6.4.1.1劃分等價類 PAGEREF _Toc354260273 h 11HYPERLINK l _Toc3542602746.4.2邊界值 PAGEREF _Toc354260274 h 14HYPERLINK l _Toc3542602756.4.2.1定義 PAGEREF _Toc354260275 h 14HYPERLINK l _Toc3542602766.4.2.2與等價劃分的區(qū)別 PAGEREF _Toc354260276 h 14HYPERLINK l _Toc3542602776.4.3錯誤推測法 PAGEREF _Toc354260277 h 16HYPERLINK l

7、 _Toc3542602786.4.3.1定義 PAGEREF _Toc354260278 h 16HYPERLINK l _Toc3542602796.4.4因果圖 PAGEREF _Toc354260279 h 16HYPERLINK l _Toc3542602806.4.4.1定義 PAGEREF _Toc354260280 h 16HYPERLINK l _Toc3542602816.4.5判定表 PAGEREF _Toc354260281 h 18HYPERLINK l _Toc3542602826.5.5.1定義 PAGEREF _Toc354260282 h 18HYPERLIN

8、K l _Toc3542602836.5.5.2判定表的建立步驟 PAGEREF _Toc354260283 h 18HYPERLINK l _Toc3542602847 軟件測試工具 PAGEREF _Toc354260284 h 18HYPERLINK l _Toc3542602857.1功能測試工具 PAGEREF _Toc354260285 h 18HYPERLINK l _Toc3542602867.2性能測試工具 PAGEREF _Toc354260286 h 18HYPERLINK l _Toc3542602877.3測試管理工具 PAGEREF _Toc354260287 h

9、19HYPERLINK l _Toc3542602887.4其他測試工具 PAGEREF _Toc354260288 h 19HYPERLINK l _Toc3542602898參考文獻 PAGEREF _Toc354260289 h 19HYPERLINK l _Toc3542602909致 謝 PAGEREF _Toc354260290 h 201軟件測試的發(fā)展史20世紀60年代軟件工程建立前,為表明程序正確而進行測試。1972年在北卡羅來納大學舉行了首屆軟件測試正式會議。1975年John Good Enough和Susan Gerhart在IEEE上發(fā)表了測試數(shù)據(jù)選擇的原理的文章,軟件

10、測試被確定為一種研究方向。1979年,Glenford Myers的軟件測試藝術,對測試做了定義：測試是為發(fā)現(xiàn)錯誤而執(zhí)行的一個程序或者系統(tǒng)的過程。20世紀80年代早期,質(zhì)量的號角開始吹響。軟件測試定義發(fā)生了改變,測試不單純是一個發(fā)現(xiàn)錯誤的過程,而且包含軟件質(zhì)量評價的內(nèi)容。制定了各類標準。1983年,Bill Hetzel在軟件測試完全指南中指出：測試是以評價一個程序或者系統(tǒng)屬性為目標的任何一種活動,測試是對軟件質(zhì)量的度量。20世紀90年代,測試工具盛行起來。1996年提出的測試能力成熟度TCMMTesting Capability Maturity Model、測試支持度TSMTestabil

11、ity Support Model、測試成熟度TMMTesting Maturity Model。到了20XX,Rick和Stefan在系統(tǒng)的軟件測試一書中對軟件測試做了進一步定義：測試是為了度量和提高被測軟件的質(zhì)量,對測試軟件進行工程設計、實施和維護的整個生命過程。2軟件測試的基礎理論2.1軟件測試的定義軟件測試使用人工或者自動手段來運行或測試某個系統(tǒng)的過程,其目的在于檢驗它是否滿足規(guī)定的需求或弄清預期結果與實際結果之間的差別。測試并不僅僅是為了找出錯誤.通過分析錯誤產(chǎn)生的原因和錯誤的發(fā)生趨勢,可以幫助項目管理者發(fā)現(xiàn)當前軟件開發(fā)過程中的缺陷,以便及時改進；這種分析也能幫助測試人員設計出有針對

12、性的測試方法,改善測試的效率和有效性；沒有發(fā)現(xiàn)錯誤的測試也是有價值的,完整的測試是評定軟件質(zhì)量的一種方法。2.2軟件測試的描述測試是軟件開發(fā)過程的重要組成部分, 是用來確認一個程序的品質(zhì)或性能是否符合開發(fā)之前所提出的一些要求。軟件測試的目的, 第一是確認軟件的質(zhì)量, 其一方面是確認軟件做了你所期望的事情Do the right thing, 另一方面是確認軟件以正確的方式來做了這個事件Do it right；第二是提供信息, 比如提供給開發(fā)人員或程序經(jīng)理的反饋信息, 為風險評估所準備的信息；第三軟件測試不僅是在測試軟件產(chǎn)品的本身, 而且還包括軟件開發(fā)的過程。如果一個軟件產(chǎn)品開發(fā)完成之后發(fā)現(xiàn)了很

13、多問題, 這說明此軟件開發(fā)過程很可能是有缺陷的。2.3軟件測試的目的測試是為了發(fā)現(xiàn)程序中的錯誤而執(zhí)行程序的過程；測試是確保最終用戶的產(chǎn)品符合用戶的需求；成功的測試是發(fā)現(xiàn)了至今為止尚未發(fā)現(xiàn)的錯誤的測試；2.4軟件測試的原則盡早地進行軟件測試,并把軟件測試貫穿整個軟件生命周期軟件測試應追溯測試應由第三方來構造窮舉測試時不可能,要遵循good-enough原則必須確定預期輸出結果必須徹底檢查每個測試結果充分注意測試中的群集現(xiàn)象其他值得注意到規(guī)律和經(jīng)驗3軟件測試的內(nèi)容3.1驗證驗證是保證軟件正確地實現(xiàn)了一些特定功能的一系列活動, 即保證軟件做了你所期望的事情。 確定軟件生存周期中的一個給定階段的產(chǎn)品是

14、否達到前階段確立的需求的過程；程序正確性的形式證明, 即采用形式理論證明程序符號設計規(guī)約規(guī)定的過程；評市、審查、測試、檢查、審計等各類活動, 或?qū)δ承╉椞幚?、服務或文件等是否和?guī)定的需求相一致進行判斷和提出報告。3.2確認確認是一系列的活動和過程, 目的是想證實在一個給定的外部環(huán)境中軟件的邏輯正確性。即保證軟件以正確的方式來做了這個事件靜態(tài)確認, 不在計算機上實際執(zhí)行程序, 通過人工或程序分析來證明軟件的正確性；動態(tài)確認, 通過執(zhí)行程序做分析, 測試程序的動態(tài)行為, 以證實軟件是否存在問題。4軟件測試的分類4.1角度分類從是否關心軟件內(nèi)部結構和具體實現(xiàn)的角度劃分按測試分類白盒測試黑盒測試灰盒測

15、試從是否執(zhí)行程序的角度靜態(tài)測試動態(tài)測試4.2階段細分從軟件開發(fā)的過程按階段劃分有單元測試集成測試確認測試系統(tǒng)測試驗收測試回歸測試Alpha測試Beta測試5軟件測試流程5.1軟件測試活動制定測試計劃測試設計開發(fā)制定測試計劃測試設計開發(fā)實施軟件測試評 審版本發(fā)布新版本測試準備階段未通過評審6軟件測試用例方法6.1測試用例設計的基本原則用成熟測試用例設計方法來指導設計；測試用例的正確性；測試用例的代表性；測試結果的可判定性；測試結果的可再現(xiàn)性；足夠詳細、準確和清晰的步驟；6.2設計測試用例應注意哪些問題不要把測試用例設計等同于測試輸入數(shù)據(jù)的設計；不要強調(diào)測試用例設計得越詳細越好；不要追求測試用例設

16、計一步到位；不要將多個測試用例混在一個用例中；不要讓沒有測試經(jīng)驗的人員設計測試用例；6.3測試用例的作用有效性：有效地節(jié)省時間和資源,提高測試效率；避免測試的盲目性,使得軟件測試的實施重點突出、目的明確；可維護性,降低工作強度,縮短項目周期；可復用性,使得測試過程事半功倍；可評估性：程序代碼質(zhì)量的量化標準應該用測試用例的通過率和測試數(shù)目來進行評估；可管理性,測試用例是測試人員在測試過程中的重要參考依據(jù),便于對測試工作進行有效的管理；6.4測試用例設計方法等價類劃分劃分等價類等價類是指某個輸入域的子集合。在該子集合中,各個輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的,并合理地假定：測試某等價類的代表值

17、就等于對這一類其它值的測試,因此,可以把全部輸入數(shù)據(jù)合理劃分為若干等價類,在每一個等價類中取一個數(shù)據(jù)作為測試的輸入條件就可以用少量代表性的測試數(shù)據(jù)取得較好的測試結果。等價類劃分可有兩種不同的情況：有效等價類和無效等價類。 1有效等價類是指對于程序的規(guī)格說明來說是合理的、有意義的輸入數(shù)據(jù)構成的集合。利用有效等價類可檢驗程序是否實現(xiàn)了規(guī)格說明中所規(guī)定的功能和性能。 2無效等價類與有效等價類的定義恰巧相反。無效等價類指對程序的規(guī)格說明是不合理的或無意義的輸入數(shù)據(jù)所構成的集合。對于具體的問題,無效等價類至少應有一個,也可能有多個。舉例說明：某程序規(guī)定：輸入三個整數(shù) a 、 b 、 c 分別作為三邊的邊

18、長構成三角形。通過程序判定所構成的三角形的類型,當此三角形為一般三角形、等腰三角形及等邊三角形時,分別作計算 。用等價類劃分方法為該程序進行測試用例設計。分析題目中給出和隱含的對輸入條件的要求： 1整數(shù) 2三個數(shù) 3非零數(shù) 4正數(shù) 5兩邊之和大于第三邊 6等腰 7等邊 如果 a 、 b 、 c 滿足條件 1 4 ,則輸出下列四種情況之一： 1如果不滿足條件5,則程序輸出為 非三角形 。 2如果三條邊相等即滿足條件7,則程序輸出為 等邊三角形 。 3如果只有兩條邊相等、即滿足條件6,則程序輸出為 等腰三角形 。 4如果三條邊都不相等,則程序輸出為 一般三角形 。 列出等價類表并編號輸入條件輸入三

19、個整數(shù)有效等價類型號碼無效等價類號碼整數(shù)1 a為非整數(shù)一邊為 b為非整數(shù)非整數(shù) c為非整數(shù)兩邊為 a,b為非整數(shù)非整數(shù) b,c為非整數(shù) a,c為非整數(shù)三邊a,b,c均為非整數(shù)12131415161718三個數(shù)2 只給a只給一邊 只給b 只給c 只給ab只給一邊 只給b,c 只給ac給出三個以上19202122232425非零數(shù)3 a為0一邊為零 b為0 c為0 a,b為0只給一邊 b,c為0 a,c為0三邊a,b,c均為026272829303132正數(shù)4 a0一邊0 b0 a0a0且b0二邊0 a0且c0 b0且c0三邊均0:a0且b0且ccb+caa+cb567 a+bca+b=cb+ca

20、 b+c=aa+c按學號排列的成績單,列出每個學生的成績、名次。 b按學生成績排序的成績單。 c平均分數(shù)及標準偏差的報告。 d試題分析報告。按試題號排序,列出各題學生答對的百分比。 解答：分別考慮輸入條件和輸出條件,以及邊界條件。給出下表所示的輸入條件及相應的測試用例。輸入條件測試用例輸入文件空輸入文件標題沒有標題標題只有一個字符標題有80個字符試題數(shù)試題數(shù)為1試題數(shù)為50試題數(shù)為51試題數(shù)為100試題數(shù)為0試題數(shù)含有非數(shù)字字符標準答案記錄沒有標準答案記錄,有標題標注答案記錄多于一個標注答案記錄少一個學生人數(shù)0個學生1個學生200個學生201個學生學生答題某學生只有一個回答記錄,但有兩個標準答

21、案記錄該學生是文件中的第一個學生該學生是文件中的最后一個學生記錄數(shù)出錯的學生學生答題某學生有兩個回答記錄,但只有一個標準答案記錄該學生是文件中的第一個學生記錄數(shù)出錯的學生該學生是文件中的最后一個學生學生成績所有學生的成績都相等每個學生的成績都不相等部分學生的成績相同檢查是否能按成績正確排名次有個學生0分有個學生100分輸出條件及相應的測試用例表。輸出條件測試用例輸出報告a、b有個學生的學號最小檢查按序號是否正常有個學生的學號最大檢查按序號排序是否正確適當?shù)膶W生人數(shù),使產(chǎn)生的報告剛好滿一頁檢查打印頁數(shù)學生人數(shù)比剛才多出1人檢查打印換頁輸出報告c平均成績100平均成績0標準偏差為最大值有一半的0分

22、,其他100分標準偏差為0所欲成績相等輸出報告d所有學生都答對了第一題所有學生都答錯了第一題所有學生都答對了最后一題所有學生都答錯了最后一題選擇適當?shù)脑囶}數(shù),是第四個報告剛好打滿一頁試題數(shù)比剛才多1,使報告打滿一頁后,剛好剩下一題未打錯誤推測法定義基于經(jīng)驗和直覺推測程序中所有可能存在的各種錯誤, 從而有針對性的設計測試用例的方法。因果圖定義是一種利用圖解法分析輸入的各種組合情況,從而設計測試用例的方法,它適合于檢查程序輸入條件的各種組合情況。舉例說明：某軟件規(guī)格說明書包含這樣的要求：第一列字符必須是A或B,第二列字符必須是一個數(shù)字,在此情況下進行文件的修改,但如果第一列字符不正確,則給出信息L

23、；如果第二列字符不是數(shù)字,則給出信息M。解答：1根據(jù)題意,原因和結果如下： 原因： 1第一列字符是A； 2第一列字符是B； 3第二列字符是一數(shù)字。 結果： 21修改文件； 22 給出信息L； 23給出信息M。2其對應的因果圖如下：11為中間節(jié)點；考慮到原因1和原因2不可能同時為1,因此在因果圖上施加E約束。EE123112221233根據(jù)因果圖建立判定表。12345678條件愿意111110000動作結果21100110031010101011111100220000112110100023010101測試用例A3AMB5BNC2DYA8A?B4B!X6P; 表中8種情況的左面兩列情況中,原因

24、和原因同時為1,這是不可能出現(xiàn)的,故應排除這兩種情況。表的最下一欄給出了6種情況的測試用例,這是我們所需要的數(shù)據(jù)。 判定表定義判定表是分析和表達多邏輯條件下執(zhí)行不同操作的情況的工具判定表的建立步驟確定規(guī)則的個數(shù).假如有n個條件。每個條件有兩個取值0,1,故有2n種規(guī)則。列出所有的條件樁和動作樁。填入條件項。填入動作項。等到初始判定表。簡化.合并相似規(guī)則相同動作。7 軟件測試工具7.1功能測試工具Mercury Interactive WinrunnerMercury Interactive QuickTest ProfessionalIBM Rational RobotCompuware QARun7.2性能測試工具Mercury Interactive LoadRunnerIBM Rational RobotCompuware QALoadMicrosoft