軟件測(cè)試畢業(yè)論文

1、軟 件 測(cè) 試摘摘 要要完成時(shí)間：2013 年 4 月從軟件產(chǎn)業(yè)的發(fā)展初期到目前的大型軟件開(kāi)發(fā)過(guò)程，軟件測(cè)試已成為其中一個(gè)不可分割的部分。隨著軟件規(guī)模的日益增大，軟件測(cè)試問(wèn)題也日益突出，現(xiàn)代社會(huì)對(duì)軟件的依賴越來(lái)越強(qiáng),高可信軟件測(cè)試有著廣泛的需求，基于缺陷模式的軟件測(cè)試技術(shù)作為高可信軟件的重要保證,可以大大降低軟件的缺陷密度,提高軟件的可信性。本文從測(cè)試的基本概念入手,深入剖析軟件測(cè)試相關(guān)理論關(guān)鍵詞關(guān)鍵詞：軟件測(cè)試； 軟件測(cè)試的分類； 軟件測(cè)試方法； 測(cè)試用例；測(cè)試工具； 軟 件 測(cè) 試目目 錄錄1 軟件測(cè)試的發(fā)展史軟件測(cè)試的發(fā)展史.72 軟件測(cè)試的基礎(chǔ)理論軟件測(cè)試的基礎(chǔ)理論 .72.1 軟件測(cè)

2、試的定義.72.2 軟件測(cè)試的描述.82.3 軟件測(cè)試的目的.82.4 軟件測(cè)試的原則.83 軟件測(cè)試的內(nèi)容軟件測(cè)試的內(nèi)容.83.1 驗(yàn)證(VERIFICATION).83.2 確認(rèn)(VALIDATION) .94 軟件測(cè)試的分類軟件測(cè)試的分類.94.1 角度分類.94.2 階段細(xì)分.95 軟件測(cè)試流程軟件測(cè)試流程.105.1 軟件測(cè)試活動(dòng).106 軟件測(cè)試用例方法軟件測(cè)試用例方法.106.1 測(cè)試用例設(shè)計(jì)的基本原則.106.2 設(shè)計(jì)測(cè)試用例應(yīng)注意哪些問(wèn)題.106.3 測(cè)試用例的作用.116.4 測(cè)試用例設(shè)計(jì)方法.116.4.1等價(jià)類劃分.116.4.1.1 劃分等價(jià)類 .116.4.2邊界值

3、.146.4.2.1 定義.146.4.2.2 與等價(jià)劃分的區(qū)別 .146.4.3錯(cuò)誤推測(cè)法.166.4.3.1 定義.166.4.4因果圖.166.4.4.1 定義.166.4.5判定表.186.5.5.1 定義.186.5.5.2 判定表的建立步驟 .187 軟件測(cè)試工具軟件測(cè)試工具.187.1 功能測(cè)試工具.187.2 性能測(cè)試工具.187.3 測(cè)試管理工具.197.4 其他測(cè)試工具.198 參考文獻(xiàn)參考文獻(xiàn).19軟 件 測(cè) 試9 致致 謝謝.201 軟件測(cè)試的發(fā)展史軟件測(cè)試的發(fā)展史20 世紀(jì) 60 年代（軟件工程建立前） ，為表明程序正確而進(jìn)行測(cè)試。1972 年在北卡羅來(lái)納大學(xué)舉行了首

4、屆軟件測(cè)試正式會(huì)議。1975 年 John Good Enough 和 Susan Gerhart 在 IEEE 上發(fā)表了測(cè)試數(shù)據(jù)選擇的原理的文章，軟件測(cè)試被確定為一種研究方向。1979 年，Glenford Myers 的軟件測(cè)試藝術(shù) ，對(duì)測(cè)試做了定義：測(cè)試是為發(fā)現(xiàn)錯(cuò)誤而執(zhí)行的一個(gè)程序或者系統(tǒng)的過(guò)程。20 世紀(jì) 80 年代早期， “質(zhì)量”的號(hào)角開(kāi)始吹響。軟件測(cè)試定義發(fā)生了改變，測(cè)試不單純是一個(gè)發(fā)現(xiàn)錯(cuò)誤的過(guò)程，而且包含軟件質(zhì)量評(píng)價(jià)的內(nèi)容。制定了各類標(biāo)準(zhǔn)。1983 年，Bill Hetzel 在軟件測(cè)試完全指南中指出：測(cè)試是以評(píng)價(jià)一個(gè)程序或者系統(tǒng)屬性為目標(biāo)的任何一種活動(dòng)，測(cè)試是對(duì)軟件質(zhì)量的度量。

