【文章內(nèi)容簡(jiǎn)介】 ②用例設(shè)計(jì)()： ③優(yōu)點(diǎn)：判定覆蓋比語(yǔ)句覆蓋要多幾乎一倍的測(cè)試路徑，當(dāng)然也就具有比語(yǔ)句覆蓋更強(qiáng)的測(cè)試能力。同樣判定覆蓋也具有和語(yǔ)句覆蓋一樣的簡(jiǎn)單性，無(wú)須細(xì)分每個(gè)判定就可以得到測(cè)試用例。 ④缺點(diǎn)：往往大部分的判定語(yǔ)句是由多個(gè)邏輯條件組合而成（如，判定語(yǔ)句中包含AND、OR、CASE），若僅僅判斷其整個(gè)最終結(jié)果，而忽略每個(gè)條件的取值情況，必然會(huì)遺漏部分測(cè)試路徑。 （3）條件覆蓋 ①主要特點(diǎn)：條件覆蓋要求設(shè)計(jì)足夠多的測(cè)試用例，使得判定中的每個(gè)條件獲得各種可能的結(jié)果，即每個(gè)條件至少有一次為真值，有一次為假值。 ②用例設(shè)計(jì)()： ③優(yōu)點(diǎn)：顯然條件覆蓋比判定覆蓋，增加了對(duì)符合判定情況的測(cè)試，增加了測(cè)試路徑。 ④缺點(diǎn)：要達(dá)到條件覆蓋，需要足夠多的測(cè)試用例，但條件覆蓋并不能保證判定 覆蓋。條件覆蓋只能保證每個(gè)條件至少有一次為真，而不考慮所有的判定結(jié)果。 （4）判定/條件覆蓋 ①主要特點(diǎn)：設(shè)計(jì)足夠多的測(cè)試用例，使得判定中每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一次，每個(gè)判定本身所有可能結(jié)果也至少出現(xiàn)一次。 ②用例設(shè)計(jì)()： ③優(yōu)點(diǎn)：判定/條件覆蓋滿(mǎn)足判定覆蓋準(zhǔn)則和條件覆蓋準(zhǔn)則，彌補(bǔ)了二者的不足。 ④缺點(diǎn)：判定/條件覆蓋準(zhǔn)則的缺點(diǎn)是未考慮條件的組合情況。 （5）組合覆蓋 ①主要特點(diǎn)：要求設(shè)計(jì)足夠多的測(cè)試用例，使得每個(gè)判定中條件結(jié)果的所有可能組合至少出現(xiàn)一次。 ②用例設(shè)計(jì)()： ③優(yōu)點(diǎn)：多重條件覆蓋準(zhǔn)則滿(mǎn)足判定覆蓋、條件覆蓋和判定/條件覆蓋準(zhǔn)則。更改的判定/條件覆蓋要求設(shè)計(jì)足夠多的測(cè)試用例，使得判定中每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一次，每個(gè)判定本身的所有可能結(jié)果也至少出現(xiàn)一次。并且每個(gè)條件都顯示能單獨(dú)影響判定結(jié)果。 ④缺點(diǎn)：線性地增加了測(cè)試用例的數(shù)量。 （6）路徑覆蓋 ①主要特點(diǎn)：設(shè)計(jì)足夠的測(cè)試用例，覆蓋程序中所有可能的路徑。 ②用例設(shè)計(jì)()： ③優(yōu)點(diǎn)：這種測(cè)試方法可以對(duì)程序進(jìn)行徹底的測(cè)試，比前面五種的覆蓋面都廣。 ④缺點(diǎn)：由于路徑覆蓋需要對(duì)所有可能的路徑進(jìn)行測(cè)試（包括循環(huán)、條件組合、分支選擇等），那么需要設(shè)計(jì)大量、復(fù)雜的測(cè)試用例，使得工作量呈指數(shù)級(jí)增長(zhǎng)。而在有些情況下，一些執(zhí)行路徑是不可能被執(zhí)行的，如： If （!A）B++； ~ Fc3Q~~0If （!A）D； 這兩個(gè)語(yǔ)句實(shí)際只包括了2條執(zhí)行路徑，即A為真或假時(shí)候?qū)和D的處理，真或假不可能都存在，而路徑覆蓋測(cè)試則認(rèn)為是包含了真與假的4條執(zhí)行路徑。這樣不僅降低了測(cè)試效率，而且大量的測(cè)試結(jié)果的累積，也為排錯(cuò)帶來(lái)麻煩。 （1）工具名：Jtest 支持語(yǔ)言環(huán)境：Java 簡(jiǎn)介：代碼分析和動(dòng)態(tài)類(lèi)、組件測(cè)試 （2）工具名：Jcontract 支持語(yǔ)言環(huán)境：Java 簡(jiǎn)介：實(shí)時(shí)性能監(jiān)控以及分析優(yōu)化 （3）工具名：C++ Test 支持語(yǔ)言環(huán)境：C,C++ 簡(jiǎn)介：代碼分析和動(dòng)態(tài)測(cè)試 （4）工具名：CodeWizard 支持語(yǔ)言環(huán)境：C,C++ 簡(jiǎn)介：代碼靜態(tài)分析 （5）工具名：Insure++ 支持語(yǔ)言環(huán)境：C,C++ 簡(jiǎn)介：實(shí)時(shí)性能監(jiān)控以及分析優(yōu)化 （6）工具名：.test 支持語(yǔ)言環(huán)境：.Net 簡(jiǎn)介：代碼分析和動(dòng)態(tài)測(cè)試 （1）工具名：BoundsChecker 支持語(yǔ)言環(huán)境：C++,Delphi 簡(jiǎn)介：API和OLE錯(cuò)誤檢查、指針和泄露錯(cuò)誤檢查、內(nèi)存錯(cuò)誤檢查 （2）工具名：TrueTime 支持語(yǔ)言環(huán)境：C++,Java,Visual Basic 簡(jiǎn)介：代碼運(yùn)行效率 檢查、組件性能的分析 （3）工具名：FailSafe 支持語(yǔ)言環(huán)境：Visual Basic 簡(jiǎn)介：自動(dòng)錯(cuò)誤處理和恢復(fù)系統(tǒng) （4）工具名：Jcheck 支持語(yǔ)言環(huán)境：MS Visual J++ 簡(jiǎn)介：圖形化的純種和事件分析工具 （5）工具名：TrueCoverage 支持語(yǔ)言環(huán)境：C++,Java,Visual Basic 簡(jiǎn)介：函數(shù)調(diào)用次數(shù)、所占比率統(tǒng)計(jì)以及穩(wěn)定性跟蹤 （6）工具名：SmartCheck 支持語(yǔ)言環(huán)境：Visual Basic 簡(jiǎn)介：函數(shù)調(diào)用次數(shù)、所占比率統(tǒng)計(jì)以及穩(wěn)定性跟蹤 （7）工具名：CodeReview 支持語(yǔ)言環(huán)境：Visual Basic 簡(jiǎn)介：自動(dòng)源代碼分析工具 隨著軟件測(cè)試的地位逐步提高，測(cè)試管理的重要性逐步顯現(xiàn)，測(cè)試工具的應(yīng)用已經(jīng)成為了普遍的趨勢(shì)。目前用于測(cè)試的工具一般可分為白盒測(cè)試工具、黑盒測(cè)試工具、性能測(cè)試工具，另外還有用于測(cè)試管理（測(cè)試流程管理、缺陷跟蹤管理、測(cè)試用例管理）的工具。 總的來(lái)說(shuō)，測(cè)試工具的應(yīng)用可以提高測(cè)試的質(zhì)量、測(cè)試的效率。但是在選擇和使用測(cè)試工具的時(shí)候，我們也應(yīng)該看到，在測(cè)試過(guò)程中，并不是所有的測(cè)試工具都適合我們使用，同時(shí)，有了測(cè)試工具、會(huì)使用測(cè)試工具并不等于測(cè)試工具真正能在測(cè)試中發(fā)揮作用。 第二章 項(xiàng)目分析與規(guī)劃測(cè)試 英文練習(xí)模塊：，以程序中要求取出字符數(shù)輸出到界面，由用戶(hù)輸入，程序判斷用戶(hù)練習(xí)的速度,時(shí)間,正確率等數(shù)據(jù)。 數(shù)字練習(xí)模塊：，以程序中要求取出字符數(shù)輸出到界面，由用戶(hù)輸入，程序判斷用戶(hù)練習(xí)的速度,時(shí)間,正確率等數(shù)據(jù)。 字符練習(xí)模塊：，以程序中要求取出字符數(shù)輸出到界面，由用戶(hù)輸入，程序判斷用戶(hù)練習(xí)的速度,時(shí)間,正確率等數(shù)據(jù)。 所有字符練習(xí)：，以程序中要求取出字符數(shù)輸出到界面，由用戶(hù)輸入，程序判斷用戶(hù)練習(xí)的速度,時(shí)間,正確率等數(shù)據(jù)。 打字練習(xí)結(jié)果計(jì)算模塊：計(jì)算用戶(hù)練習(xí)的結(jié)果信息 打字練習(xí)數(shù)據(jù)修改模塊：用戶(hù)自定義練習(xí)數(shù)據(jù)，修改后確定保存后更新相應(yīng)數(shù)據(jù)庫(kù) 測(cè)試環(huán)境配置 測(cè)試環(huán)境主要包括軟件環(huán)境和硬件環(huán)境，本項(xiàng)目具體測(cè)試環(huán)境為： 軟件環(huán)境： 操作系統(tǒng)：Microsoft Windows xp Professional 2002 CHS 運(yùn)行平臺(tái)：Microsoft Visual Studio 2008 軟件支持: Mercury TestDirector 硬件環(huán)境： Cpu：Intel(R)Pentium(R)M processor 內(nèi)存：DDR1G 硬盤(pán)：80G(5400轉(zhuǎn)) 顯卡：獨(dú)立ATI 64M 網(wǎng)卡：100M/10M 測(cè)試思路與測(cè)試方案設(shè)計(jì) 對(duì)程序進(jìn)行分析，設(shè)計(jì)測(cè)試計(jì)劃，實(shí)施測(cè)試，對(duì)用例的管理。 第三章 系統(tǒng)白盒測(cè)試實(shí)例的實(shí)現(xiàn) 測(cè)試主要為打字系統(tǒng)的白盒測(cè)試。保證程序的代碼規(guī)范，代碼正確，數(shù)據(jù)調(diào)用正確，以及程序模塊單獨(dú)正常運(yùn)行，保證局部模塊功能完備性，運(yùn)行正確性與穩(wěn)定性。使界面符合設(shè)計(jì)規(guī)范，適用于用戶(hù)。 所要測(cè)試的測(cè)試項(xiàng)： 打字程序需求報(bào)告，需求規(guī)格說(shuō)明書(shū)； 打字程序詳細(xì)設(shè)計(jì)文檔； 打字程序代碼編寫(xiě)規(guī)范； 代碼中變量的命名標(biāo)準(zhǔn)； 打字程序界面規(guī)范。 測(cè)試通過(guò)主要依照以下標(biāo)準(zhǔn)： 打字程序需求報(bào)告，需求規(guī)格說(shuō)明書(shū)測(cè)試通過(guò)的標(biāo)準(zhǔn)：需求報(bào)告及需求規(guī)格說(shuō)明書(shū)文檔中描述的正確性，無(wú)異性。 打字程序詳細(xì)設(shè)計(jì)文檔測(cè)試通過(guò)的標(biāo)準(zhǔn)：文檔中描述的正確性，無(wú)異性。 打字程序代碼編寫(xiě)規(guī)范：創(chuàng)建的變量、接口、函數(shù)、屬性應(yīng)與《設(shè)計(jì)文檔》保持一致；程序的各種命名、注釋、代碼行的格式等應(yīng)符合《程序開(kāi)發(fā)命名標(biāo)準(zhǔn)》和《編碼規(guī)范》；程序模塊能獨(dú)立穩(wěn)定運(yùn)行。 打字程序界面測(cè)試通過(guò)的標(biāo)準(zhǔn)：界面的樣式、大小、顏色、整體布局的設(shè)置；各種標(biāo)簽控件的使用及主題描述以及事件源控件的使用、快捷鍵使用都應(yīng)符合《NC系統(tǒng)應(yīng)用框架需求報(bào)告》和《設(shè)計(jì)文檔的相關(guān)規(guī)范》。 需要列出所測(cè)試類(lèi)的調(diào)用關(guān)系和關(guān)鍵方法的調(diào)用關(guān)系（依據(jù)數(shù)據(jù)流）。 變量命名及代碼書(shū)寫(xiě)規(guī)范檢查； 變量定義、函數(shù)、方法、數(shù)組、變量的使用檢查； 檢查是否有定義未使用的變量； 檢查全局變量的使用情況； 檢查程序代碼循環(huán)情況； 檢查是否為引用的指針?lè)峙鋬?nèi)存； 檢查數(shù)組運(yùn)算情況。 控制流分析； 數(shù)據(jù)流分析； 信息流分析； 畫(huà)出該代碼的控制流程圖； 計(jì)算程序的圈復(fù)雜度； 做基本路徑覆蓋，設(shè)計(jì)相應(yīng)測(cè)試用例； 分析測(cè)試結(jié)果。 (1) 被測(cè)試對(duì)象（單元）的介紹 接口A：用戶(hù)選擇模塊中用戶(hù)選擇所要練習(xí)的模塊，由參數(shù)傳至具體模塊 接口B：用戶(hù)選擇退出，由參數(shù)傳至退出模塊 接口C：用戶(hù)自定義練習(xí)數(shù)據(jù)，數(shù)據(jù)庫(kù)內(nèi)容相對(duì)更新 (2) 測(cè)試范圍與目的 檢查參數(shù)傳送的正確性及函數(shù)的正確性 (3)測(cè)試輔助工具的描述 操作系統(tǒng)：Microsoft Windows xp Professional 2002 CHS 運(yùn)行平臺(tái)：Microsoft Visual Studio 2005 (4) 接口測(cè)試用例 接口A： 接口B： 接口C： 數(shù)據(jù)流測(cè)試是指關(guān)注變量定義點(diǎn)和使用（或引用）點(diǎn)的一種結(jié)構(gòu)測(cè)試方式，它和數(shù)據(jù)流圖沒(méi)有什么聯(lián)系，實(shí)際上，很多數(shù)據(jù)流測(cè)試支持者和研究人員將這種測(cè)試方法看做是一種路徑測(cè)試。早期的數(shù)據(jù)流分析常常集中于現(xiàn)在叫做定義/引用異常缺陷，如： 變量被定義，但從來(lái)沒(méi)有被使用（引用）。 所使用的變量沒(méi)有被定義。 變量在使用之前被再次定義。 這些異?？梢酝ㄟ^(guò)程序的索引表發(fā)現(xiàn)。由于索引表信息是有編譯器生成的，因此這些異?？梢酝ㄟ^(guò)所謂景泰分析發(fā)現(xiàn)，即在不執(zhí)行被測(cè)程序的情況下發(fā)現(xiàn)源代碼的一些數(shù)據(jù)流異常。 首先來(lái)分析代碼，找出節(jié)點(diǎn)及數(shù)據(jù)流，畫(huà)出程序流圖， （1）數(shù)據(jù)流分析 數(shù)據(jù)流分析在軟件開(kāi)發(fā)、測(cè)試和維護(hù)中起著十分重要的作用。它將程序中變量的出現(xiàn)分為變量的定義和引用。所謂的數(shù)據(jù)流分析是指在不運(yùn)行被測(cè)程序的情況下，對(duì)變量的定義、引用進(jìn)行分析，以檢測(cè)數(shù)據(jù)的賦值與引用之間是否出現(xiàn)了不合理的現(xiàn)象，如引用未賦值的變量，對(duì)以前未曾使用變量的再次賦值等數(shù)據(jù)流異常現(xiàn)象。 我們根據(jù)圖42給出的一個(gè)程序的控制流圖，其中每個(gè)語(yǔ)句的定義/使用變量由表43給出，下面我們來(lái)看看詳細(xì)的表43，并對(duì)其結(jié)果做出分析 通過(guò)變量的定義/引用分析，可以發(fā)現(xiàn)該程序中含有幾個(gè)數(shù)據(jù)流異常： 語(yǔ)句1，2對(duì)變量i的定義未曾被使用過(guò) 語(yǔ)句11使用了變量Timeyser,但在執(zhí)行時(shí)并未對(duì)其定義過(guò) 語(yǔ)句14使用了變量ctime，而在其之前并未對(duì)其進(jìn)行定義（賦值） 經(jīng)過(guò)上面的分析，發(fā)現(xiàn)程序中包含有些異常，有些語(yǔ)句執(zhí)行還有錯(cuò)誤，不過(guò)這一情況表明， 也許程序中含有錯(cuò)誤，也許可以把程序?qū)懙母菀桌斫?，從而能夠?jiǎn)化驗(yàn)證 工作，以及隨后的維護(hù)工作（去掉那些多余的語(yǔ)句一般會(huì)縮短執(zhí)行時(shí)間） 定義/使用測(cè)試假設(shè)V是程序P中變量的集合，程序P的控制流圖用G(P)表示。G(P)有一個(gè)單入口和一個(gè)單出口結(jié)點(diǎn)，并且不允許有某個(gè)結(jié)點(diǎn)到其自身的身邊。為描述定義/使用測(cè)試，下面先定義幾個(gè)基本術(shù)語(yǔ)： 變量v的定義結(jié)點(diǎn)n記做DEF(v,n) 變量v的定義結(jié)點(diǎn)n記做USE(v,n) 謂詞使用記做P—use 定義/使用路徑記做du—path 定義明確路徑記做dcpath 表44將給出打字程序中變量的定義結(jié)點(diǎn)和使用結(jié)點(diǎn)。使用這些信息，結(jié)合圖42中的程序控制流圖，可以識(shí)別各種定義/使用路徑和定義明確路徑，對(duì)于不可執(zhí)行的語(yǔ)句，例如常量和變量說(shuō)明語(yǔ)句，是否應(yīng)該被認(rèn)為是定義結(jié)點(diǎn)，現(xiàn)在還是學(xué)術(shù)界爭(zhēng)論的一個(gè)問(wèn)題。如果沿定義/使用路徑跟蹤程序的執(zhí)行情況，則這些結(jié)點(diǎn)并不很重要。但是如果出現(xiàn)了問(wèn)題，包含這些結(jié)點(diǎn)有助于發(fā)現(xiàn)問(wèn)題，則可視情況做出選擇。 下面將較詳細(xì)的分析一些定義/使用路徑。 變量Right_char的定義/使用路徑 變量Right_char有兩個(gè)定義結(jié)點(diǎn)和兩個(gè)使用結(jié)點(diǎn)DEF(Right_char,3)和DEF(Right_char,31)以及USE(Right_char,31)和USE(Right_char,44)，產(chǎn)生了3條定義/使用路徑： P1=3,4,5,```````````````,31 P2=31,31 P3=31,44 根據(jù)基本路徑測(cè)試的方法，我們將先給出打字程序的數(shù)據(jù)控制流程圖。 1．畫(huà)出打字程序的控制流程圖流程圖用來(lái)描述程序控制結(jié)構(gòu)?？蓪⒘鞒虉D映射到一個(gè)相應(yīng)的流圖(假設(shè)流程圖的菱形決定框中不包含復(fù)合條件)。在流圖中，每一個(gè)圓，稱(chēng)為流圖的結(jié)點(diǎn)，代表一個(gè)或多個(gè)語(yǔ)句。一個(gè)處理方框序列和一個(gè)菱形決策框可被映射為一個(gè)結(jié)點(diǎn)，流圖中的箭頭，稱(chēng)為邊或連接，代表控制流，類(lèi)似于流程圖中的箭頭。一條邊必須終止于一個(gè)結(jié)點(diǎn)，即使該結(jié)點(diǎn)并不代表任何語(yǔ)句(例如：ifelsethen結(jié)構(gòu))。由邊和結(jié)點(diǎn)限定的范圍稱(chēng)為區(qū)域。計(jì)算區(qū)域時(shí)應(yīng)包括圖外部的范圍。 圖46 打字程序計(jì)算模塊代碼程序控制流程圖 圈復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測(cè)度的軟件度量，將該度量用于計(jì)算程序的基本的獨(dú)立路徑數(shù)目，為確保所有語(yǔ)句至少執(zhí)行一次的測(cè)試數(shù)量的上界。獨(dú)立路徑必須包含一條在定義之前不曾用到的邊。 有以下三種方法計(jì)算圈復(fù)雜度： 流圖中區(qū)域的數(shù)量對(duì)應(yīng)于環(huán)型的復(fù)雜性； 給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=EN+2，E是流圖中邊的數(shù)量，N是流圖中結(jié)點(diǎn)的數(shù)量； 給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=P+1，P是流圖G中判定結(jié)點(diǎn)的數(shù)量。 對(duì)應(yīng)上面圖中的圈復(fù)雜度計(jì)算如下： 流圖中有５個(gè)區(qū)域 V(G)=23條邊19節(jié)點(diǎn)+2=６ V(G)=５判定點(diǎn)+1=６ 根據(jù)上面的計(jì)算方法，可得出六個(gè)獨(dú)立的路徑。(一條獨(dú)立路徑是指，和其他的獨(dú)立路徑相比，至少引入一個(gè)新處理語(yǔ)句或一個(gè)新判斷的程序通