（四）軟件測(cè)試
1．軟件測(cè)試的目的
使用人工或自動(dòng)手段來(lái)運(yùn)行或測(cè)定某個(gè)系統(tǒng)的過(guò)程，其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或是否弄清預(yù)期的結(jié)果與實(shí)際結(jié)果之間的差別。
2．軟件測(cè)試的準(zhǔn)則
所有測(cè)試應(yīng)追溯到需求
嚴(yán)格執(zhí)行測(cè)試計(jì)劃，排除測(cè)試的隨意性
充分注意測(cè)試中的群集現(xiàn)象
程序員應(yīng)避免檢查自己的程序
窮舉測(cè)試不可能
妥善保存測(cè)試計(jì)劃、測(cè)試用例、出錯(cuò)統(tǒng)計(jì)和最終分析報(bào)告，為維護(hù)提供方便
3．軟件測(cè)試技術(shù)與方法綜述
1）靜態(tài)測(cè)試與動(dòng)態(tài)測(cè)試
靜態(tài)測(cè)試包括：代碼檢查、靜態(tài)結(jié)構(gòu)分析、代碼質(zhì)量度量等。
動(dòng)態(tài)測(cè)試是基于計(jì)算機(jī)的測(cè)試，根據(jù)軟件需求設(shè)計(jì)測(cè)試用例，利用這些用例去運(yùn)行程序，以發(fā)現(xiàn)程序錯(cuò)誤的過(guò)程。
2）白盒測(cè)試方法與測(cè)試用例設(shè)計(jì)
白盒測(cè)試也稱結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。
白盒測(cè)試的原則：保證所有的測(cè)試模塊中每一條獨(dú)立路徑至少執(zhí)行一次；保證所有的判斷分支至少執(zhí)行一次；保證所有的模塊中每一個(gè)循環(huán)都在邊界條件和一般條件下至少各執(zhí)行一次；驗(yàn)證所有內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性
主要的方法有：邏輯覆蓋（包括語(yǔ)句覆蓋、路徑覆蓋、判定覆蓋、條件覆蓋和判斷—條件覆蓋）、基本路徑測(cè)試等
3）黑盒測(cè)試方法與測(cè)試用例設(shè)計(jì)
黑盒測(cè)試方法也稱功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試，是對(duì)軟件已經(jīng)實(shí)現(xiàn)的功能是否滿足需求進(jìn)行測(cè)試和驗(yàn)證。
黑盒測(cè)試主要診斷功能不對(duì)或遺漏、界面錯(cuò)誤、數(shù)據(jù)結(jié)構(gòu)或外部數(shù)據(jù)庫(kù)訪問(wèn)錯(cuò)誤、性能錯(cuò)誤、初始化和終止條件錯(cuò)。
黑盒測(cè)試方法主要有：等價(jià)類劃分法（包括有效等價(jià)類和無(wú)效等價(jià)類）、邊界值分析法、錯(cuò)誤推測(cè)法、因果圖等，主要用于軟件確認(rèn)測(cè)試。
4．軟件測(cè)試的實(shí)施
1）單元測(cè)試
對(duì)模塊進(jìn)行測(cè)試，用于發(fā)現(xiàn)模塊內(nèi)部的錯(cuò)誤
2）集成測(cè)試
測(cè)試和組裝軟件的過(guò)程，主要用于發(fā)現(xiàn)與接口有關(guān)的錯(cuò)誤。
集成測(cè)試包括的內(nèi)容：軟件單元的接口測(cè)試、全局?jǐn)?shù)據(jù)結(jié)構(gòu)測(cè)試、邊界條件和非法輸入的測(cè)試等。
集成測(cè)試分為：增量方式組裝（包括自頂而下、自底而上、自頂向下和自底向上的混合增量方式）與非增量方式組裝。
3）確認(rèn)測(cè)試
驗(yàn)證軟件的功能和性能及其他特征是否滿足了需求規(guī)格說(shuō)明中確定的各種需求，以及軟件配置是否完全、正確。
4）系統(tǒng)測(cè)試
將經(jīng)過(guò)測(cè)試后的軟件，與計(jì)算機(jī)的硬件、外設(shè)、支持軟件、數(shù)據(jù)和人員等其他元素組合在一起，在實(shí)際運(yùn)行環(huán)境中進(jìn)行一系列的集成測(cè)試和確認(rèn)測(cè)試。