5、20 世紀(jì) 90 年代，測(cè)試工具盛行起來(lái)。1996 年提出的測(cè)試能力成熟度 TCMM（Testing Capability Maturity Model） 、測(cè)試支持度 TSM（Testability Support Model） 、測(cè)試成熟度TMM（Testing Maturity Model） 。到了 2002 年，Rick 和 Stefan 在系統(tǒng)的軟件測(cè)試一書(shū)中對(duì)軟件測(cè)試做了進(jìn)一步定義：測(cè)試是為了度量和提高被測(cè)軟件的質(zhì)量，對(duì)測(cè)試軟件進(jìn)行工程設(shè)計(jì)、實(shí)施和維護(hù)的整個(gè)生命過(guò)程。2 軟件測(cè)試的基礎(chǔ)理論軟件測(cè)試的基礎(chǔ)理論2.1 軟件測(cè)試的定義軟件測(cè)試的定義軟件測(cè)試使用人工或者自動(dòng)手段來(lái)運(yùn)行或測(cè)試

6、某個(gè)系統(tǒng)的過(guò)程,其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或弄清預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。測(cè)試并不僅僅是為了找出錯(cuò)誤.通過(guò)分析錯(cuò)誤產(chǎn)生的原因和錯(cuò)誤的發(fā)生趨勢(shì),可以幫助項(xiàng)目管理者發(fā)現(xiàn)當(dāng)前軟件開(kāi)發(fā)過(guò)程中的缺陷,以便及時(shí)改進(jìn)；這種分析也能幫助測(cè)試人員設(shè)計(jì)出有針對(duì)性的測(cè)試方法,改善測(cè)試的效率和有效性；沒(méi)有發(fā)現(xiàn)錯(cuò)誤的測(cè)試也是有價(jià)值的,完整的測(cè)試是評(píng)定軟件質(zhì)量的一種方法。2.2 軟件測(cè)試的描述軟件測(cè)試的描述測(cè)試是軟件開(kāi)發(fā)過(guò)程的重要組成部分, 是用來(lái)確認(rèn)一個(gè)程序的品質(zhì)或性能是否符合開(kāi)軟 件 測(cè) 試發(fā)之前所提出的一些要求。軟件測(cè)試的目的, 第一是確認(rèn)軟件的質(zhì)量, 其一方面是確認(rèn)軟件做了你所期望的事情（Do the

7、 right thing）, 另一方面是確認(rèn)軟件以正確的方式來(lái)做了這個(gè)事件（Do it right） ；第二是提供信息, 比如提供給開(kāi)發(fā)人員或程序經(jīng)理的反饋信息, 為風(fēng)險(xiǎn)評(píng)估所準(zhǔn)備的信息；第三軟件測(cè)試不僅是在測(cè)試軟件產(chǎn)品的本身, 而且還包括軟件開(kāi)發(fā)的過(guò)程。如果一個(gè)軟件產(chǎn)品開(kāi)發(fā)完成之后發(fā)現(xiàn)了很多問(wèn)題, 這說(shuō)明此軟件開(kāi)發(fā)過(guò)程很可能是有缺陷的。2.3 軟件測(cè)試的目的軟件測(cè)試的目的測(cè)試是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過(guò)程；測(cè)試是確保最終用戶的產(chǎn)品符合用戶的需求；成功的測(cè)試是發(fā)現(xiàn)了至今為止尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試；2.4 軟件測(cè)試的原則軟件測(cè)試的原則盡早地進(jìn)行軟件測(cè)試，并把軟件測(cè)試貫穿整個(gè)軟件生命周期軟件

