隨著軟件開發(fā)技術(shù)不斷變更和計(jì)算機(jī)網(wǎng)絡(luò)的迅猛發(fā)展,大量軟件系統(tǒng)采用基于CORBA的組件技術(shù)開發(fā)。CORBA組件的軟件測試是基于CORBA的軟件系統(tǒng)開發(fā)中不可或缺的一環(huán),是保證軟件質(zhì)量、提高軟件可靠性的關(guān)鍵。CORBA組件作一種分布式組件對象模型,相對于傳統(tǒng)的軟件系統(tǒng)在軟件測試方法上有其特殊的要求。在分析CORBA組件的可測試性的基礎(chǔ)上,給出了一種基于契約的組件測試方法。該方法以契約的思想為基礎(chǔ),采用契約來定義CORBA組件行為,通過靜態(tài)和動態(tài)測試CORBA組件對契約的遵守情況來測試CORBA組件的可靠性。根據(jù)這種測試方法,設(shè)計(jì)了一個(gè)基于契約的CORBA組件的測試框架CBTA。CORBA組件軟件錯(cuò)誤的主要來源地之一就是復(fù)雜的CORBA異常機(jī)制。此類錯(cuò)誤不易于發(fā)現(xiàn)、復(fù)現(xiàn)和調(diào)試,是軟件測試中的難點(diǎn),因而著重分析了CORBA異常測試方法。由于傳統(tǒng)的契約思想不支持異常,擴(kuò)展了契約的概念使之適用于異常機(jī)制,并以此為基礎(chǔ)分析CORBA組件異常錯(cuò)誤的特性,給出了一種針對CORBA組件異常機(jī)制的軟件測試方法。在上述研究工作的基礎(chǔ)上,設(shè)計(jì)并實(shí)現(xiàn)了基于契約的CORBA組件測試框架CBTA的基本功能,著重分析了... 

【文章來源】：華中科技大學(xué)湖北省211工程院校985工程院校教育部直屬院校

【文章頁數(shù)】：63 頁

【學(xué)位級別】：碩士

【部分圖文】：

ORB體系結(jié)構(gòu)圖

圖 2.3 BufferManager 與 Buffer 的邏輯結(jié)構(gòu)ffer 接口也可以這樣定義，Buffer 接口的契約定義如下。Buffer DataStat 狀態(tài)正確。內(nèi)部緩沖數(shù)據(jù)結(jié)構(gòu)正確有效ram 操作：前置條件：Buffer 對象已被初始化請求的業(yè)務(wù)邏輯存在后置條件：請求的業(yè)務(wù)邏輯被調(diào)用，返回值給出調(diào)用是否成功業(yè)務(wù)調(diào)用的結(jié)果正確地保存到 buffer 中狀態(tài)為 LASTANDFIRST_DATA 或 FIRST_DATA 操作：前置條件：Buffer 對象中有緩沖數(shù)據(jù)，狀態(tài)不是 LAST_DATA

圖 2.4 CORBA 組件測試的三個(gè)階段圖 2.5 描述了測試框架 CBTA 的結(jié)構(gòu)圖。圖中實(shí)線表示的是實(shí)際的業(yè)務(wù)邏輯虛線表示的是測試信息流。CBTA 框架主要由測試用例管理器 TM，客戶模，測試分析器、被測組件 TC 及其中插裝的契約代碼塊 EC、測試用例庫和測個(gè)部分組成。

【參考文獻(xiàn)】：
期刊論文
[1]多數(shù)據(jù)庫系統(tǒng)查詢優(yōu)化算法的研究[J]. 鄧曦,盧正鼎,張巍,張立明.  小型微型計(jì)算機(jī)系統(tǒng). 2004(03)



本文編號：3611984