【導(dǎo)讀】如圖顯示某程序的邏輯結(jié)構(gòu)。試為它設(shè)計(jì)足夠的。蓋和條件組合覆蓋。順序型－構(gòu)成串行操作；復(fù)型結(jié)構(gòu)用選擇結(jié)構(gòu)代替，只對(duì)循環(huán)體檢驗(yàn)一次。這樣，任一循環(huán)便。改造成進(jìn)入循環(huán)體或不進(jìn)入循環(huán)體的分支操作了。考慮選擇型結(jié)構(gòu)。當(dāng)程序中判定多于一個(gè)時(shí)，形成的分支。當(dāng)n較大時(shí)將無(wú)法測(cè)試。完成路經(jīng)測(cè)試的理想情況時(shí)做到路徑覆蓋；可用弧序列或節(jié)點(diǎn)序列表示某一條具體路?；和弧b相乘，表示為ab，它表明?；是先后相繼的。路徑是并行關(guān)系。對(duì)路徑表達(dá)式化簡(jiǎn)。要求：最多輸入100個(gè)值（以-999為輸入結(jié)束標(biāo)。下面的程序片斷為主程序調(diào)用的求平均值的函數(shù)。數(shù)，兩者都為全局變量。確定圈復(fù)雜性度量V；確定獨(dú)立路徑集；為每個(gè)獨(dú)立路徑的執(zhí)行，設(shè)計(jì)測(cè)試用。V=17（邊）-13（節(jié)點(diǎn)）+2=6. 節(jié)點(diǎn)10，條件total>0為false，即輸入的一。組數(shù)據(jù)中沒(méi)有一個(gè)是有效值。假如最大值為maximum，如100；可如下設(shè)計(jì)一組測(cè)試用例數(shù)據(jù)，如5個(gè)數(shù)，分別

　　

