【文章內(nèi)容簡介】 和討論用 。 其他白盒測試方法簡介 1．域測試 域測試是一種基于程序結(jié)構的測試方法。 域測試正是在分析輸入域的基礎上，選擇適當?shù)臏y試點以后進行測試的。 2． 符號測試 符號測試的基本思想是允許程序的輸入不僅僅是具體的數(shù)值數(shù)據(jù)，而且包括符號值，這一方法也因此而得名。 3． Z路徑覆蓋 分析程序中的路徑是指檢驗程序從入口開始，執(zhí)行過程中經(jīng)歷的各個語句，直到出口。 4． 程序變異 程序變異方法是一種錯誤驅(qū)動測試。所謂錯誤驅(qū)動測試方法，是指該方法是針對某類特定程序錯誤的。經(jīng)過多年的測試理論研究和軟件測試的實踐，人們逐漸發(fā)現(xiàn)要想找出程序中所有的錯誤幾乎是不可能的。比較現(xiàn)實的解決辦法是將錯誤的搜索范圍盡可能地縮小，以利于專門測試某類錯誤是否存在。 錯誤驅(qū)動測試主要有兩種，即程序強變異和程序弱變異。 最后 ， 歸納一下白盒測試中各種測試方法的應用策略 。 在白盒測試中 ， 可以使用各種測試方法的綜合策略如下 。 （ 1） 在測試中 ， 應盡量先使用工具進行靜態(tài)結(jié)構分析 。 （ 2） 測試中可采取先靜態(tài)后動態(tài)的組合方式：先進行靜態(tài)結(jié)構分析 、 代碼檢查 ，再進行覆蓋率測試 。 （ 3） 利用靜態(tài)分析的結(jié)果作為導引 ， 通過代碼檢查和動態(tài)測試的方式對靜態(tài)發(fā)現(xiàn)結(jié)果進行進一步的確認 ， 使測試工作更為有效 。 （ 4） 覆蓋率測試是白盒測試的重點 ， 一般可使用基本路徑測試法達到語句覆蓋標準；對于軟件的重點模塊 ， 應使用多種覆蓋率標準衡量代碼的覆蓋率 。 （ 5） 在不同的測試節(jié)點 ， 測試的側(cè)重點不同：在單元測試階段 ， 以代碼檢查 、 邏輯覆蓋為主；在集成測試階段 ， 需要增加靜態(tài)結(jié)構分析等；在系統(tǒng)測試階段 ， 應根據(jù)黑盒測試的結(jié)果 ， 采取相應的白盒測試 。 黑 盒 測 試 黑盒測試也稱功能測試或數(shù)據(jù)驅(qū)動測試，前提是已知產(chǎn)品所具有的功能，通過測試來檢測每個功能是否都正常使用。 黑盒測試方法主要有等價類劃分、邊界值分析、因果圖、錯誤推測、功能圖法等，主要用于軟件確認測試。 等價類劃分法 等價類劃分是一種典型的黑盒測試方法 。使用這一方法時 ， 完全不考慮程序的內(nèi)部結(jié)構 ， 只依據(jù)程序的規(guī)格說明來設計測試用例 。 由于不可能用所有可以輸入的數(shù)據(jù)來測試程序 ， 而只能從全部可供輸入的數(shù)據(jù)中選擇一個自己進行測試 。 如何選擇適當?shù)淖蛹?， 使其盡可能多地發(fā)現(xiàn)錯誤 ， 解決的辦法之一就是等價類劃分 。 首先 ， 把數(shù)目極多的輸入數(shù)據(jù) ， 包括有效的和無效的 ， 劃分為若干等價類 ， 而所謂等價類 ， 是指某個輸入域的子集合 。 在該子集合中 ， 各個輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的 。 并合理地假定：測試某等價類的代表值就等價于對這一類其他值的測試 。 因此 ， 可以把全部輸入數(shù)據(jù)合理劃分為若干等價類 ， 在每一個等價類中取一個數(shù)據(jù)作為測試的輸入條件 ， 就可用少量代表性測試數(shù)據(jù) ， 取得較好的測試結(jié)果 。 等價類的劃分有以下兩種不同的情況 。 ① 有效等價類 ② 無效等價類 劃分等價類的原則如下 。 ① 按區(qū)間劃分 ② 按數(shù)值劃分 ③ 按數(shù)值集合劃分 ④ 按限制條件或規(guī)則劃分 在確立了等價類之后 ， 建立等價類表 ，列出所有劃分出的等價類 ， 如表 36所示 。 表 3 6 等價類表示例 輸入條件 有效等價類 無效等價類 再從劃分出的等價類中按以下原則選擇測試用例 。 ① 為每一個等價類規(guī)定一個惟一的編號 。 ② 設計一個新的測試用例 ， 使其盡可能多地覆蓋尚未覆蓋的有效等價類；重復這一步驟 ，直到所有的有效等價類都被覆蓋為止 。 ③ 設計一個新的測試用例 ， 使其僅覆蓋一個無效等價類 ， 重復這一步驟 ， 直到所有的無效等價類都被覆蓋為止 。 邊界值分析法 人們從長期的測試工作經(jīng)驗得知，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。因此針對各種邊界情況設計測試用例，可以查出更多的錯誤。 使用邊界值分析方法設計測試用例，首先應確定邊界情況。 選擇測試用例的原則如下 。 ① 如果輸入條件規(guī)定了值的范圍 ， 則應該取剛達到這個范圍的邊界值 ， 以及剛剛超過這個范圍邊界的值作為測試輸入數(shù)據(jù) 。 ② 如果輸入條件規(guī)定了值的個數(shù) ， 則用最大個數(shù) 、 最小個數(shù) 、 比最大個數(shù)多 1個 、比最小個數(shù)少 1 個的數(shù)作為測試數(shù)據(jù) 。 ③ 根據(jù)規(guī)格說明的每一個輸出條件 ，使用規(guī)則 1。 ④ 根據(jù)規(guī)格說明的每一個輸出條件 ，使用規(guī)則 2。 ⑤ 如果程序的規(guī)格說明給出的輸入域或輸出域是有序集合 （ 如有序表 、 順序文件等 ） ， 則應選取集合的第一個和最后一個元素作為測試用例 。 ⑥ 如果程序用了一個內(nèi)部結(jié)構 ， 應該選取這個內(nèi)部數(shù)據(jù)結(jié)構的邊界值作為測試用例 。 ⑦ 分析規(guī)格說明 ， 找出其他可能的邊界條件 。 錯誤推測法 人們也可以靠經(jīng)驗和直覺推測程序中可能存在的各種錯誤 ， 從而有針對性地編寫檢查這些錯誤的例子 。 這就是錯誤推測法 。 錯誤推測法的基本想法是：列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例。 因果圖法 因果圖方法最終生成的就是判定表 。 它適合于檢查程序輸入條件的各種組合情況 。 利用因果圖生成測試用例的基本步驟如下 。 ① 分析軟件規(guī)格說明的描述中哪些是原因 ，哪些是結(jié)果 。 原因是輸入條件或輸入條件的等價類 ， 結(jié)果是輸出條件 。 ② 分析軟件規(guī)格說明描述中的語義 ，找出原因與結(jié)果之間 、 原因與原因之間對應的關系 ， 根據(jù)這些關系 ， 畫出因果圖 。 ③ 標明約束條件 。 由于語法或環(huán)境的限制 ， 有些原因和結(jié)果的組合情況是不可能出現(xiàn)的 。 為表明這些特定的情況 ， 在因果圖上使用若干標準的符號標明約束條件 。 ④ 把因果圖轉(zhuǎn)換成判定表 。 ⑤ 為判定表中的每一列設計測試用例 。 通常在因果圖中 ， 用 Ci表示原因 ， Ei表示結(jié)果 ， 其基本符號如圖 312所示 。 （ a ）恒等 E 1 E 1 （ b ）非 （ c ）或 E 1 ∨ （ d ）與 E 1 ∧ 圖 312 因果圖的基本符號 對于黑盒測試方法來說 ， 以上 4種方法是基本的測試方法 ， 除此之外還有判定表驅(qū)動法 、 正交試驗法 、 功能圖法和場景法等 。 在實際測試中，往往是綜合使用各種方法才能有效地提高測試效率和測試覆蓋率，這就需要認真掌握這些方法的原理，積累更多的測試經(jīng)驗，以有效地提高測試水平。 以下是各種測試方法選擇的綜合策略 ，可供讀者在實際應用過程中參考 。 ① 首先進行等價類劃分 ， 包括輸入條件和輸出條件的等價劃分 ， 將無限測試變成有限測試 ， 這是減少工作量和提高