面向?qū)ο蟮陌缀袦y試技術的研究與分析

1、面向?qū)ο蟮陌缀袦y試技術的研究與分析摘要:本文討論了面向?qū)ο筌浖奶攸c,從軟件測試的層次劃分出發(fā),以一個自動售貨機為例設計了一個軟件系統(tǒng)的白盒測試用例,分析了白盒測試在面向?qū)ο筌浖y試中的特點和測試的方法。關鍵詞:面向?qū)ο?白盒測試;用例1引言如何進步軟件質(zhì)量是軟件工程致力解決的關鍵問題之一。軟件測試和驗證是保證軟件正確性和進步軟件可靠性的最根本和最重要的手段。自20世紀80年代以來,面向?qū)ο蠓椒ê图夹g的研究已普及計算機軟件、硬件和應用各領域,在軟件工程領域更是得到了廣泛的重視,但研究的重點和成果主要集中于面向?qū)ο蠓治雠c技術方法學領域(即軟件開發(fā)的前期),而面向?qū)ο筌浖y試技術的研究還比擬薄弱。

2、近年來,國內(nèi)外對面向?qū)ο筌浖y試進展了大量的研究,但目前該領域還處于百家爭鳴的階段,還未形成一套較為成熟與完善的軟件測試理論與方法。本文從軟件測試的層次劃分出發(fā),對面向?qū)ο蟮臏y試方法和解決方案做一討論,并結合詳細工程給出了實例設計。2面向?qū)ο罄碚撨\用面向?qū)ο蟮姆椒ê图夹g,首先必須明確什么是“面向?qū)ο蟆Ｔ?jīng)有很多年,“面向?qū)ο蟊徽J為是使用一系列面向?qū)ο蟪绦蛟O計語言(如ada95,+,salltalk等)的軟件開發(fā)方法。如今“面向?qū)ο蠹喊旰玫能浖こ逃^點,peterad和edardyurdn給出了“面向?qū)ο蟮娜缦露x:面向?qū)ο?bjet-riented)=對象(bjets)+分類(lassif

3、iatin)+繼承(inheritane)+通信(uniatin)。面向?qū)ο筌浖姆庋b性、繼承性、多態(tài)性和動態(tài)綁定等特性進步了軟件的可重用性,使軟件開發(fā)更快、質(zhì)量更高,而且軟件易于維護、易于修改。通過組裝可利用子系統(tǒng)而產(chǎn)生更大的系統(tǒng),然而另一方面,它卻給軟件測試帶來了更多的困難。與之相對應的軟件測試技術還相對滯后,如何探究出一套行之有效的方法,尤其是如何采用自動化的方法來測試這些軟件,己成為軟件測試者們所面臨的挑戰(zhàn)。3白盒測試的傳統(tǒng)方法白盒測試方法主要根據(jù)邏輯段蓋準那么,如語句覆蓋和斷定覆蓋等。這些覆蓋準那么是白盒測試方法的重要理論根底,可以指導測試人員設計出有效的測試用例。sqateates

4、t是測試perbuilder軟件的有用測試工具,它可以與perbuilder對象嚴密地結合在一起,根據(jù)使用sqateatest測試軟件的經(jīng)歷和對該軟件的理解,認為設計出有效的測試用例仍是使用sqateatest測試軟件的關健性工作。能否設計出一系列有效的測試用例,將直接影響到軟件的測試效果,因為sqateatest測試軟件的測試思想是回歸測試,所以能否發(fā)現(xiàn)軟件中存在的問題,仍依賴于測試用例的設計。從前面的分析中可以看出,無論是使用白盒測試方法還是使用sqateatest測試軟件,設計有效的測試用例是測試工作的重要環(huán)節(jié)。傳統(tǒng)的白盒測試方法是按照軟件模塊內(nèi)的邏輯控制構造、運行過程和模塊間的組織構造

5、與接口,逐個設計出針對每個模塊、每個子系統(tǒng)和系統(tǒng)的測試用例,因此每個模塊都會被測試到,或者說可以保證測試的模塊被覆蓋。因為白盒測試的根底是根據(jù)對程序構造的清楚描繪,而模塊內(nèi)部的邏輯履蓋由邏輯覆蓋準那么提供保證。但是在事件驅(qū)動面向?qū)ο蟮能浖?軟件的設計思路和軟件的構造與傳統(tǒng)的面向過程的軟件相比已經(jīng)發(fā)生了相當大的改變,對象和事件概念在軟件開發(fā)中占有非常重要的地位,而傳統(tǒng)的白盒測試方法并不能適應這種變化。4面向?qū)ο蟀缀袦y試框架分析測試設計是整個測試過程的關鍵部分,面向?qū)ο筌浖_發(fā)中的白盒測試設計優(yōu)劣更是整個測試工作的成敗所在。為此在本文中我們可以詳細的實例來設計一個白盒測試的框架和方法。對用例的用

