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

1、 摘 要完成時(shí)間：2013年4月從軟件產(chǎn)業(yè)的發(fā)展初期到目前的大型軟件開發(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)鍵詞：軟件測(cè)試； 軟件測(cè)試的分類； 軟件測(cè)試方法； 測(cè)試用例；測(cè)試工具；目 錄1軟件測(cè)試的發(fā)展史72軟件測(cè)試的基礎(chǔ)理論72.1軟件測(cè)試的定義72.2軟件測(cè)試的描述82.3軟件測(cè)試的目的82.4軟件測(cè)試的原則83軟件測(cè)試的容83

2、.1驗(yàn)證(verification)83.2確認(rèn)(validation)94軟件測(cè)試的分類94.1角度分類94.2階段細(xì)分95軟件測(cè)試流程105.1軟件測(cè)試活動(dòng)106軟件測(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邊界值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

3、軟件測(cè)試工具187.1功能測(cè)試工具187.2性能測(cè)試工具187.3測(cè)試管理工具197.4其他測(cè)試工具198參考文獻(xiàn)199致 201軟件測(cè)試的發(fā)展史l 20世紀(jì)60年代（軟件工程建立前），為表明程序正確而進(jìn)行測(cè)試。l 1972年在北卡羅來(lái)納大學(xué)舉行了首屆軟件測(cè)試正式會(huì)議。l 1975年John Good Enough和Susan Gerhart在IEEE上發(fā)表了測(cè)試數(shù)據(jù)選擇的原理的文章，軟件測(cè)試被確定為一種研究方向。l 1979年，Glenford Myers的軟件測(cè)試藝術(shù)，對(duì)測(cè)試做了定義：測(cè)試是為發(fā)現(xiàn)錯(cuò)誤而執(zhí)行的一個(gè)程序或者系統(tǒng)的過(guò)程。l 20世紀(jì)80年代早期，“質(zhì)量”的號(hào)角開始吹響。軟件測(cè)試

4、定義發(fā)生了改變，測(cè)試不單純是一個(gè)發(fā)現(xiàn)錯(cuò)誤的過(guò)程，而且包含軟件質(zhì)量評(píng)價(jià)的容。制定了各類標(biāo)準(zhǔn)。l 1983年，Bill Hetzel在軟件測(cè)試完全指南中指出：測(cè)試是以評(píng)價(jià)一個(gè)程序或者系統(tǒng)屬性為目標(biāo)的任何一種活動(dòng)，測(cè)試是對(duì)軟件質(zhì)量的度量。l 20世紀(jì)90年代，測(cè)試工具盛行起來(lái)。l 1996年提出的測(cè)試能力成熟度TCMM（Testing Capability Maturity Model）、測(cè)試支持度TSM（Testability Support Model）、測(cè)試成熟度TMM（Testing Maturity Model）。l 到了2002年，Rick和Stefan在系統(tǒng)的軟件測(cè)試一書中對(duì)軟件測(cè)試做

5、了進(jìn)一步定義：測(cè)試是為了度量和提高被測(cè)軟件的質(zhì)量，對(duì)測(cè)試軟件進(jìn)行工程設(shè)計(jì)、實(shí)施和維護(hù)的整個(gè)生命過(guò)程。2軟件測(cè)試的基礎(chǔ)理論2.1軟件測(cè)試的定義軟件測(cè)試使用人工或者自動(dòng)手段來(lái)運(yùn)行或測(cè)試某個(gè)系統(tǒng)的過(guò)程,其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或弄清預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。l 測(cè)試并不僅僅是為了找出錯(cuò)誤.通過(guò)分析錯(cuò)誤產(chǎn)生的原因和錯(cuò)誤的發(fā)生趨勢(shì),可以幫助項(xiàng)目管理者發(fā)現(xiàn)當(dāng)前軟件開發(fā)過(guò)程中的缺陷,以便與時(shí)改進(jìn)；l 這種分析也能幫助測(cè)試人員設(shè)計(jì)出有針對(duì)性的測(cè)試方法,改善測(cè)試的效率和有效性；l 沒有發(fā)現(xiàn)錯(cuò)誤的測(cè)試也是有價(jià)值的,完整的測(cè)試是評(píng)定軟件質(zhì)量的一種方法。2.2軟件測(cè)試的描述測(cè)試是軟件開發(fā)過(guò)程的重要組成部

6、分, 是用來(lái)確認(rèn)一個(gè)程序的品質(zhì)或性能是否符合開發(fā)之前所提出的一些要求。軟件測(cè)試的目的, 第一是確認(rèn)軟件的質(zhì)量, 其一方面是確認(rèn)軟件做了你所期望的事情（Do the right thing）, 另一方面是確認(rèn)軟件以正確的方式來(lái)做了這個(gè)事件（Do it right）；第二是提供信息, 比如提供給開發(fā)人員或程序經(jīng)理的反饋信息, 為風(fēng)險(xiǎn)評(píng)估所準(zhǔn)備的信息；第三軟件測(cè)試不僅是在測(cè)試軟件產(chǎn)品的本身, 而且還包括軟件開發(fā)的過(guò)程。如果一個(gè)軟件產(chǎn)品開發(fā)完成之后發(fā)現(xiàn)了很多問(wèn)題, 這說(shuō)明此軟件開發(fā)過(guò)程很可能是有缺陷的。2.3軟件測(cè)試的目的l 測(cè)試是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過(guò)程；l 測(cè)試是確保最終用戶的產(chǎn)品符合

7、用戶的需求；l 成功的測(cè)試是發(fā)現(xiàn)了至今為止尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試；2.4軟件測(cè)試的原則l 盡早地進(jìn)行軟件測(cè)試，并把軟件測(cè)試貫穿整個(gè)軟件生命周期l 軟件測(cè)試應(yīng)追溯l 測(cè)試應(yīng)由第三方來(lái)構(gòu)造l 窮舉測(cè)試時(shí)不可能，要遵循good-enough原則l 必須確定預(yù)期輸出結(jié)果l 必須徹底檢查每個(gè)測(cè)試結(jié)果l 充分注意測(cè)試中的群集現(xiàn)象l 其他值得注意到規(guī)律和經(jīng)驗(yàn)3軟件測(cè)試的容3.1驗(yàn)證(verification)驗(yàn)證(verification)是保證軟件正確地實(shí)現(xiàn)了一些特定功能的一系列活動(dòng), 即保證軟件做了你所期望的事情。(Do the right thing) l 確定軟件生存周期中的一個(gè)給定階段的產(chǎn)品是否達(dá)到

8、前階段確立的需求的過(guò)程；l 程序正確性的形式證明, 即采用形式理論證明程序符號(hào)設(shè)計(jì)規(guī)約規(guī)定的過(guò)程；l 評(píng)市、審查、測(cè)試、檢查、審計(jì)等各類活動(dòng), 或?qū)δ承╉?xiàng)處理、服務(wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報(bào)告。3.2確認(rèn)(validation)確認(rèn)(validation)是一系列的活動(dòng)和過(guò)程, 目的是想證實(shí)在一個(gè)給定的外部環(huán)境中軟件的邏輯正確性。即保證軟件以正確的方式來(lái)做了這個(gè)事件(Do it right)l 靜態(tài)確認(rèn), 不在計(jì)算機(jī)上實(shí)際執(zhí)行程序, 通過(guò)人工或程序分析來(lái)證明軟件的正確性；l 動(dòng)態(tài)確認(rèn), 通過(guò)執(zhí)行程序做分析, 測(cè)試程序的動(dòng)態(tài)行為, 以證實(shí)軟件是否存在問(wèn)題。4軟件測(cè)試的分類4.

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

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

11、應(yīng)該用測(cè)試用例的通過(guò)率和測(cè)試數(shù)目來(lái)進(jìn)行評(píng)估；l 可管理性，測(cè)試用例是測(cè)試人員在測(cè)試過(guò)程中的重要參考依據(jù)，便于對(duì)測(cè)試工作進(jìn)行有效的管理；6.4測(cè)試用例設(shè)計(jì)方法6.4.1等價(jià)類劃分6.4.1.1劃分等價(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ì)

12、于程序的規(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ō)明：某程序規(guī)定："輸入三個(gè)整數(shù) a 、 b 、 c 分別作為三邊的邊長(zhǎng)構(gòu)成三角形。通過(guò)程序判定所構(gòu)成的三角形的類型，當(dāng)此三角形為一般三角形、等腰三角形與等邊三角形時(shí)，分別作計(jì)算 "。用等價(jià)類劃分方法為該程序進(jìn)行測(cè)試用例設(shè)計(jì)。分析題目中給出和隱含的對(duì)

13、輸入條件的要求：   （1）整數(shù)    （2）三個(gè)數(shù)    （3）非零數(shù)   （4）正數(shù)     （5）兩邊之和大于第三邊     （6）等腰     （7）等邊    如果 a 、 b 、 c 滿足條件（ 1 ） （ 4 ），則輸出下列四種情況之一：   1)如果不滿足條件（5），則程序輸出為 " 非三角形 " 。  