8、測(cè)試應(yīng)追溯測(cè)試應(yīng)由第三方來(lái)構(gòu)造窮舉測(cè)試時(shí)不可能，要遵循 good-enough 原則必須確定預(yù)期輸出結(jié)果必須徹底檢查每個(gè)測(cè)試結(jié)果充分注意測(cè)試中的群集現(xiàn)象其他值得注意到規(guī)律和經(jīng)驗(yàn)3 軟件測(cè)試的內(nèi)容軟件測(cè)試的內(nèi)容3.1 驗(yàn)證驗(yàn)證(verification)驗(yàn)證(verification)是保證軟件正確地實(shí)現(xiàn)了一些特定功能的一系列活動(dòng), 即保證軟件做了你所期望的事情。(Do the right thing) 確定軟件生存周期中的一個(gè)給定階段的產(chǎn)品是否達(dá)到前階段確立的需求的過(guò)程；程序正確性的形式證明, 即采用形式理論證明程序符號(hào)設(shè)計(jì)規(guī)約規(guī)定的過(guò)程；評(píng)市、審查、測(cè)試、檢查、審計(jì)等各類活動(dòng), 或?qū)δ承╉?xiàng)處

9、理、服務(wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報(bào)告。軟 件 測(cè) 試3.2 確認(rèn)確認(rèn)(validation)確認(rèn)(validation)是一系列的活動(dòng)和過(guò)程, 目的是想證實(shí)在一個(gè)給定的外部環(huán)境中軟件的邏輯正確性。即保證軟件以正確的方式來(lái)做了這個(gè)事件(Do it right)靜態(tài)確認(rèn), 不在計(jì)算機(jī)上實(shí)際執(zhí)行程序, 通過(guò)人工或程序分析來(lái)證明軟件的正確性；動(dòng)態(tài)確認(rèn), 通過(guò)執(zhí)行程序做分析, 測(cè)試程序的動(dòng)態(tài)行為, 以證實(shí)軟件是否存在問(wèn)題。 4 軟件測(cè)試的分類軟件測(cè)試的分類4.1 角度分類角度分類從是否關(guān)心軟件內(nèi)部結(jié)構(gòu)和具體實(shí)現(xiàn)的角度劃分（按測(cè)試分類）從是否關(guān)心軟件內(nèi)部結(jié)構(gòu)和具體實(shí)現(xiàn)的角度劃分（按測(cè)試

10、分類）白盒測(cè)試黑盒測(cè)試灰盒測(cè)試從是否執(zhí)行程序的角度從是否執(zhí)行程序的角度靜態(tài)測(cè)試動(dòng)態(tài)測(cè)試4.2 階段細(xì)分階段細(xì)分從軟件開(kāi)發(fā)的過(guò)程按階段劃分有從軟件開(kāi)發(fā)的過(guò)程按階段劃分有單元測(cè)試集成測(cè)試確認(rèn)測(cè)試系統(tǒng)測(cè)試驗(yàn)收測(cè)試回歸測(cè)試Alpha 測(cè)試Beta 測(cè)試軟 件 測(cè) 試5 軟件測(cè)試流程軟件測(cè)試流程5.1 軟件測(cè)試活動(dòng)軟件測(cè)試活動(dòng)制定測(cè)試計(jì)劃測(cè)試設(shè)計(jì)開(kāi)發(fā)實(shí)施軟件測(cè)試評(píng) 審版本發(fā)布新版本測(cè)試準(zhǔn)備階段未通過(guò)評(píng)審軟件測(cè)試活動(dòng)包括：制定測(cè)試計(jì)劃、測(cè)試設(shè)計(jì)開(kāi)發(fā)和開(kāi)發(fā)、執(zhí)行測(cè)試、評(píng)估測(cè)試6 軟件測(cè)試用例方法軟件測(cè)試用例方法6.1 測(cè)試用例設(shè)計(jì)的基本原則測(cè)試用例設(shè)計(jì)的基本原則用成熟測(cè)試用例設(shè)計(jì)方法來(lái)指導(dǎo)設(shè)計(jì)；測(cè)試用例的正

11、確性；測(cè)試用例的代表性；測(cè)試結(jié)果的可判定性；測(cè)試結(jié)果的可再現(xiàn)性；足夠詳細(xì)、準(zhǔn)確和清晰的步驟；6.2 設(shè)計(jì)測(cè)試用例應(yīng)注意哪些問(wèn)題設(shè)計(jì)測(cè)試用例應(yīng)注意哪些問(wèn)題不要把測(cè)試用例設(shè)計(jì)等同于測(cè)試輸入數(shù)據(jù)的設(shè)計(jì)；軟 件 測(cè) 試不要強(qiáng)調(diào)測(cè)試用例設(shè)計(jì)得越詳細(xì)越好；不要追求測(cè)試用例設(shè)計(jì)“一步到位” ；不要將多個(gè)測(cè)試用例混在一個(gè)用例中；不要讓沒(méi)有測(cè)試經(jīng)驗(yàn)的人員設(shè)計(jì)測(cè)試用例；6.3 測(cè)試用例的作用測(cè)試用例的作用有效性：有效地節(jié)省時(shí)間和資源，提高測(cè)試效率；避免測(cè)試的盲目性，使得軟件測(cè)試的實(shí)施重點(diǎn)突出、目的明確；可維護(hù)性，降低工作強(qiáng)度，縮短項(xiàng)目周期；可復(fù)用性，使得測(cè)試過(guò)程事半功倍；可評(píng)估性：程序代碼質(zhì)量的量化標(biāo)準(zhǔn)應(yīng)該用測(cè)試

12、用例的通過(guò)率和測(cè)試數(shù)目來(lái)進(jìn)行評(píng)估；可管理性，測(cè)試用例是測(cè)試人員在測(cè)試過(guò)程中的重要參考依據(jù)，便于對(duì)測(cè)試工作進(jìn)行有效的管理；6.4 測(cè)試用例設(shè)計(jì)方法測(cè)試用例設(shè)計(jì)方法6.4.1 等價(jià)類劃分等價(jià)類劃分6.4.1.1 劃分等價(jià)類劃分等價(jià)類等價(jià)類是指某個(gè)輸入域的子集合。在該子集合中,各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的，并合理地假定：測(cè)試某等價(jià)類的代表值就等于對(duì)這一類其它值的測(cè)試，因此,可以把全部輸入數(shù)據(jù)合理劃分為若干等價(jià)類,在每一個(gè)等價(jià)類中取一個(gè)數(shù)據(jù)作為測(cè)試的輸入條件就可以用少量代表性的測(cè)試數(shù)據(jù)取得較好的測(cè)試結(jié)果。等價(jià)類劃分可有兩種不同的情況：有效等價(jià)類和無(wú)效等價(jià)類。 1)有效等價(jià)類 是指對(duì)于程序