6、戶描繪往往采用系統(tǒng)序列圖,它將系統(tǒng)看做一個整體,并從用戶的角度描繪用例的處理過程,以購置商品用例為例,給出其處理過程序列表如表2所示。借助購置商品的流程可以對效勞進展白盒測試。白盒測試主要進展根本途徑測試,我們在這里主要設計語句覆蓋測試和分支覆蓋測試,來設計面向?qū)ο筌浖陌缀袦y試的測試用例,測試用例的設計原那么是保證在測試中程序的每一個可執(zhí)行語句至少執(zhí)行一次,針對購置商品的流程得出的詳細途徑有兩條,途徑1:1-2-3-4-5;途徑2:1-3a-2-3-5a-4-4a-5。根據(jù)途徑生成測試用例:根據(jù)判斷節(jié)點給出的條件,選擇適當?shù)臄?shù)據(jù)以保證每一條途徑可以被測試到。只要設計出的測試用例可以保證控制流

7、程圖中的所有途徑都能被執(zhí)行到,就可以使得程序中的每一個可執(zhí)行語句至少執(zhí)行一次,那么效勞中每個條件的真假兩種取值都可以得到測試,從而實現(xiàn)可以檢查程序的主要執(zhí)行途徑,又可以覆蓋程序的所有分支,而且可以滿足語句覆蓋的要求。5小結由于面向?qū)ο筌浖陨淼奶攸c,使得面向?qū)ο蟮陌缀袦y試有別于傳統(tǒng)的白盒測試思想。到目前為止,現(xiàn)有的面向?qū)ο筌浖y試方法還存在許多問題,對面向?qū)ο筌浖陌缀袦y試技術還有待進一步的深化研究,以便做出對軟件測試的理論和理論有指導意義、有影響的成果。參考文獻1laran.ul和形式應用:面向?qū)ο蠓治雠c設計導論.姚淑珍,李虎,譯.北京:機械工業(yè)出版社,2001.2jabsni,bhg,ru

8、baughj.統(tǒng)一軟件開發(fā)過程.周伯生,馮學民,樊東平,譯.北京:機械工業(yè)出版社,2001.3pressanrs.軟件工程:理論者的研究方法.黃柏素,梅宏,譯.北京:機械工業(yè)出版社,1999.面向?qū)ο蟮陌缀袦y試通常不能獨立地測試一個方法(操作),這個方法相當于傳統(tǒng)的測試單元,而是將這個方法作為一個測試類的一部分。假如一個基類中有一個方法,繼承類也繼承了這個方法,但是這個方法可能在繼承類中被私有數(shù)據(jù)和方法使用,所以盡管基類中已經(jīng)測試了這個方法,但是每個繼承類也需要考慮對這個方法進展測試。一般從下面兩個方面進展考慮。(1)繼承的成員函數(shù)是否都不需要測試。一般來說,對父類中已經(jīng)測試過的成員函數(shù),兩種

9、情況需要在子類中重新測試,即繼承的成員函數(shù)在子類中作了改動,或成員函數(shù)調(diào)用了改動過的成員函數(shù)的部分。(2)對父類的測試是否能照搬到子類。多態(tài)有幾種不同的形勢,如參數(shù)多態(tài),包含多態(tài),過載多態(tài)。包含多態(tài)和過載多態(tài)在面向?qū)ο笳Z言中通常表達在子類與父類的繼承關系上。對具有包含多態(tài)的成員函數(shù)測試時,只需要在原有的測試分析的根底上擴大測試用例中輸入數(shù)據(jù)的類型。從上面的分析可以看出,面向?qū)ο蟮能浖陌缀袦y試主要是針對軟件設計中的類和對象來進展測試的。因此鏈接被測試的軟件的類構造,是進展白盒測試的關鍵。由于封裝的原那么,在面向?qū)ο筌浖念愐话阍O計為私有或受保護類型,即類的屬性和方法是無法從外部直接訪問的,必須通過類中的公有方法來實現(xiàn)。因此設計測試用例時必需要注意對這些公有成員的才做。白盒測試邏輯覆蓋的方法主要包括語句覆蓋、分支覆蓋、條件覆蓋、條件組合覆蓋等。窮舉測試要求對所有可能的輸入和狀態(tài)執(zhí)行所有的途徑,除非對一些小實例,窮舉測試是不現(xiàn)實的,通常是通過從所有可能的測試用例中確定最有可能檢測出最多錯誤的子集,進展