14、; 2)如果三條邊相等即滿足條件（7），則程序輸出為 " 等邊三角形 " 。   3)如果只有兩條邊相等、即滿足條件（6），則程序輸出為 " 等腰三角形 " 。   4)如果三條邊都不相等，則程序輸出為 " 一般三角形 " 。    列出等價(jià)類表并編號(hào)輸入條件輸入三個(gè)整數(shù)有效等價(jià)類型無(wú)效等價(jià)類整數(shù)1 a為非整數(shù)一邊為 b為非整數(shù)非整數(shù) c為非整數(shù)兩邊為 a，b為非整數(shù)非整數(shù) b，c為非整數(shù) a，c為非整數(shù)三邊a，b，c均為非整數(shù)12131415161718三個(gè)數(shù)2 只給a只給

15、一邊 只給b 只給c 只給ab只給一邊 只給b，c 只給ac給出三個(gè)以上19202122232425非零數(shù)3 a為0一邊為零 b為0 c為0 a，b為0只給一邊 b，c為0 a，c為0三邊a，b，c均為026272829303132正數(shù)4 a<0一邊<0 b<0 a<0a<0且b<0二邊<0 a<0且c<0 b<0且c<0三邊均<0:a<0且b<0且c<033343536373839輸出條件構(gòu)成一般三角形a+b>cb+c>aa+c>b567 a+b<ca+b=cb+c<a b