13、的規(guī)格說(shuō)明來(lái)說(shuō)是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。利用有效等價(jià)類可檢驗(yàn)程序是否實(shí)現(xiàn)了規(guī)格說(shuō)明中所規(guī)定的功能和性能。 2)無(wú)效等價(jià)類 與有效等價(jià)類的定義恰巧相反。無(wú)效等價(jià)類指對(duì)程序的規(guī)格說(shuō)明是不合理的或無(wú)意義的輸入數(shù)據(jù)所構(gòu)成的集合。對(duì)于具體的問(wèn)題，無(wú)效等價(jià)類至少應(yīng)有一個(gè)，也可能有多個(gè)。舉例說(shuō)明：舉例說(shuō)明：某程序規(guī)定：輸入三個(gè)整數(shù) a 、 b 、 c 分別作為三邊的邊長(zhǎng)構(gòu)成三角形。通過(guò)程序判定所構(gòu)成的三角形的類型，當(dāng)此三角形為一般三角形、等腰三角形及等邊三角形時(shí)，分別作計(jì)算 。用等價(jià)類劃分方法為該程序進(jìn)行測(cè)試用例設(shè)計(jì)。分析題目中給出和隱含的對(duì)輸入條件的要求： （1）整數(shù) （2）三個(gè)數(shù) （3）非零