【正文】 示該窗口 。 ? 2)：在主界面載入完畢后自動(dòng)卸出內(nèi)存 ， 讓出所占用的 WINDOWS系統(tǒng)資源 。 ? 3)：關(guān)閉所有窗體 ， 系統(tǒng)退出后要釋放所占的所有系統(tǒng)資源 ， 除非是需要后臺(tái)運(yùn)行的系統(tǒng) 。 ? 4)：盡量防止對(duì)系統(tǒng)的獨(dú)占使用 。 167。 5 界面測(cè)試考慮 ? 5)：窗口能否基于相關(guān)的輸入或菜單命令適當(dāng)?shù)卮蜷_(kāi) ？ ? 6)：窗口能否改變大小 、 移動(dòng)和滾動(dòng) ？ ? 7)：窗口中的數(shù)據(jù)內(nèi)容能否使用鼠標(biāo) 、 功能鍵 、 方向箭頭和鍵盤(pán)訪問(wèn) ？ ? 8)：當(dāng)被覆蓋并重調(diào)用后 ， 窗口能否正確地再生 ？ ? 9)：需要時(shí)能否使用所有窗口相關(guān)的功能 ？ ? 10)：所有窗口相關(guān)的功能是可操作的嗎 ？ ? 11)：是否有相關(guān)的下拉式菜單 、 工具條 、 滾動(dòng)條 、 對(duì)話框 、 按鈕 、 圖標(biāo)和其他控制可為窗口可用 ， 并適當(dāng)?shù)仫@示 ？ 167。 5 界面測(cè)試考慮 ? 12)：顯示多個(gè)窗口時(shí) ， 窗口的名稱是否被適當(dāng)?shù)乇硎?？ ? 13)：活動(dòng)窗口是否被適當(dāng)?shù)丶恿?？ ? 14)：如果使用多任務(wù) ， 是否所有的窗口被實(shí)時(shí)更新 ？ ? 15)：多次或不正確按鼠標(biāo)是否會(huì)導(dǎo)致無(wú)法預(yù)料的副作用 ？ ? 16)：窗口的聲音和顏色提示和窗口的操作順序是否符合需求 ？ ? 17)：窗口是否正確地關(guān)閉？ 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 一度實(shí)踐證明行之有效的軟件測(cè)試對(duì)面向?qū)ο蠹夹g(shù)開(kāi)發(fā)的軟件多少顯得有些力不從心。尤其是面向?qū)ο蠹夹g(shù)所獨(dú)有的多態(tài)，繼承，封裝等新特點(diǎn)，產(chǎn)生了傳統(tǒng)語(yǔ)言設(shè)計(jì)所不存在的錯(cuò)誤可能性，或者使得傳統(tǒng)軟件測(cè)試中的重點(diǎn)不再顯得突出，或者使原來(lái)測(cè)試經(jīng)驗(yàn)認(rèn)為和實(shí)踐證明的次要方面成為了主要問(wèn)題。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 面向?qū)ο蟪绦虻慕Y(jié)構(gòu)不再是傳統(tǒng)的功能模塊結(jié)構(gòu)，作為一個(gè)整體，原有集成測(cè)試所要求的逐步將開(kāi)發(fā)的模塊搭建在一起進(jìn)行測(cè)試的方法已成為不可能。而且，面向?qū)ο筌浖仐壛藗鹘y(tǒng)的開(kāi)發(fā)模式，對(duì)每個(gè)開(kāi)發(fā)階段都有不同以往的要求和結(jié)果 ,已經(jīng)不可能用功能細(xì)化的觀點(diǎn)來(lái)檢測(cè)面向?qū)ο蠓治龊驮O(shè)計(jì)的結(jié)果。因此，傳統(tǒng)的測(cè)試模型對(duì)面向?qū)ο筌浖呀?jīng)不再適用。針對(duì)面向?qū)ο筌浖拈_(kāi)發(fā)特點(diǎn)，應(yīng)該有一種新的測(cè)試模型。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 一 、 面向?qū)ο鬁y(cè)試模型 (ObjectOrientTestModel) ? 面向?qū)ο蟮拈_(kāi)發(fā)模型突破了傳統(tǒng)的瀑布模型，將開(kāi)發(fā)分為面向?qū)ο蠓治觯?OOA），面向?qū)ο笤O(shè)計(jì)（ OOD），和面向?qū)ο缶幊蹋?OOP）三個(gè)階段。分析階段產(chǎn)生整個(gè)問(wèn)題空間的抽象描述，在此基礎(chǔ)上，進(jìn)一步歸納出適用于面向?qū)ο缶幊陶Z(yǔ)言的類和類結(jié)構(gòu)，最后形成代碼。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 對(duì)認(rèn)定的對(duì)象的測(cè)試 ? 對(duì)認(rèn)定的結(jié)構(gòu)的測(cè)試 ? （ 1）對(duì)認(rèn)定的分類結(jié)構(gòu)的測(cè)試 ? （ 2）對(duì)認(rèn)定的組裝結(jié)構(gòu)的測(cè)試 ? 對(duì)認(rèn)定的主題的測(cè)試 ? 對(duì)定義的屬性和實(shí)例關(guān)聯(lián)的測(cè)試 ? 對(duì)定義的服務(wù)和消息關(guān)聯(lián)的測(cè)試 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 二 、 面向?qū)ο笤O(shè)計(jì)的測(cè)試 (OODTest) ? 通常的結(jié)構(gòu)化的設(shè)計(jì)方法，用的 是面向作業(yè)的設(shè)計(jì)方法，它把系統(tǒng)分解以后，提出一組作業(yè)，這些作業(yè)是以過(guò)程實(shí)現(xiàn)系統(tǒng)的基礎(chǔ)構(gòu)造，把問(wèn)題域的分析轉(zhuǎn)化為求解域的設(shè)計(jì)，分析的結(jié)果是設(shè)計(jì)階段的輸入 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 而面向?qū)ο笤O(shè)計(jì)（ OOD）采用 “ 造型的觀點(diǎn) ” ，以 OOA為基礎(chǔ)歸納出類，并建立類結(jié)構(gòu)或進(jìn)一步構(gòu)造成類庫(kù)，實(shí)現(xiàn)分析結(jié)果對(duì)問(wèn)題空間的抽象。OOD歸納的類，可以是對(duì)象簡(jiǎn)單的延續(xù)，可以是不同對(duì)象的相同或相似的服務(wù)。 ? OOD不是在 OOA上的另一思維方式的大動(dòng)干戈，而是 OOA的進(jìn)一步細(xì)化和更高層的抽象。所以， OOD與 OOA的界限通常是難以嚴(yán)格區(qū)分的。 OOD確定類和類結(jié)構(gòu)不僅是滿足當(dāng)前需求分析的要求，更重要的是通過(guò)重新組合或加以適當(dāng)?shù)难a(bǔ)充，能方便實(shí)現(xiàn)功能的重用和擴(kuò)增，以不斷適應(yīng)用戶的要求。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 對(duì) OOD的測(cè)試 ， 建議針對(duì)功能的實(shí)現(xiàn)和重用以及對(duì) OOA結(jié)果的拓展 ， 從如下三方面考慮： ? ☆對(duì)認(rèn)定的類的測(cè)試 ☆對(duì)構(gòu)造的類層次結(jié)構(gòu)的測(cè)試 ☆對(duì)類庫(kù)的支持的測(cè)試 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 三 、 面向?qū)ο缶幊痰臏y(cè)試 (OOPTest) ? 典型的面向?qū)ο蟪绦蚓哂欣^承、封裝和多態(tài)的新特性，這使得傳統(tǒng)的測(cè)試策略必須有所改變。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 面向?qū)ο蟪绦蚴前压δ艿膶?shí)現(xiàn)分布在類中 。能正確實(shí)現(xiàn)功能的類 ， 通過(guò)消息傳遞來(lái)協(xié)同實(shí)現(xiàn)設(shè)計(jì)要求的功能 。 正是這種面向?qū)ο蟪绦蝻L(fēng)格 ，將出現(xiàn)的錯(cuò)誤能精確的確定在某一具體的類 。 因此 ， 在面向?qū)ο缶幊?（ OOP） 階段 ， 忽略類功能實(shí)現(xiàn)的細(xì)則 ， 將測(cè)試的目光集中在類功能的實(shí)現(xiàn)和相應(yīng)的面向?qū)ο蟪绦蝻L(fēng)格 ， 主要體現(xiàn)為以下兩個(gè)方面 （ 假設(shè)編程使用 C++語(yǔ)言 ） 。 ? ☆數(shù)據(jù)成員是否滿足數(shù)據(jù)封裝的要求 ☆類是否實(shí)現(xiàn)了要求的功能 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 五 、 面向?qū)ο蟮膯卧獪y(cè)試 (OOUnitTest) ? 傳統(tǒng)的單元測(cè)試是針對(duì)程序的函數(shù)、過(guò)程或完成某一定功能的程序塊。沿用單元測(cè)試的概念，實(shí)際測(cè)試類成員函數(shù)。一些傳統(tǒng)的測(cè)試方法在面向?qū)ο蟮膯卧獪y(cè)試中都可以使用。如等價(jià)類劃分法，因果圖法，邊值分析法，邏輯覆蓋法，路徑分析法，程序插裝法等等，方法的具體實(shí)現(xiàn)參見(jiàn)。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 在設(shè)計(jì)測(cè)試用例選擇輸入數(shù)據(jù)時(shí) ， 可以基于以下兩個(gè)假設(shè)： ? （ 程序 ） 對(duì)某一類輸入中的一個(gè)數(shù)據(jù)正確執(zhí)行 ， 對(duì)同類中的其他輸入也能正確執(zhí)行 。 該假設(shè)的思想可參見(jiàn) [6]中介紹的等價(jià)類劃分 。 ? （程序）對(duì)某一復(fù)雜度的輸入正確執(zhí)行，對(duì)更高復(fù)雜度的輸入也能正確執(zhí)行。例如需要選擇字符串作為輸入時(shí)，基于本假設(shè)，就無(wú)須計(jì)較于字符串的長(zhǎng)度。除非字符串的長(zhǎng)度是要求固定的，如 IP地址字符串。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 五 、 面向?qū)ο蟮募蓽y(cè)試 (OOIntegrateTest) ? 傳統(tǒng)的集成測(cè)試，是由底向上通過(guò)集成完成的功能模塊進(jìn)行測(cè)試，一般可以在部分程序編譯完成的情況下進(jìn)行。而對(duì)于面向?qū)ο蟪绦?，相互調(diào)用的功能是散布在程序的不同類中，類通過(guò)消息相互作用申請(qǐng)和提供服務(wù)。類的行為與它的狀態(tài)密切相關(guān)，狀態(tài)不僅僅是體現(xiàn)在類數(shù)據(jù)成員的值，也許還包括其他類中的狀態(tài)信息。由此可見(jiàn)，類相互依賴極其緊密，根本無(wú)法在編譯不完全的程序上對(duì)類進(jìn)行測(cè)試。所以，面向?qū)ο蟮募蓽y(cè)試通常需要在整個(gè)程序編譯完成后進(jìn)行。此外，面向?qū)ο蟪绦蚓哂袆?dòng)態(tài)特性，程序的控制流往往無(wú)法確定，因此也只能對(duì)整個(gè)編譯后的程序做基于黑盒子的集成測(cè)試。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 面向?qū)ο蟮募蓽y(cè)試能夠檢測(cè)出相對(duì)獨(dú)立的單元測(cè)試無(wú)法檢測(cè)出的那些類相互作用時(shí)才會(huì)產(chǎn)生的錯(cuò)誤 。 基于單元測(cè)試對(duì)成員函數(shù)行為正確性的保證 ， 集成測(cè)試只關(guān)注于系統(tǒng)的結(jié)構(gòu)和內(nèi)部的相互作用 。 面向?qū)ο蟮募蓽y(cè)試可以分成兩步進(jìn)行：先進(jìn)行靜態(tài)測(cè)試 ， 再進(jìn)行動(dòng)態(tài)測(cè)試 。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 靜態(tài)測(cè)試主要針對(duì)程序的結(jié)構(gòu)進(jìn)行，檢測(cè)程序結(jié)構(gòu)是否符合設(shè)計(jì)要求?，F(xiàn)在流行的一些測(cè)試軟件都能提供一種稱為 可逆性工程 的功能，即通過(guò)原程序得到類關(guān)系圖和函數(shù)功能調(diào)用關(guān)系圖，例如 InternationalSoftwareAutomation公司的Panorama2forWindows9 Rational公司的RoseC++Analyzer等，將 可逆性工程 得到的結(jié)果與 OOD的結(jié)果相比較，檢測(cè)程序結(jié)構(gòu)和實(shí)現(xiàn)上是否有缺陷。換句話說(shuō)，通過(guò)這種方法檢測(cè) OOP是否達(dá)到了設(shè)計(jì)要求。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 動(dòng)態(tài)測(cè)試設(shè)計(jì)測(cè)試用例時(shí)，通常需要上述的功能調(diào)用結(jié)構(gòu)圖、類關(guān)系圖或者實(shí)體關(guān)系圖為參考，確定不需要被重復(fù)測(cè)試的部分，從而優(yōu)化測(cè)試用例，減少測(cè)試工作量，使得進(jìn)行的測(cè)試能夠達(dá)到一定覆蓋標(biāo)準(zhǔn)。測(cè)試所要達(dá)到的覆蓋標(biāo)準(zhǔn)可以是：達(dá)到類所有的服務(wù)要求或服務(wù)提供的一定覆蓋率；依據(jù)類間傳遞的消息，達(dá)到對(duì)所有執(zhí)行線程的一定覆蓋率；達(dá)到類的所有狀態(tài)的一定覆蓋率等。同時(shí)也可以考慮使用現(xiàn)有的一些測(cè)試工具來(lái)得到程序代碼執(zhí)行的覆蓋率。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 具體設(shè)計(jì)測(cè)試用例，可參考下列步驟： ，參考 OOD分析結(jié)果，仔細(xì)出類的狀態(tài)和相應(yīng)的行為，類或成員函數(shù)間傳遞的消息，輸入或輸出的界定等。 。 關(guān)聯(lián)。 ，確認(rèn)使用什么輸入激發(fā)類的狀態(tài)、使用類的服務(wù)和期望產(chǎn)生什么行為等。 167。 6 面向?qū)ο蟮能浖y(cè)試概述 ? 六、面向?qū)ο蟮南到y(tǒng)測(cè)試 (OOSystemTest) ? 系統(tǒng)測(cè)試時(shí)，應(yīng)該參考 OOA分析的結(jié)果，對(duì)應(yīng)描述的對(duì)象、屬性和各種服務(wù)，檢測(cè)軟件是否能夠完全 “ 再現(xiàn) ” 問(wèn)題空間。系統(tǒng)測(cè)試不僅是檢測(cè)軟件的整體行為表現(xiàn)，從另一個(gè)側(cè)面看，也是對(duì)軟件開(kāi)發(fā)設(shè)計(jì)的再確認(rèn)。 ? 系統(tǒng)測(cè)試應(yīng)該盡量搭建與用戶實(shí)際使用環(huán)境相同的測(cè)試平臺(tái)，應(yīng)該保證被測(cè)系統(tǒng)的完整性，對(duì)臨時(shí)沒(méi)有的系統(tǒng)設(shè)備部件，也應(yīng)有相應(yīng)的模擬手段。