16、+c=aa+c<b a+c=b404142434445構(gòu)成等腰三角形a=bb=c 且兩邊之和大于第三邊a=c 8910構(gòu)成等邊三角形a=b=c11覆蓋有效等價(jià)類的測(cè)試用例：    a      b      c         覆蓋等價(jià)類    3      4  

17、0;   5         （1）-（7）    4      4      5         （1）-（7），（8）    4      5    

18、60; 5          （1）-（7），（9）        5      4      5         （1）-（7），（10）    4      4 &#

19、160;    4         （1）-（7），（11）  覆蓋無(wú)效等價(jià)類的測(cè)試用例：abc覆蓋等價(jià)類abc覆蓋等價(jià)類2.545120052934.55133003034.55.514040313.54.55150003234.55.516-345333.544.5173-45344.54.55.51834-535319-3-4536420-34-5375213-4-5383422-3-4-539452331540352432541345253114204526

20、32143305271424434028341456.4.2邊界值6.4.2.1定義邊界值分析法就是對(duì)輸入或輸出的邊界值進(jìn)行測(cè)試的一種黑盒測(cè)試方法。通常邊界值分析法是作為對(duì)等價(jià)類劃分法的補(bǔ)充，這種情況下，其測(cè)試用例來(lái)自等價(jià)類的邊界6.4.2.2與等價(jià)劃分的區(qū)別l 邊界值分析不是從某等價(jià)類中隨便挑一個(gè)作為代表，而是使這個(gè)等價(jià)類的每個(gè)邊界都要作為測(cè)試條件。l 邊界值分析不僅考慮輸入條件，還要考慮輸出空間產(chǎn)生的測(cè)試情況。舉例說(shuō)明：現(xiàn)有一個(gè)學(xué)生標(biāo)準(zhǔn)化考試批閱試卷,產(chǎn)生成績(jī)報(bào)告的程序。其規(guī)格說(shuō)明如下:程序的輸入文件由一些有80個(gè)字符的記錄組成,如右圖所示，所有記錄分為3組：標(biāo)題：這一組只有一個(gè)記錄，其容

21、為輸出成績(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"。每個(gè)學(xué)生的答卷在若干個(gè)記錄中給出。如甲的首記錄第1至第9字符給出學(xué)生與學(xué)號(hào)，第10至第59字符列出的是甲所做的第1至第50題的答案。若試題數(shù)超過(guò)50，則第2，第3紀(jì)錄

22、分別給出他的第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ì)的百分比。   解答：分別考慮輸入條件和輸出條件，以與邊界條件。給出下表所示的輸入條件與相應(yīng)的測(cè)試用例。輸

23、入條件測(cè)試用例輸入文件空輸入文件標(biāo)題沒有標(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)答案記錄沒有標(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é)生是文件中的最后一個(gè)學(xué)生學(xué)生成績(jī)所有學(xué)生的成績(jī)都相等每個(gè)學(xué)生的成績(jī)都不相等部分學(xué)生的成績(jī)一

24、樣（檢查是否能按成績(jī)正確排名次）有個(gè)學(xué)生0分有個(gè)學(xué)生100分輸出條件與相應(yīng)的測(cè)試用例表。輸出條件測(cè)試用例輸出報(bào)告a、b有個(gè)學(xué)生的學(xué)號(hào)最?。z查按序號(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ì)了最后一題所有學(xué)生都答錯(cuò)了最后一題選擇適當(dāng)?shù)脑囶}數(shù)，是第四個(gè)報(bào)告剛好打滿一頁(yè)試題數(shù)比剛才多1，使報(bào)告打滿一頁(yè)后，剛好剩下一題未打6

25、.4.3錯(cuò)誤推測(cè)法6.4.3.1定義基于經(jīng)驗(yàn)和直覺推測(cè)程序中所有可能存在的各種錯(cuò)誤, 從而有針對(duì)性的設(shè)計(jì)測(cè)試用例的方法。6.4.4因果圖6.4.4.1定義是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，它適合于檢查程序輸入條件的各種組合情況。舉例說(shuō)明：某軟件規(guī)格說(shuō)明書包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。解答：1) 根據(jù)題意，原因和結(jié)果如下：       原因： 

26、0;        1第一列字符是A；          2第一列字符是B；          3第二列字符是一數(shù)字。       結(jié)果：          21修改文件；  &#

27、160;       22 給出信息L；          23給出信息M。2) 其對(duì)應(yīng)的因果圖如下：11為中間節(jié)點(diǎn)；考慮到原因1和原因2不可能同時(shí)為1，因此在因果圖上施加E約束。E123112221233)根據(jù)因果圖建立判定表。12345678條件（愿意）111110000動(dòng)作（結(jié)果）21100110031010101011111100220000112110100023010101測(cè)試用例A3AMB5BNC2DYA8A?B4B!X6

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