14、數(shù) （4）正數(shù) 軟 件 測(cè) 試 （5）兩邊之和大于第三邊 （6）等腰 （7）等邊 如果 a 、 b 、 c 滿足條件（ 1 ） （ 4 ） ，則輸出下列四種情況之一： 1)如果不滿足條件（5） ，則程序輸出為 非三角形 。 2)如果三條邊相等即滿足條件（7） ，則程序輸出為 等邊三角形 。 3)如果只有兩條邊相等、即滿足條件（6） ，則程序輸出為 等腰三角形 。 4)如果三條邊都不相等，則程序輸出為 一般三角形 。 列出等價(jià)類表并編號(hào)有效等價(jià)類型號(hào)碼無(wú)效等價(jià)類號(hào)碼121314151617整數(shù)1 a 為非整數(shù)一邊為 b 為非整數(shù)非整數(shù) c 為非整數(shù)兩邊為 a，b 為非整數(shù)非整數(shù) b，c 為非整數(shù)

15、 a，c 為非整數(shù)三邊 a，b，c 均為非整數(shù)18192021222324三個(gè)數(shù)2 只給 a只給一邊 只給 b 只給 c 只給 ab只給一邊 只給 b，c 只給 ac給出三個(gè)以上25262728293031非零數(shù)3 a 為 0一邊為零 b 為 0 c 為 0 a，b 為 0只給一邊 b，c 為 0 a，c 為 0三邊 a，b，c 均為 032333435363738輸入條件輸入三個(gè)整數(shù)正數(shù)4 a0一邊0 b0 a0 a0 且 b0二邊0 a0 且 c0 b0 且 c0三邊均0:a0 且 b0且 ccb+ca5 a+bb67b+ca b+c=aa+cb a+c=b45構(gòu)成等腰三角形a=bb=c

16、且兩邊之和大于第三邊a=c 8910條件構(gòu)成等邊三角形a=b=c11覆蓋有效等價(jià)類的測(cè)試用例： a b c 覆蓋等價(jià)類號(hào)碼 3 4 5 （1）-（7） 4 4 5 （1）-（7） ， （8） 4 5 5 （1）-（7） ， （9） 5 4 5 （1）-（7） ， （10） 4 4 4 （1）-（7） ， （11） 覆蓋無(wú)效等價(jià)類的測(cè)試用例：abc覆蓋等價(jià)類號(hào)碼abc覆蓋等價(jià)類號(hào)碼2.545120052934.55133003034.55.514040313.54.55150003234.55.516-345333.544.5173-45344.54.55.51834-535319-3-4536

17、420-34-5375213-4-5383422-3-4-5394523315403524325413452531142045263214330527142443402834145軟 件 測(cè) 試6.4.2 邊界值邊界值6.4.2.1 定義定義邊界值分析法就是對(duì)輸入或輸出的邊界值進(jìn)行測(cè)試的一種黑盒測(cè)試方法。通常邊界值分析法是作為對(duì)等價(jià)類劃分法的補(bǔ)充，這種情況下，其測(cè)試用例來(lái)自等價(jià)類的邊界6.4.2.2 與等價(jià)劃分的區(qū)別與等價(jià)劃分的區(qū)別邊界值分析不是從某等價(jià)類中隨便挑一個(gè)作為代表，而是使這個(gè)等價(jià)類的每個(gè)邊界都要作為測(cè)試條件。邊界值分析不僅考慮輸入條件，還要考慮輸出空間產(chǎn)生的測(cè)試情況。舉例說(shuō)明：舉例

