軟件測試
    1、軟件測試定義：使用人工或自動手段來運(yùn)行或測定某個系統(tǒng)的過程，其目的在于檢驗它是否滿足規(guī)定的需求或是弄清預(yù)期結(jié)果與實際結(jié)果之間的差別。
    軟件測試的目的：盡可能地多發(fā)現(xiàn)程序中的錯誤，不能也不可能證明程序沒有錯誤。軟件測試的關(guān)鍵是設(shè)計測試用例（注釋1），一個好的測試用例能找到迄今為止尚未發(fā)現(xiàn)的錯誤。
    2、軟件測試方法：靜態(tài)測試和動態(tài)測試。
    靜態(tài)測試：包括代碼檢查、靜態(tài)結(jié)構(gòu)分析、代碼質(zhì)量度量。不實際運(yùn)行軟件，主要通過人工進(jìn)行。
    動態(tài)測試：是基于計算機(jī)的測試，主要包括白盒測試方法和黑盒測試方法。
    （1）白盒測試
    白盒測試方法也稱為結(jié)構(gòu)測試或邏輯驅(qū)動測試。它是根據(jù)軟件產(chǎn)品的內(nèi)部工作過程，檢查內(nèi)部成分，以確認(rèn)每種內(nèi)部操作符合設(shè)計規(guī)格要求。
    白盒測試的基本原則：保證所測模塊中每一獨(dú)立路徑至少執(zhí)行一次；保證所測模塊所有判斷的每一分支至少執(zhí)行一次；保證所測模塊每一循環(huán)都在邊界條件和一般條件下至少各執(zhí)行一次；驗證所有內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性。
    白盒測試法的測試用例是根據(jù)程序的內(nèi)部邏輯來設(shè)計的，主要用軟件的單元測試，主要方法有邏輯覆蓋、基本路徑測試等。
    A、邏輯覆蓋。邏輯覆蓋泛指一系列以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)的測試用例設(shè)計技術(shù)。通常程序中的邏輯表示有判斷、分支、條件等幾種表示方法。
    語句覆蓋：選擇足夠的測試用例，使得程序中每一個語句至少都能被執(zhí)行一次。
    路徑覆蓋：執(zhí)行足夠的測試用例，使程序中所有的可能的路徑都至少經(jīng)歷一次。
    判定覆蓋：使設(shè)計的測試用例保證程序中每個判斷的每個取值分支（T或F）至少經(jīng)歷一次。
    條件覆蓋：設(shè)計的測試用例保證程序中每個判斷的每個條件的可能取值至少執(zhí)行一次。
    判斷-條件覆蓋：設(shè)計足夠的測試用例，使判斷中每個條件的所有可能取值至少執(zhí)行一次，同時每個判斷的所有可能取值分支至少執(zhí)行一次。
    邏輯覆蓋的強(qiáng)度依次是：語句覆蓋路徑覆蓋判定覆蓋條件覆蓋判斷-條件覆蓋。
    B、基本路徑測試。其思想和步驟是，根據(jù)軟件過程性描述中的控制流程確定程序的環(huán)路復(fù)雜性度量，用此度量定義基本路徑集合，并由此導(dǎo)出一組測試用例，對每一條獨(dú)立執(zhí)行路徑進(jìn)行測試。
    （2）黑盒測試
    黑盒測試方法也稱為功能測試或數(shù)據(jù)驅(qū)動測試。黑盒測試是對軟件已經(jīng)實現(xiàn)的功能是否滿足需求進(jìn)行測試和驗證。
    黑盒測試主要診斷功能不對或遺漏、接口錯誤、數(shù)據(jù)結(jié)構(gòu)或外部數(shù)據(jù)庫訪問錯誤、性能錯誤、初始化和終止條件錯誤。
    黑盒測試不關(guān)心程序內(nèi)部的邏輯，只是根據(jù)程序的功能說明來設(shè)計測試用例，主要方法有等價類劃分法、邊界值分析法、錯誤推測法等，主要用軟件的確認(rèn)測試。
    A、等價類劃分法。這是一種典型的黑盒測試方法，它是將程序的所有可能的輸入數(shù)據(jù)劃分成若干部分（及若干等價類），然后從每個等價類中選取數(shù)據(jù)作為測試用例。
    B、邊界值分析法。它是對各種輸入、輸出范圍的邊界情況設(shè)計測試用例的方法。
    C、錯誤推測法。人們可以靠經(jīng)驗和直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的用例。
    3、軟件測試過程一般按4個步驟進(jìn)行：單元測試、集成測試、確認(rèn)測試和系統(tǒng)測試。
    （1）單元測試
    單元測試是對軟件設(shè)計的最小單位——模塊（程序單元）進(jìn)行正確性檢測的測試，目的是發(fā)現(xiàn)各模塊內(nèi)部可能存在的各種錯誤。
    單元測試根據(jù)程序的內(nèi)部結(jié)構(gòu)來設(shè)計測試用例，其依據(jù)是詳細(xì)設(shè)計說明書和源程序。單元測試的技術(shù)可以采用靜態(tài)分析和動態(tài)測試。對動態(tài)測試通常以白盒測試為主，輔之以黑盒測試。
    單元測試的內(nèi)容包括：模塊接口測試、局部數(shù)據(jù)結(jié)構(gòu)測試、錯誤處理測試和邊界測試。
    在進(jìn)行單元測試時，要用一些輔助模塊去模擬與被測模塊相聯(lián)系的其他模塊，即為被測模塊設(shè)計和搭建驅(qū)動模塊和樁模塊。其中，驅(qū)動模塊相當(dāng)于被測模塊的主程序，它接收測試數(shù)據(jù)，并傳給被測模塊，輸出實際測試結(jié)果；而樁模塊是模擬其他被調(diào)用模塊，不必將子模塊的所有功能帶入。
    （2）集成測試
    集成測試是測試和組裝軟件的過程，它是把模塊在按照設(shè)計要求組裝起來的同時進(jìn)行測試，主要目的是發(fā)現(xiàn)與接口有關(guān)的錯誤。
    集成測試的依據(jù)是概要設(shè)計說明書。
    集成測試所涉及的內(nèi)容包括：軟件單元的接口測試、全局?jǐn)?shù)據(jù)結(jié)構(gòu)測試、邊界條件和非法輸入的測試等。
    集成測試通常采用兩種方式：非增量方式組裝與增量方式組裝。
    非增量方式組裝：也稱為一次性組裝方式。首先對每個模塊分別進(jìn)行模塊測試，然后再把所有模塊組裝在一起進(jìn)行測試，最終得到要求的軟件系統(tǒng)。
    增量方式組裝：又稱漸增式集成方式。首先對一個個模塊進(jìn)行模塊測試，然后將這些模塊逐步組裝成較大的系統(tǒng)，在組裝的過程中邊連接邊測試，以發(fā)現(xiàn)連接過程中產(chǎn)生的問題。最后通過增殖逐步組裝成要求的軟件系統(tǒng)。增量方式組裝又包括自頂向下、自底向上、自頂向下與自底向上相結(jié)合等三種方式。
    （3）確認(rèn)測試
    確認(rèn)測試的任務(wù)是驗證軟件的有效性，即驗證軟件的功能和性能及其他特性是否與用戶的要求一致。
    確認(rèn)測試的主要依據(jù)是軟件需求規(guī)格說明書。
    確認(rèn)測試主要運(yùn)用黑盒測試法。
    （4）系統(tǒng)測試
    系統(tǒng)測試的目的在于通過與系統(tǒng)的需求定義進(jìn)行比較，發(fā)現(xiàn)軟件與系統(tǒng)定義不符合或與之矛盾的地方。
    系統(tǒng)測試的測試用例應(yīng)根據(jù)需求分析規(guī)格說明來設(shè)計，并在實際使用環(huán)境下來運(yùn)行。
    系統(tǒng)測試的具體實施一般包括：功能測試、性能測試、操作測試、配置測試、外部接口測試、安全性測試等。
    注釋1：測試用例是指對一項特定的軟件產(chǎn)品進(jìn)行測試任務(wù)的描述，體現(xiàn)測試方案、方法、技術(shù)和策略。