2010年軟考軟件評(píng)測(cè)師軟件測(cè)試的分類及方法(2)

　　如果模塊內(nèi)包括外部輸入輸出，還應(yīng)該考慮下列因素：

　　1.文件屬性是否正確;

　　2.OPEN/CLOSE語(yǔ)句是否正確;

　　3.格式說(shuō)明與輸入輸出語(yǔ)句是否匹配;

　　4.緩沖區(qū)大小與記錄長(zhǎng)度是否匹配;

　　5.文件使用前是否已經(jīng)打開(kāi);

　　6.是否處理了文件尾;

　　7.是否處理了輸入/輸出錯(cuò)誤;

　　8.輸出信息中是否有文字性錯(cuò)誤;

　　檢查局部數(shù)據(jù)結(jié)構(gòu)是為了保證臨時(shí)存儲(chǔ)在模塊內(nèi)的數(shù)據(jù)在程序執(zhí)行過(guò)程中完整、正確。局部數(shù)據(jù)結(jié)構(gòu)往往是錯(cuò)誤的根源，應(yīng)仔細(xì)設(shè)計(jì)測(cè)試用例，力求發(fā)現(xiàn)下面幾類錯(cuò)誤：

　　1.不合適或不相容的類型說(shuō)明;

　　2.變量無(wú)初值;

　　3.變量初始化或省缺值有錯(cuò);

　　4.不正確的變量名(拼錯(cuò)或不正確地截?cái)?;

　　5.出現(xiàn)上溢、下溢和地址異常。

　　除了局部數(shù)據(jù)結(jié)構(gòu)外，如果可能，單元測(cè)試時(shí)還應(yīng)該查清全局?jǐn)?shù)據(jù)(例如FORTRAN的公用區(qū))對(duì)模塊的影響。

　　在模塊中應(yīng)對(duì)每一條獨(dú)立執(zhí)行路徑進(jìn)行測(cè)試，單元測(cè)試的基本任務(wù)是保證模塊中每條語(yǔ)句至少執(zhí)行一次。此時(shí)設(shè)計(jì)測(cè)試用例是為了發(fā)現(xiàn)因錯(cuò)誤計(jì)算、不正確的比較和不適當(dāng)?shù)目刂屏髟斐傻腻e(cuò)誤。此時(shí)基本路徑測(cè)試和循環(huán)測(cè)試是最常用且最有效的測(cè)試技術(shù)。計(jì)算中常見(jiàn)的錯(cuò)誤包括：

　　1.誤解或用錯(cuò)了算符優(yōu)先級(jí);

　　2.混合類型運(yùn)算;

　　3.變量初值錯(cuò);

　　4.精度不夠;

　　5.表達(dá)式符號(hào)錯(cuò)。

　　比較判斷與控制流常常緊密相關(guān)，測(cè)試用例還應(yīng)致力于發(fā)現(xiàn)下列錯(cuò)誤：

　　1.不同數(shù)據(jù)類型的對(duì)象之間進(jìn)行比較;

　　2.錯(cuò)誤地使用邏輯運(yùn)算符或優(yōu)先級(jí);

　　3.因計(jì)算機(jī)表示的局限性，期望理論上相等而實(shí)際上不相等的兩個(gè)量相等;

　　4.比較運(yùn)算或變量出錯(cuò);

　　5.循環(huán)終止條件或不可能出現(xiàn);

　　6.迭代發(fā)散時(shí)不能退出;

　　7.錯(cuò)誤地修改了循環(huán)變量。

　　一個(gè)好的設(shè)計(jì)應(yīng)能預(yù)見(jiàn)各種出錯(cuò)條件，并預(yù)設(shè)各種出錯(cuò)處理通路，出錯(cuò)處理通路同樣需要認(rèn)真測(cè)試，測(cè)試應(yīng)著重檢查下列問(wèn)題：

　　1.輸出的出錯(cuò)信息難以理解;

　　2.記錄的錯(cuò)誤與實(shí)際遇到的錯(cuò)誤不相符;

　　3.在程序自定義的出錯(cuò)處理段運(yùn)行之前，系統(tǒng)已介入;

　　4.異常處理不當(dāng);

　　5.錯(cuò)誤陳述中未能提供足夠的定位出錯(cuò)信息。

　　邊界條件測(cè)試是單元測(cè)試中最后，也是最重要的一項(xiàng)任務(wù)。眾的周知，軟件經(jīng)常在邊界上失效，采用邊界值分析技術(shù)，針對(duì)邊界值及其左、右設(shè)計(jì)測(cè)試用例，很有可能發(fā)現(xiàn)新的錯(cuò)誤。

　　單元測(cè)試過(guò)程

　　一般認(rèn)為單元測(cè)試應(yīng)緊接在編碼之后，當(dāng)源程序編制完成并通過(guò)復(fù)審和編譯檢查，便可開(kāi)始單元測(cè)試。測(cè)試用例的設(shè)計(jì)應(yīng)與復(fù)審工作相結(jié)合，根據(jù)設(shè)計(jì)信息選取測(cè)試數(shù)據(jù)，將增大發(fā)現(xiàn)上述各類錯(cuò)誤的可能性。在確定測(cè)試用例的同時(shí)，應(yīng)給出期望結(jié)果。

　　應(yīng)為測(cè)試模塊開(kāi)發(fā)一個(gè)驅(qū)動(dòng)模塊(driver)和(或)若干個(gè)樁模塊(stub),下圖顯示了一般單元測(cè)試的環(huán)境。驅(qū)動(dòng)模塊在大多數(shù)場(chǎng)合稱為“主程序”，它接收測(cè)試數(shù)據(jù)并將這些數(shù)據(jù)傳遞到被測(cè)試模塊，被測(cè)試模塊被調(diào)用后，“主程序”打印“進(jìn)入-退出”消息。

　　驅(qū)動(dòng)模塊和樁模塊是測(cè)試使用的軟件，而不是軟件產(chǎn)品的組成部分，但它需要一定的開(kāi)發(fā)費(fèi)用。若驅(qū)動(dòng)和樁模塊比較簡(jiǎn)單，實(shí)際開(kāi)銷相對(duì)低些。遺憾的是，僅用簡(jiǎn)單的驅(qū)動(dòng)模塊和樁模塊不能完成某些模塊的測(cè)試任務(wù)，這些模塊的單元測(cè)試只能采用下面討論的綜合測(cè)試方法。

　　提高模塊的內(nèi)聚度可簡(jiǎn)化單元測(cè)試，如果每個(gè)模塊只能完成一個(gè)，所需測(cè)試用例數(shù)目將顯著減少，模塊中的錯(cuò)誤也更容易發(fā)現(xiàn)。