18、說(shuō)明：現(xiàn)有一個(gè)學(xué)生標(biāo)準(zhǔn)化考試批閱試卷,產(chǎn)生成績(jī)報(bào)告的程序。其規(guī)格說(shuō)明如下:程序的輸入文件由一些有 80 個(gè)字符的記錄組成,如右圖所示，所有記錄分為 3 組：標(biāo)題：這一組只有一個(gè)記錄，其內(nèi)容為輸出成績(jī)報(bào)告的名字。 試卷各題標(biāo)準(zhǔn)答案記錄：每個(gè)記錄均在第 80 個(gè)字符處標(biāo)以數(shù)字2。該組的第一個(gè)記錄的第 1 至第 3 個(gè)字符為題目編號(hào)（取值為 1 一 999）。第 10 至第59 個(gè)字符給出第 1 至第 50 題的答案（每個(gè)合法字符表示一個(gè)答案）。該組的第 2，第 3個(gè)記錄相應(yīng)為第 51 至第 100，第 101 至第 150，題的答案。 每個(gè)學(xué)生的答卷描述：該組中每個(gè)記錄的第 80 個(gè)字符均為數(shù)字3

19、。每個(gè)學(xué)生的答卷在若干個(gè)記錄中給出。如甲的首記錄第 1 至第 9 字符給出學(xué)生姓名軟 件 測(cè) 試及學(xué)號(hào)，第 10 至第 59 字符列出的是甲所做的第 1 至第 50 題的答案。若試題數(shù)超過(guò) 50，則第 2，第 3紀(jì)錄分別給出他的第 51 至第 100，第 101 至第150題的解答。然后是學(xué)生乙的答卷記錄。 學(xué)生人數(shù)不超過(guò) 200，試題數(shù)不超過(guò) 999。 程序的輸出有 4 個(gè)報(bào)告： a)按學(xué)號(hào)排列的成績(jī)單，列出每個(gè)學(xué)生的成績(jī)、名次。 b)按學(xué)生成績(jī)排序的成績(jī)單。 c)平均分?jǐn)?shù)及標(biāo)準(zhǔn)偏差的報(bào)告。 d)試題分析報(bào)告。按試題號(hào)排序，列出各題學(xué)生答對(duì)的百分比。 解答：分別考慮輸入條件和輸出條件，以及邊

20、界條件。給出下表所示的輸入條件及相應(yīng)的測(cè)試用例。輸入條件測(cè)試用例輸入文件空輸入文件標(biāo)題沒(méi)有標(biāo)題標(biāo)題只有一個(gè)字符標(biāo)題有 80 個(gè)字符試題數(shù)試題數(shù)為 1試題數(shù)為 50試題數(shù)為 51試題數(shù)為 100試題數(shù)為 0試題數(shù)含有非數(shù)字字符標(biāo)準(zhǔn)答案記錄沒(méi)有標(biāo)準(zhǔn)答案記錄，有標(biāo)題標(biāo)注答案記錄多于一個(gè)標(biāo)注答案記錄少一個(gè)學(xué)生人數(shù)0 個(gè)學(xué)生1 個(gè)學(xué)生200 個(gè)學(xué)生201 個(gè)學(xué)生學(xué)生答題某學(xué)生只有一個(gè)回答記錄，但有兩個(gè)標(biāo)準(zhǔn)答案記錄該學(xué)生是文件中的第一個(gè)學(xué)生該學(xué)生是文件中的最后一個(gè)學(xué)生（記錄數(shù)出錯(cuò)的學(xué)生）學(xué)生答題某學(xué)生有兩個(gè)回答記錄，但只有一個(gè)標(biāo)準(zhǔn)答案記錄該學(xué)生是文件中的第一個(gè)學(xué)生（記錄數(shù)出錯(cuò)的學(xué)生）該學(xué)生是文件中的最后一

