【文章內(nèi)容簡(jiǎn)介】 語(yǔ)句沒(méi)有全面檢查 write() 的返回值，無(wú)意中假設(shè)了只有數(shù)據(jù)被 完全寫(xiě)入 和 沒(méi)有寫(xiě)入 兩種情況。此測(cè)試還忽略了數(shù)據(jù) 部分寫(xiě)入 的情況，就給程序遺留了隱患。 ? 按程序的設(shè)計(jì)，使用函數(shù) strrchr() 查找最后的匹配字符，但程序中誤寫(xiě)成了函數(shù) strchr()，使程序功能實(shí)現(xiàn)時(shí)查找的是第一個(gè)匹配字符。 ? 程序中將 if ( strncmp(str1, str2, strlen(str1)) ) 誤寫(xiě)成了 if ( strncmp(str1, str2, strlen(str2)) )。如果測(cè)試用例中使用的數(shù)據(jù) str1 和 str2 長(zhǎng)度相 33 軟件工程 同，就無(wú)法檢測(cè)出。 ? 因此，在設(shè)計(jì)測(cè)試用例時(shí)，應(yīng)對(duì) 以函數(shù)返回值作為條件判斷 ， 字符串操作 等情況特別注意。 ? 面向?qū)ο缶幊痰奶匦允沟脤?duì)成員函數(shù)的測(cè)試，又不完全等同于傳統(tǒng)的函數(shù)或過(guò)程測(cè)試。尤其是繼承特性和多態(tài)特性， Brian Marick 提出 了兩點(diǎn)： 1) 繼承的成員函數(shù)可能需要重新測(cè)試 ? 對(duì)父類(lèi)中已經(jīng)測(cè)試過(guò)的成員函數(shù)，兩種情況需要在子類(lèi)中重新測(cè)試： a) 繼承的成員函數(shù)在子類(lèi)中做了改動(dòng)； b) 成員函數(shù)調(diào)用了改動(dòng)過(guò)的成員函數(shù)。 34 軟件工程 ? 例如：假設(shè)父類(lèi) Bass 有兩個(gè)成員函數(shù)： Inherited() Redefined() ? 若子類(lèi) Derived 對(duì) Redefined()做了改動(dòng)，Derived::Redefined() 必 需重新測(cè)試。但如果 Derived::Inherited() 包含有調(diào)用 Redefined() 的語(yǔ)句（如： x = x / Redefined()），就需要重新測(cè)試；反之，則不必重新測(cè)試。 2) 對(duì)父類(lèi)的測(cè)試用例不能照搬到子類(lèi) ? 根據(jù)以上的假設(shè)， Base::Redefined() 和Derived::Redefined() 是不同的成員函數(shù)，它們 35 軟件工程 有不同的說(shuō)明和實(shí)現(xiàn)。對(duì)此，應(yīng)該對(duì) Derived::Redefined() 重新設(shè)計(jì)測(cè)試用例。 ? 由于面向?qū)ο蟮睦^承性，使得兩個(gè)函數(shù)還是有相似之處，故只需在 Base::Redefined() 的測(cè)試用例基礎(chǔ)上添加對(duì) Derived::Redfined() 的新測(cè)試用例。 例如： ? Base::Redefined() 含有如下語(yǔ)句 if ( value 0 ) message (less)。 else if ( value == 0 ) message (equal)。 else message (more)。 ? Derived::Redfined() 中定義為 36 軟件工程 if ( value 0 ) message (less)。 else if ( value == 0 ) message (“ It is equal)。 else { message (more)。 if ( value == 88 ) message(luck)。 } ? 在原有的測(cè)試上，對(duì) Derived::Redfined() 的測(cè)試只需做如下改動(dòng)：改動(dòng) value == 0 的預(yù)期測(cè)試結(jié)果，并增加 value == 88 的測(cè)試。 ? 多態(tài)有幾種不同的形式，如 參數(shù)多態(tài) ， 包含多態(tài) ，重載多態(tài) 。 ? 包含多態(tài) 和 重載多態(tài) 在面向?qū)ο笳Z(yǔ)言程序中通常 37 軟件工程 ? 體現(xiàn)在 子類(lèi)與父類(lèi)的繼承關(guān)系 上，對(duì)這兩種多態(tài)的測(cè)試可參照對(duì)父類(lèi)成員函數(shù)繼承和重載的情況處理。 ? 在測(cè)試對(duì)象時(shí)，完全的覆蓋測(cè)試應(yīng)當(dāng)包括： ? 隔離對(duì)象中所有 操作 ，進(jìn)行獨(dú)立測(cè)試。 ? 測(cè)試對(duì)象中所有 屬性 的設(shè)置和訪(fǎng)問(wèn)。 ? 測(cè)試對(duì)象的所有可能的 狀態(tài)轉(zhuǎn)換 。所有可能引起狀態(tài)改變的事件都要模擬到。 2. 對(duì)象類(lèi)測(cè)試 38 軟件工程 ? 對(duì)象類(lèi) ， 作為在語(yǔ)法上獨(dú)立的構(gòu)件 ， 應(yīng)當(dāng)允許在不同應(yīng)用中使用 。 每個(gè)類(lèi)都應(yīng)是可靠的且不需了解任何實(shí)現(xiàn)細(xì)節(jié)就能復(fù)用 。 因此對(duì)象類(lèi)應(yīng)盡可能孤立地進(jìn)行測(cè)試 。 ? 設(shè)計(jì)操作的測(cè)試用例時(shí)的要點(diǎn)： 1) 首先定義測(cè)試對(duì)象 各操作 的測(cè)試用例 。 2) 對(duì)于一個(gè)單獨(dú)的操作 ， 可通過(guò)該操作的 前置條件 選擇測(cè)試用例 ， 產(chǎn)生輸出 ， 讓測(cè)試者能夠判斷 后置條件 是否能夠得到滿(mǎn)足 。 3) 各個(gè)操作的測(cè)試與傳統(tǒng)對(duì)函數(shù)過(guò)程定義的測(cè)試基本相同 。 39 軟件工程 4) 然后再把測(cè)試用例組擴(kuò)充 ， 針對(duì)被測(cè)操作調(diào)用對(duì)象類(lèi)中其他操作的情況 ， 設(shè)計(jì)操作序列的測(cè)試用例組 。 5) 測(cè)試可以覆蓋每個(gè)操作的整個(gè)輸入域。但這不夠，還必須測(cè)試這些操作的相互作用，才能認(rèn)為測(cè)試是充分的。 6) 各個(gè)操作間的相互作用包括 類(lèi)內(nèi)通信 和 類(lèi)間通信 。 ? 設(shè)計(jì)對(duì)象類(lèi)的規(guī)格說(shuō)明測(cè)試時(shí)的要點(diǎn)： 1) 把對(duì)象類(lèi)當(dāng)做一個(gè)黑盒，確認(rèn)類(lèi)的實(shí)現(xiàn)是否遵照它的定義。 40 軟件工程 putReferencePoint(Point) moveTo(Point) ReferencePoint area( ) draw( ) erase( ) getReferencePoint(Point) DisplayableShape(Point) DisplayableShape 類(lèi)內(nèi)消息 類(lèi)間消息 DisplayableShape( ) 41 軟件工程 例如，對(duì)于“棧”的測(cè)試應(yīng)當(dāng)確保 LIFO 原則得以實(shí)施。 2) 對(duì)于多數(shù)對(duì)象類(lèi)，主要檢驗(yàn)在類(lèi)聲明的 public 域 中的那些操作。 3) 對(duì)于子類(lèi)，要檢查繼承父類(lèi)的 public 域 和protected 域 的那些操作。 4) 檢查所有 public域 ， protected域 及 private 域 中的操作以完全檢查對(duì)象中定義的操作。 5) 等價(jià)劃分的思想也可用到對(duì)象類(lèi)上。將 使用對(duì)象相同屬性 的測(cè)試歸入同一個(gè)等價(jià)劃分集合中。這樣可以建立對(duì)對(duì)象類(lèi)屬性進(jìn)行初始化、 42 軟件工程 訪(fǎng)問(wèn)、更新等的等價(jià)劃分。 ? 在設(shè)計(jì)對(duì)象類(lèi)的行為測(cè)試時(shí)需要注意： 1) 基于對(duì)象的 狀態(tài)模型 進(jìn)行測(cè)試時(shí)，首先要識(shí)別需要測(cè)試的 狀態(tài)的變遷序列 ，并定義事件序列來(lái)強(qiáng)制執(zhí)行這些變遷。 2) 原則上應(yīng)當(dāng)測(cè)試每一個(gè)狀態(tài)變遷序列，當(dāng)然這樣做測(cè)試成本很高。 3) 完全的單元應(yīng)當(dāng)保證類(lèi)的執(zhí)行必須 覆蓋它的一個(gè)有代表性的狀態(tài)集合 。 4) 構(gòu)造函數(shù)和消息序列（線(xiàn)程）的參數(shù)值的選擇應(yīng)當(dāng)滿(mǎn)足這個(gè)規(guī)則。 43 軟件工程 面向?qū)ο蟮募蓽y(cè)試 (OO Integrate Test) ? 當(dāng)開(kāi)發(fā)面向?qū)ο笙到y(tǒng)時(shí)，集成的層次并不明顯。而當(dāng)一組對(duì)象類(lèi)通過(guò)組合行為提供一組服務(wù)時(shí)，則需將它們一起測(cè)試，這就是簇測(cè)試。此時(shí)不存在自底向上和自頂向下的集成。 ? 面向?qū)ο蟪绦蛳嗷フ{(diào)用的功能是散布在程序的不同類(lèi)中，類(lèi)通過(guò)消息相互作用申請(qǐng)和提供服務(wù)。類(lèi)的行為與它的狀態(tài)密切相關(guān)，狀態(tài)不僅僅是體現(xiàn)在類(lèi)數(shù)據(jù)成員的值，也許還包括其他類(lèi)中的狀態(tài)信息。 44 軟件工程 ? 對(duì)象集成測(cè)試又稱(chēng) 交互測(cè)試 ，目的是確保對(duì)象的消息傳遞能夠正確進(jìn)行。 ? 面向?qū)ο笙到y(tǒng)的集成測(cè)試有 3 種可用的方法： 1) 用例或基于場(chǎng)景的測(cè)試 用例或場(chǎng)景描述了對(duì)系統(tǒng)的使用模式。測(cè)試可以根據(jù)場(chǎng)景描述和對(duì)象簇來(lái)制定。這種測(cè)試 著眼于系統(tǒng)結(jié)構(gòu)，首先測(cè)試幾乎不使用服務(wù)器類(lèi)的獨(dú)立類(lèi)，再測(cè)試那些使用了獨(dú)立類(lèi)的下一層次的（依賴(lài)）類(lèi)。這樣一層一層地持續(xù)下去，直到整個(gè)系統(tǒng)構(gòu)造完成。 2) 基于線(xiàn)程的測(cè)試