【正文】 次 ?跳出循環(huán)體 循環(huán)程序流程圖 C B C B （ 1） （ 2） 簡化循環(huán)路徑圖 ? （ 1）和（ 2）都可簡化為（ 3） C B 最少測試用例數(shù)計算 ? 對于具體的程序，至少要設計多少測試用例 ? ? 估算最少測試用例數(shù) ?幫助執(zhí)行測試 ?有助于估算測試的時間 結構化程序與 NS圖 ? 結構化程序是由 3種基本控制結構組成 ?順序型 ?選擇型（條件分支） ?重復型（循環(huán)） ? 測試時考慮的結構 ?順序型 ?選擇型（條件分支） 程序結構與測試用例數(shù) 并行 串行 程序結構與測試用例數(shù) ? 當程序中判定多于一個時，形成的分支結構可以分為兩類：嵌套型分支結構和連鎖型分支結構 ? 對于嵌套型分支結構，若有 n個判定語句，需要 n+1個測試用例 ? 對于連鎖型分支結構，若有 n個判定語句，需要有 2n個測試用例，覆蓋它的 2n條路徑 最少測試用例數(shù)計算實例 ? 計算最少測試用例數(shù) 最少測試用例數(shù)計算實例 最少測試用例數(shù)計算實例 測試覆蓋準則 ? Foster的 ESTCA覆蓋準則 ?錯誤敏感測試用例分析（ Error Sensitive Test Cases Analysis） ?問題 ESTCA覆蓋準則 ? 對于分支 A（ , = , , =, =） B， 測試時應選擇 AB, A=B, AB的情況分別測試一次 ? 對于分支 A （ , ） C， A是變量， C是常量 ?當 AC時，選擇 A=C＋ 小正數(shù) ?當 AC時，選擇 A=C－ 小正數(shù) ? 對于測試用例取值，在每個測試用例中盡量不同的值或符號 覆蓋率要求 ? 對單元測試來說，語句覆蓋和分支覆蓋是最基本的要求 ? 由于程序中錯誤（異常）處理工作的重要性以及其結構相對簡單，要求錯誤處理要做到路徑覆蓋 ? 對質量要求高的軟件單元，可根據(jù)情況提出條件覆蓋、分支 條件覆蓋以及路徑覆蓋要求 課程目錄 ? 結構測試 概述 ? 程序結構分析 ? 邏輯覆蓋 ? 結構測試案例分析 ? 結構測試工具使用 結構測試案例 ? 求最小值 求數(shù)組中的最小值 k = i。 for(j = i+1。 j = n。 j++) { if(A[j] A[k]) k = j。 } 程序流程圖 k = i。 j = i+1 j = n? A[j] A[k]? k = j j++ a c b d e f 最少測試用例數(shù) 3 測試用例（最少） 用例編號 輸入 輸出 循環(huán) i n A[i] A[i+1] 路徑 k 1 0 1 1 1 ac 1 2 1 1 2 1 2 abefc 1 3 1 1 2 2 1 abdfc 2 疑問 ? 測試 用例是否足夠？循環(huán)測試是否足夠？ ?在結構復雜，測試用例數(shù)非常多的情況下，這些測試用例已經可以滿足測試，但并不具有充分性 ? 如何達到充分性？ ?測試 2次循環(huán) 測試用例（充分） 用例編號 輸入 輸出 循環(huán) i n A[i] A[i+1] A[i+2] 路徑 k 1 0 1 1 1 ac 1 2 1 1 2 1 2 abefc 1 3 1 1 2 2 1 abdfc 2 4 2 1 3 1 2 3 abefbefc 1 5 2 1 3 2 1 3 abdfbefc 2 6 2 1 3 2 3 1 abefbdfc 3 7 2 1 3 3 2 1 abdfbdfc 3 課程目錄 ? 結構測試 概述 ? 程序結構分析 ? 邏輯覆蓋 ? 結構測試案例分析 ? 結構測試工具使用 目前的白盒測試工具 ? DevPartner（ Compuware） （ C++、VC++、 .、 java） ? IBM Rational Purify（ C， C++ ） ? NUnit（ .） ? JUnit（ java） ? CppUnit（ C++） Devpartner的使用 ? Compuware 的 DevPartner 家族可以幫助您快速提高 Microsoft、 Java 及 64 位 應用程序 的 質量 和性能 。 ? 分為（ C/VC/.）和 java兩個系列 ? DevPartner 可以精確報告程序使用內存的情況，識別效率低下的慢速代碼，并將性能瓶頸確定到問題所在的源代碼行。 ? DevPartner 還可以讓您跟蹤多個 服務器 之間的事務，讓您獲得大量的信息，并且對性能問題進行深入的分析。 Devpartner的使用 DevPartner Professional Edition Devpartner的使用 DevPartner Professional Edition NUnit的使用 ? NUnit是一個單元測試框架 ,專門針對于 .NET來寫的 .其實在前面有 JUnit(Java),CPPUnit(C++),他們都是 xUnit的一員 .最初 ,它是從 JUnit而來 .現(xiàn)在的版本是 . ? NUnit最初是由 James W. Newkirk, Alexei A. Vorontsov 和 Philip A. Craig, 后來開發(fā)團隊逐漸龐大起來 .在開發(fā)過程中 , Kent Beck 和 Erich Gamma2位牛人也提供了許多幫助 . ? NUnit是 xUnit家族種的第 4個主打產品 ,完全由 C語言來編寫 ,并且編寫時充分利用了許多 .NET的特性 ,比如反射 ,客戶屬性等等 . NUnit的使用 本課總結 ? 結構性測試包含程序結構分析和代碼覆蓋測試 ? 衡量結構性測試的優(yōu)劣的標準是代碼覆蓋率 ? 使用工具將提高結構性測試的質量和加快測試的時間 課后習題 第一題： 總結各種白盒測試方法的應用場景及其優(yōu)缺點。 第二題： 使用邏輯覆蓋測試方法測試以下程序段： Void Do(int X, int A, int B){ if(A1)amp。amp。(B==0)) X=X/A。 if(A==2)||(X1) X=X+1。 } 課后習題 第三題： 計算下列程序片段的環(huán)形復雜度，使用邏輯覆蓋測試方法測試。 Void DoWork（ int x,int y, int z） { int k=0,j=0。 if((x3)amp。amp。(z10)) {k=x*y1。 j=sqrt(k)。} if((x==4)||(y5)) j=x*y+10。 j=j%3。 } Thanks！