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