摘錄：《軟件工程》 劉欣怡   清華大學(xué)出版社/北京交通大學(xué)出版社

軟件測(cè)試的目的是：在軟件投入生產(chǎn)性運(yùn)行之前，盡可能多地發(fā)現(xiàn)軟件中的錯(cuò)誤。

Grenford J.Myers對(duì)測(cè)試的目的歸納如下：

(1)    測(cè)試是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過(guò)程

(2)    好的測(cè)試用例是盡可能發(fā)現(xiàn)至今尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試用例

(3)    成功的測(cè)試則是發(fā)現(xiàn)至今尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試

軟件測(cè)試的方法是：根據(jù)程序的功能說(shuō)明書(shū)或程序邏輯結(jié)構(gòu)，設(shè)計(jì)一組測(cè)試用例，在精心控制的環(huán)境下，將測(cè)試用例作為輸入，執(zhí)行程序，然后對(duì)程序的行為進(jìn)行檢驗(yàn)，看其是否和預(yù)期結(jié)果一致，如不一致，即可發(fā)現(xiàn)被測(cè)試程序的錯(cuò)誤。

動(dòng)態(tài)測(cè)試：

是指通常的上機(jī)測(cè)試，這種方法是使程序有控制地運(yùn)行，并從多種角度觀察程序運(yùn)行時(shí)的行為，以發(fā)現(xiàn)其中的錯(cuò)誤。測(cè)試是否能夠發(fā)現(xiàn)錯(cuò)誤取決于測(cè)試用例的設(shè)計(jì)。

設(shè)計(jì)測(cè)試用例的方法一般有黑盒法和白盒法兩類(lèi)。

黑盒法：測(cè)試人員將程序看成一個(gè)“黑盒”，也就是說(shuō)，不關(guān)心程序內(nèi)部是如何實(shí)現(xiàn)的，只是檢查程序是否符合它的“功能說(shuō)明”；所以使用黑盒法設(shè)計(jì)的測(cè)試用例完全是根據(jù)程序的功能說(shuō)明來(lái)設(shè)計(jì)的。

白盒法：需要了解程序內(nèi)部的結(jié)構(gòu)，此時(shí)的測(cè)試用例是根據(jù)程序的內(nèi)部邏輯來(lái)設(shè)計(jì)的，如果想用白盒法發(fā)現(xiàn)程序中所有的錯(cuò)誤，則至少必須使程序中每種可能的路徑都執(zhí)行一次。

靜態(tài)測(cè)試：

一般是指人工評(píng)審軟件文檔或程序，借以發(fā)現(xiàn)其中的錯(cuò)誤。由于被評(píng)審的文檔或程序不必運(yùn)行，所以稱(chēng)為時(shí)靜態(tài)的。

邏輯覆蓋：適用于白盒法的是邏輯覆蓋。邏輯覆蓋指有選擇地執(zhí)行程序中某些最有代表性的路徑（基本路徑或獨(dú)立路徑）。