【文章內(nèi)容簡介】 價類 。 重復(fù)這一過程 ， 直到所有的有效等價類都被覆蓋 。 （ 3） 設(shè)計一個新的測試用例 ， 使它包含一個尚未被覆蓋的無效等價類 。 重復(fù)這一過程 ， 直到所有的無效等價類都被覆蓋 。 邊界值分析 人們在長期的測試中發(fā)現(xiàn) ， 程序往往在處理邊界值的時候容易出錯 ， 比如數(shù)組的下標(biāo) ， 循環(huán)的上下界等 。 針對這種情況設(shè)計測試用例的方法就是邊界值分析方法 。 使用邊界值分析方法設(shè)計測試用例時 ， 首先要確定邊界情況 。 通常輸入等價類和輸出等價類的邊界 ， 就是應(yīng)該著重測試的程序邊界情況 。 也就是說 ，應(yīng)該選取恰好等于 、 小于和大于邊界的值作為測試數(shù)據(jù) ， 而不是選取每個等價類內(nèi)的典型值或任意值作為測試數(shù)據(jù) 。 邊界值分析也屬于黑盒測試 ， 可以看作是對等價類劃分的一個補(bǔ)充 。 在設(shè)計測試用例時 ， 往往聯(lián)合等價類劃分和邊界值分析這兩種方法 。 錯誤推測法 錯誤推測法的基本想法是：列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況 ， 根據(jù)它們選擇測試用例 。 例如 ， 輸入數(shù)據(jù)為零或輸出數(shù)據(jù)為零的地方往往容易出錯；各模塊間對公有變量的引用也是容易出錯的地方 。 軟件測試的步驟 單元測試 集成測試 退出 有效性測試 系統(tǒng)測試 單元測試又稱模塊測試 ， 集中對軟件設(shè)計的最小單位 —— 模塊進(jìn)行測試 ， 主要是為了發(fā)現(xiàn)模塊內(nèi)部可能存在的各種錯誤和不足 。 進(jìn)行單元測試時 ， 根據(jù)程序的內(nèi)部結(jié)構(gòu)設(shè)計測試用例 ， 主要使用白盒測試法 。 由于各模塊間相對獨立 ， 因而對多個模塊的測試可以并行地進(jìn)行 ， 以提高測試效率 。 單元測試 單元測試的內(nèi)容 （ 1） 模塊接口 主要進(jìn)行的測試項目有以下幾方面： 所測模塊的形式參數(shù)和調(diào)用該模塊的實際輸入?yún)?shù)在參數(shù)數(shù)目 、 屬性和順序上是否匹配； 是否修改了只做輸入用的形式參數(shù)； 輸出給被調(diào)用模塊的參數(shù)在數(shù)目 、 屬性和順序上是否正確； 全程變量的定義和用法在各個模塊中是否一致 。 若模塊中有外部的 I/O操作 ， 還應(yīng)該進(jìn)行以下的測試項目： 文件屬性是否正確； 打開文件語句和關(guān)閉語句是否正確； 格式說明書與輸入／輸出語句是否一致； 緩沖區(qū)的大小與記錄長度是否匹配； 使用文件之前是否先打開了文件； 文件操作結(jié)束后是否關(guān)閉了文件； 是否進(jìn)行了輸入／輸出錯誤檢查并進(jìn)行了相應(yīng)的處理 。 （ 2） 局部數(shù)據(jù)結(jié)構(gòu) 模塊的局部數(shù)據(jù)結(jié)構(gòu)是常見的錯誤來源，測試者應(yīng)該仔細(xì)設(shè)計測試用例，以便發(fā)現(xiàn)這樣一些類型的錯誤： 錯誤的變量名（變量名拼寫錯或被編譯程序截短）； 錯誤的或不一致的數(shù)據(jù)類型說明； 使用尚未賦值或尚未初始化的變量； 錯誤的初始值或錯誤的缺省值； 數(shù)據(jù)類型不相容； 上溢、下溢或地址異常。 如果有可能的話，在單元測試期間除了局部數(shù)據(jù)結(jié)構(gòu)之外，還應(yīng)該檢查全程數(shù)據(jù)對模塊的影響。 （ 3） 重要的執(zhí)行路徑 選擇適當(dāng)?shù)臏y試用例，對模塊中的最有代表性、最可能發(fā)現(xiàn)錯誤的執(zhí)行路徑進(jìn)行測試。 錯誤的計算主要集中在以下幾個方面： 運(yùn)算的優(yōu)先次序不對或誤解了運(yùn)算符的優(yōu)先次序； 混合運(yùn)算（運(yùn)算對象的類型彼此不相容）； 變量的初始值賦值不正確； 運(yùn)算的精度不夠； 表達(dá)式的符號有錯誤。 錯誤的比較和控制流主要集中在以下幾個方面： 不同數(shù)據(jù)類型之間的比較； 邏輯運(yùn)算符不正確或優(yōu)先次序不正確； 由于精度問題造成的兩值比較時不相等； 差“ 1” 錯，即循環(huán)次數(shù)多一次或少一次； 錯誤的或不可能的循環(huán)終止條件； 當(dāng)遇到發(fā)散的迭代時不能終止的循環(huán)； 錯誤地修改循環(huán)變量。 （ 4） 出錯處理 由于輸入等條件的限制，程序在運(yùn)行中出錯往往是不可避免的。因而好的程序設(shè)計應(yīng)該能預(yù)見可能出現(xiàn)的各種出錯情況，并且設(shè)置相應(yīng)的出錯處理，以便在出現(xiàn)錯誤時執(zhí)行相應(yīng)的操作。 在單元測試時也應(yīng)該對模塊中的出錯處理部分進(jìn)行測試，進(jìn)行這一部分測試時可能存在的錯誤主要有： 對錯誤的描述難于理解，或者是描述過于簡單； 顯示的錯誤信息與實際錯誤不相符； 在對錯誤進(jìn)行處理之前，錯誤條件已經(jīng)引起系統(tǒng)的干預(yù)； 對錯誤的處理不正確。 （ 5） 邊界條件 我們知道，軟件常常在它的邊界上失效。例如，處理 n元數(shù)組的第一個元素或最后一個元素時，在 n次循環(huán)中的第 n次重復(fù)時，往往會發(fā)生錯誤。因此，使用剛好小于、等于或大于最大值或最小值的數(shù)據(jù)結(jié)構(gòu)、控制量和數(shù)據(jù)值的測試方案時，很可能會發(fā)現(xiàn)軟件中的錯誤。 單元測試的步驟 單元測試的對象是模塊 。 測試者必須自己動手設(shè)計這兩類模塊：驅(qū)動模塊和存根模塊 。 驅(qū)動模塊A存根模塊 B ……. 存根模塊 N驅(qū)動模塊：相當(dāng)于所測模塊的 “ 主程序 ” 。 它接收測試數(shù)據(jù) ，把這些數(shù)據(jù)傳送給所測模塊 ， 然后輸出測試結(jié)果 。 存根模塊：也叫虛擬子程序 。它的作用是模擬被測模塊所調(diào)用的子模塊 。 存根模塊可以做少量的數(shù)據(jù)操作 ， 一般情況下 ， 不需要把實際子模塊的所有功能都帶進(jìn)來 。 集成測試 集成測試過程中要考慮的問題： （ 1） 數(shù)據(jù)穿過模塊接口時是否會丟失； （ 2） 模塊的功能是否會對其它模塊的功能產(chǎn)生不利的影響； （ 3） 把子功能組合起來 ， 能否達(dá)到預(yù)期的主功能要求； （ 4） 單個模塊的誤差累積起來是否會放大到不能接受的程度； （ 5） 全局?jǐn)?shù)據(jù)結(jié)構(gòu)是否有問題 。 將各個模塊組裝成系統(tǒng)的方法：非增殖式組裝方式和增殖式組裝方式 。 采用非增殖式組裝方式：先分別對每個模塊進(jìn)行測試，再把所有模塊按設(shè)計要求組裝在一起進(jìn)行測試，最終得到所要求的軟件。 采用增殖式組裝方式：把下一個要測試的模塊同已經(jīng)測試好的那些模塊結(jié)合起來進(jìn)行測試，測試完以后再把下一個應(yīng)該測試的模塊結(jié)合進(jìn)來測試，這種方法實際上同時完成單元測試和集成測試。 這兩種方法各有優(yōu)缺點： （ 1） 采用非增殖式組裝方式時 ， 可以較早發(fā)現(xiàn)模塊間的接口錯誤 ， 而采用增殖式組裝方式時 ， 只有在模塊加進(jìn)來時才可能發(fā)現(xiàn) ， 因此接口錯誤發(fā)現(xiàn)較晚 。 （ 2） 采用非增殖式組裝方式時要對每個模塊進(jìn)行單元測試 ， 需