面向?qū)ο蟮念悳y試技術(shù)研究

面向?qū)ο蟮念悳y試技術(shù)研究內(nèi)容摘要：類是面向?qū)ο筌浖幕緲?gòu)成單元，類測試是面向?qū)ο筌浖y試的關(guān)鍵。從基于效勞的、基于對象動態(tài)測試模型的、基于流圖的以及基于規(guī)約的四個方面闡述了類測試的思想和方法。本文關(guān)鍵詞語：面向?qū)ο?；軟件測試；類測試1面向?qū)ο筌浖念悳y試面向?qū)ο筌浖暮暧^上來看是各個類之間的互相作用。在面向?qū)ο笙到y(tǒng)中,系統(tǒng)的基本構(gòu)造模塊是封裝了的數(shù)據(jù)和方法的類和對象,而不再是一個個能完成特定功能的功能模塊。每個對象有自己的生存周期,有自己的狀況。消息是對象之間互相懇求或協(xié)作的途徑,是外界使用對象方法及獲取對象狀況的唯一方式。對象的功能是在消息的觸發(fā)下,由對象所屬類中定義的方法與相關(guān)對象的合作共同完成,且在不同狀況下對消息的響應(yīng)可能完全不同。對象中的數(shù)據(jù)和方法是一個有機(jī)的整體,測試經(jīng)過中不能僅僅檢查輸入數(shù)據(jù)產(chǎn)生的輸出結(jié)果能否與預(yù)期的吻合,還要考慮對象的狀況。模塊測試的概念已不適用于對象的測試“類測試將是整個測試經(jīng)過的一個主要步驟,它與傳統(tǒng)測試方法的區(qū)別可用圖1來表示。面向?qū)ο筌浖念悳y試與傳統(tǒng)軟件的單元測試相對應(yīng),但類包括一組不同的操作,而且某特殊操作可能作為一組不同類的一部分存在。同時,一個對象有它自己的狀況和依靠于狀況的行為,對象操作既與對象的狀況有關(guān),但可以能改變對象的狀況。因而,類測試時不能孤立地測試單個操作,要將操作作為類的一部分;同時要把對象與其狀況結(jié)合起來,進(jìn)行對象狀況行為的測試“類的測試內(nèi)容分為:(1)基于效勞的測試(測試類中的每一個效勞);(2)基于狀況的測試(考察類的實(shí)例在其生命周期各個狀況下的情況);(3)基于響應(yīng)狀況的測試(從類和對象的責(zé)任出發(fā),以外界向?qū)ο蟀l(fā)送特定的消息序列的方法來測試對象的各個響應(yīng)狀況)。如此圖2所示。2類測試技術(shù)2.1基于效勞的類測試技術(shù)基于效勞的類測試重要考察封裝在類中的一個方法對數(shù)據(jù)進(jìn)行的操作，它能夠采取傳統(tǒng)的白盒測試方法。為克制軟件測試的盲目性和局限性,保證測試的質(zhì)量,提升軟件的可靠性,下面我們介紹一種類的效勞的測試模型及相應(yīng)的測試策略。bbd通常有兩種獲取途徑。一是采取逆向工程的方法根據(jù)源程序畫出流程圖,然后構(gòu)造出bbd。但這究竟是在缺少軟件開發(fā)前期的分析、設(shè)計(jì)文檔或文檔不齊全的情況下退而求其次的辦法。當(dāng)源程序不正確時構(gòu)造出來的bbd就是毛病的。另一種途徑就是追根溯源,在軟件的分析、設(shè)計(jì)階段就根據(jù)測試的需要構(gòu)造出相應(yīng)的bbd。這樣就能從根本上解決問題,正確地指點(diǎn)類的效勞的測試。2.2基于條理增量的類測試條理增量測試的基本思想是:首先分別測試父類的各個成員函數(shù),再測試成員函數(shù)間的互相作用,把測試用例和履行信息保存在/測試歷史中,在測試子類時,根據(jù)父類的測試歷史修改部分的定義以及實(shí)現(xiàn)語言的繼承映射來決定子類中的哪些特征應(yīng)當(dāng)重測試以及父類的哪些測試用例能夠復(fù)用。這種根據(jù)類間繼承關(guān)系的條理特性對類進(jìn)行增量測試的技術(shù)是由m.harrold等人提出的,其特點(diǎn)是復(fù)用父類的測試信息來指點(diǎn)子類的測試。每一個子類看作由兩部分構(gòu)成:從父類繼承的部分和修改部分,如此圖3所示,其中符號“|〞為并置運(yùn)算符。類中的特征被分為6種類型:新特征:子類中新定義的特征;遞歸特征:在父類中定義、未被子類重定義的繼承特征;重定義特征:在父類中定義、又在子類中重定義的特征,重定義特征在子類中屏蔽了同名(同參數(shù)表)的父類特征;虛新特征虛特征是指其實(shí)現(xiàn)尚不完好、留待子類重定義的特征,虛新特征是指子類中新定義的虛特征;虛遞歸特征:在父類中定義的虛特征,被子類繼承后未重定義的特征;虛重定義特征:在父類中定義的虛特征,在子類中被重定義的特征,重定義特征在子類中屏蔽了同名(同參數(shù)表)的父類特征。父類中各個成員函數(shù)的測試采取傳統(tǒng)的單元測試技術(shù),能夠把傳統(tǒng)的基于規(guī)約和基于程序的測試技術(shù)相結(jié)合選擇測試集。類中每一個成員函數(shù)的測試歷史是一個三元組{mi(tsi,test),(tpi,test)},其中mi為成員函數(shù);tsi為基于規(guī)約的測試集;tpi為基于程序的測試集;test標(biāo)識該測試集能否要(重)運(yùn)行。同一類中成員函數(shù)的互相作用的測試實(shí)際上是一種集成測試,怎樣進(jìn)行這一測試是根據(jù)類圖來確定的。在類圖中,節(jié)點(diǎn)表示類中的一個成員函數(shù)或數(shù)據(jù)成員,有向邊表示發(fā)送消息。測試數(shù)據(jù)集的選擇可以應(yīng)用基于規(guī)約和基于程序的測試方法。測試歷史的形式也是一個三元組{mi(tisi,test),tipitest},其中mi是類圖中某一子圖的根節(jié)點(diǎn);tisi是基于規(guī)約的集成測試集;tipi是基于程序的集成測試集;取表示該測試集要全部(重)運(yùn)行,取表示部分(重)運(yùn)行,取表示無需(重)運(yùn)行。一個類的測試歷史是各成員函數(shù)測試歷史的集合和集成測試歷史集合的并集。2.3基于流圖的類測試技術(shù)把傳統(tǒng)的基于流圖的測試技術(shù)應(yīng)用于類測試提出了一種構(gòu)造類流圖的框架。在類流圖中,節(jié)點(diǎn)表示操作,操作a和操作b之間的有向邊表示允許某引用類(client)在調(diào)用操作a之后調(diào)用操作b,確定節(jié)點(diǎn)間能否能夠聯(lián)邊的根據(jù)是該類的規(guī)約。傳統(tǒng)程序流圖的測試充足性原則能夠在類流圖中找到對應(yīng),如類流圖的節(jié)點(diǎn)覆蓋要求測試時的操作序列應(yīng)使每個操作至少履行一次,分支覆蓋要求測試時的操作序列應(yīng)覆蓋類流圖中的每條邊至少一次。還能夠在類流圖上給出類似于數(shù)據(jù)流的定義性出現(xiàn)!引用性出現(xiàn)、定義-引用對等概念。在類流圖中,所有對象的定義性出現(xiàn)和引用性出現(xiàn)根據(jù)操作(節(jié)點(diǎn))中能否定義或引用該對象來確定,然后在謂詞性引用和控制操作。計(jì)算性引用和非控制操作之間建立對應(yīng)關(guān)系,進(jìn)而能夠類似地給出數(shù)據(jù)流原則中的定義覆蓋原則、引用覆蓋原則和定義-引用路徑覆蓋原則等。圖4給出堆棧類(類名為stack,t為棧元類型)的類流圖,表1給出每個操作的定義性和引用性使用情況。基于流圖的類測試技術(shù)把傳統(tǒng)的基于規(guī)約的測試應(yīng)用于類測試,完全依靠于類的實(shí)現(xiàn),系統(tǒng)地而不是隨機(jī)地產(chǎn)生測試用例,且可全