【正文】 蓋 條件覆蓋就是設(shè)計足夠的測試用例 ， 使得程序判定中的每個條件能獲得各種可能的結(jié)果 。 需要有足夠的測試用例使得上述四個條件都能有滿足和不滿足的情況 。 但并不是所有的滿足條件覆蓋要求的數(shù)據(jù)都滿足判定覆蓋的要求 。 為了解決這個問題 ， 可以采用下面的判定／條件覆蓋 。 對于上面的例子 ， 下述兩組輸入數(shù)據(jù)能滿足這些要求： A＝ 2， B＝ 0， x＝ 4 A＝ 1， B＝ 1， x＝ 1 判定／條件覆蓋仍有缺陷 。 因為某些條件掩蓋了另一些條件 。 同樣地 ， 如果在“ 或 ” 表達式中 ， 某一條件為 “ 真 ” ， 則整個表達式的值為“ 真 ” ， 其它條件也就不起作用了 。 條件組合覆蓋 條件組合覆蓋就是設(shè)計足夠的測試用例 ， 使得每個判定中的條件的各種可能組合都至少出現(xiàn)一次 。 但是 ， 滿足條件組合覆蓋標準的測試數(shù)據(jù)并不一定覆蓋了程序中的每條路徑 ，例如 ， 利用上述四組測試數(shù)據(jù)就遺漏了路徑 P4（ acd） 。 與邏輯覆蓋不同 ， 使用等價類劃分設(shè)計測試用例時 ， 完全不需要考慮程序的內(nèi)部邏輯結(jié)構(gòu) ， 而主要依據(jù)程序的功能說明 。 如何選擇這個子集 ， 使得這個子集具有代表性 ， 能盡可能多地發(fā)現(xiàn)程序中的錯誤 ， 等價類劃分就是基于這種考慮的一種實現(xiàn)方法 。 劃分等價類 等價類的劃分在很大程度上依靠的是測試人員的經(jīng)驗 ，下面給出幾條基本原則： （ 1） 如果輸入條件規(guī)定了取值范圍 ， 則可劃分出一個有效的等價類 （ 輸入值在此范圍內(nèi) ） 和兩個無效的等價類（ 輸入值小于最小值 、 輸入值大于最大值 ） 。 （ 3） 如果輸入條件規(guī)定了輸入數(shù)據(jù)的一組可能的值 ，而且程序?qū)@組可能的值做相同的處理 ， 則可將這組可能的值劃分為一個有效的等價類 ， 而這些值以外的值劃分成無效的等價類 。 （ 5）如果輸入條件規(guī)定了輸入數(shù)據(jù)必須遵循的規(guī)則，則可以劃分一個有效的等價類（符合規(guī)則）和若干個無效的等價類（從各種角度違反規(guī)則）。 （ 2） 設(shè)計一個新的測試用例 ， 使它能包含盡可能多的尚未被覆蓋的有效等價類 。 （ 3） 設(shè)計一個新的測試用例 ， 使它包含一個尚未被覆蓋的無效等價類 。 邊界值分析 人們在長期的測試中發(fā)現(xiàn) ， 程序往往在處理邊界值的時候容易出錯 ， 比如數(shù)組的下標 ， 循環(huán)的上下界等 。 使用邊界值分析方法設(shè)計測試用例時 ， 首先要確定邊界情況 。 也就是說 ，應(yīng)該選取恰好等于 、 小于和大于邊界的值作為測試數(shù)據(jù) ， 而不是選取每個等價類內(nèi)的典型值或任意值作為測試數(shù)據(jù) 。 在設(shè)計測試用例時 ， 往往聯(lián)合等價類劃分和邊界值分析這兩種方法 。 例如 ， 輸入數(shù)據(jù)為零或輸出數(shù)據(jù)為零的地方往往容易出錯；各模塊間對公有變量的引用也是容易出錯的地方 。 進行單元測試時 ， 根據(jù)程序的內(nèi)部結(jié)構(gòu)設(shè)計測試用例 ， 主要使用白盒測試法 。 單元測試 單元測試的內(nèi)容 （ 1） 模塊接口 主要進行的測試項目有以下幾方面： 所測模塊的形式參數(shù)和調(diào)用該模塊的實際輸入?yún)?shù)在參數(shù)數(shù)目 、 屬性和順序上是否匹配； 是否修改了只做輸入用的形式參數(shù)； 輸出給被調(diào)用模塊的參數(shù)在數(shù)目 、 屬性和順序上是否正確； 全程變量的定義和用法在各個模塊中是否一致 。 （ 2） 局部數(shù)據(jù)結(jié)構(gòu) 模塊的局部數(shù)據(jù)結(jié)構(gòu)是常見的錯誤來源，測試者應(yīng)該仔細設(shè)計測試用例，以便發(fā)現(xiàn)這樣一些類型的錯誤： 錯誤的變量名（變量名拼寫錯或被編譯程序截短）； 錯誤的或不一致的數(shù)據(jù)類型說明； 使用尚未賦值或尚未初始化的變量； 錯誤的初始值或錯誤的缺省值； 數(shù)據(jù)類型不相容； 上溢、下溢或地址異常。 （ 3） 重要的執(zhí)行路徑 選擇適當?shù)臏y試用例，對模塊中的最有代表性、最可能發(fā)現(xiàn)錯誤的執(zhí)行路徑進行測試。 錯誤的比較和控制流主要集中在以下幾個方面： 不同數(shù)據(jù)類型之間的比較； 邏輯運算符不正確或優(yōu)先次序不正確； 由于精度問題造成的兩值比較時不相等； 差“ 1” 錯，即循環(huán)次數(shù)多一次或少一次； 錯誤的或不可能的循環(huán)終止條件； 當遇到發(fā)散的迭代時不能終止的循環(huán)； 錯誤地修改循環(huán)變量。因而好的程序設(shè)計應(yīng)該能預(yù)見可能出現(xiàn)的各種出錯情況，并且設(shè)置相應(yīng)的出錯處理，以便在出現(xiàn)錯誤時執(zhí)行相應(yīng)的操作。 （ 5） 邊界條件 我們知道，軟件常常在它的邊界上失效。因此，使用剛好小于、等于或大于最大值或最小值的數(shù)據(jù)結(jié)構(gòu)、控制量和數(shù)據(jù)值的測試方案時，很可能會發(fā)現(xiàn)軟件中的錯誤。 測試者必須自己動手設(shè)計這兩類模塊：驅(qū)動模塊和存根模塊 。 它接收測試數(shù)據(jù) ，把這些數(shù)據(jù)傳送給所測模塊 ， 然后輸出測試結(jié)果 。它的作用是模擬被測模塊所調(diào)用的子模塊 。 集成測試 集成測試過程中要考慮的問題： （ 1） 數(shù)據(jù)穿過模塊接口時是否會丟失； （ 2） 模塊的功能是否會對其它模塊的功能產(chǎn)生不利的影響； （ 3） 把子功能組合起來 ， 能否達到預(yù)期的主功能要求； （ 4） 單個模塊的誤差累積起來是否會放大到不能接受的程度； （ 5） 全局數(shù)據(jù)結(jié)構(gòu)是否有問題 。 采用非增殖式組裝方式：先分別對每個模塊進行測試，再把所有模塊按設(shè)計要求組裝在一起進行測試，最終得到所要求的軟件。 這兩種方法各有優(yōu)缺點： （ 1） 采用非增殖式組裝方式時 ， 可以較早發(fā)現(xiàn)模塊間的接口錯誤 ， 而采用增殖式組裝方式時 ， 只有在模塊加進來時才可能發(fā)現(xiàn) ， 因此接口錯誤發(fā)現(xiàn)較晚 。 （ 3） 非增殖式組裝方式要求一下子把所有模塊組裝起來 ， 如果發(fā)現(xiàn)錯誤則較難判斷錯誤的位置 ， 而采用增殖式組裝方式時 ， 由于每次只加入一個模塊 ， 因而錯誤往往與剛加入的模塊有關(guān) ， 查錯則相對容易些 。 自頂向下結(jié)合 在使用增殖式組裝方式時 ， 常用的有自頂向下和自底向上兩種方法 。 M1M3S7M2 S4M6M5M8左圖是一個樹形結(jié)構(gòu) ， 主控制模塊是M1， 在把主控制模塊M1所屬的那些模塊都組裝起來時可以采取兩種方法：深度優(yōu)先策略或者寬度優(yōu)先策略 。 主控制通路的選擇取決于應(yīng)用的特點 。 如果 M2的某個功能需要的話 ， 可結(jié)合 M6。 采用寬度優(yōu)先的結(jié)合方法時 ， 逐層結(jié)合直接下屬的所有模塊 ， 即把處于同一個控制