21、個(gè)學(xué)生學(xué)生成績(jī)所有學(xué)生的成績(jī)都相等每個(gè)學(xué)生的成績(jī)都不相等部分學(xué)生的成績(jī)相同（檢查是否能按成績(jī)正確排名次）軟 件 測(cè) 試有個(gè)學(xué)生 0 分有個(gè)學(xué)生 100 分輸出條件及相應(yīng)的測(cè)試用例表。輸出條件測(cè)試用例輸出報(bào)告 a、b有個(gè)學(xué)生的學(xué)號(hào)最小（檢查按序號(hào)是否正常）有個(gè)學(xué)生的學(xué)號(hào)最大（檢查按序號(hào)排序是否正確）適當(dāng)?shù)膶W(xué)生人數(shù)，使產(chǎn)生的報(bào)告剛好滿一頁(yè)（檢查打印頁(yè)數(shù)）學(xué)生人數(shù)比剛才多出 1 人（檢查打印換頁(yè)）輸出報(bào)告 c平均成績(jī) 100平均成績(jī) 0標(biāo)準(zhǔn)偏差為最大值（有一半的 0 分，其他 100 分）標(biāo)準(zhǔn)偏差為 0（所欲成績(jī)相等）輸出報(bào)告 d所有學(xué)生都答對(duì)了第一題所有學(xué)生都答錯(cuò)了第一題所有學(xué)生都答對(duì)了最后一題所

22、有學(xué)生都答錯(cuò)了最后一題選擇適當(dāng)?shù)脑囶}數(shù)，是第四個(gè)報(bào)告剛好打滿一頁(yè)試題數(shù)比剛才多 1，使報(bào)告打滿一頁(yè)后，剛好剩下一題未打6.4.3 錯(cuò)誤推測(cè)法錯(cuò)誤推測(cè)法6.4.3.1 定義定義基于經(jīng)驗(yàn)和直覺(jué)推測(cè)程序中所有可能存在的各種錯(cuò)誤, 從而有針對(duì)性的設(shè)計(jì)測(cè)試用例的方法。6.4.4 因果圖因果圖6.4.4.1 定義定義是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，軟 件 測(cè) 試它適合于檢查程序輸入條件的各種組合情況。舉例說(shuō)明：舉例說(shuō)明：某軟件規(guī)格說(shuō)明書(shū)包含這樣的要求：第一列字符必須是 A 或 B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息 L；如

23、果第二列字符不是數(shù)字，則給出信息 M。解答：1) 根據(jù)題意，原因和結(jié)果如下： 原因： 1第一列字符是 A； 2第一列字符是 B； 3第二列字符是一數(shù)字。 結(jié)果： 21修改文件； 22 給出信息 L； 23給出信息 M。2) 其對(duì)應(yīng)的因果圖如下：11 為中間節(jié)點(diǎn)；考慮到原因 1 和原因 2 不可能同時(shí)為 1，因此在因果圖上施加 E 約束。E123112221233)根據(jù)因果圖建立判定表。12345678條件（愿意）1111100002110011003101010101111110022000011動(dòng)作（結(jié)果）21101000軟 件 測(cè) 試23010101A3AMB5BNC2DY測(cè)試用例A8A?

24、B4B!X6P; 表中 8 種情況的左面兩列情況中，原因和原因同時(shí)為 1，這是不可能出現(xiàn)的，故應(yīng)排除這兩種情況。表的最下一欄給出了 6 種情況的測(cè)試用例，這是我們所需要的數(shù)據(jù)。 6.4.5 判定表判定表6.5.5.1 定義定義判定表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具6.5.5.2 判定表的建立步驟判定表的建立步驟確定規(guī)則的個(gè)數(shù).假如有 n 個(gè)條件。每個(gè)條件有兩個(gè)取值（0,1）,故有 2n種規(guī)則。列出所有的條件樁和動(dòng)作樁。填入條件項(xiàng)。填入動(dòng)作項(xiàng)。等到初始判定表。簡(jiǎn)化.合并相似規(guī)則（相同動(dòng)作）。7 軟件測(cè)試工具軟件測(cè)試工具7.1 功能測(cè)試工具功能測(cè)試工具M(jìn)ercury Interactive WinrunnerMercury Interactive QuickTest ProfessionalIBM Rational RobotCompuware QARun7.2 性能測(cè)試工具性能測(cè)試工具M(jìn)ercury Interactive LoadRunnerIBM Rational RobotCompuware QALoadMicrosoft Web Application Stress Tool軟