基于契約的CORBA組件測試方法研究.pdf

1、隨著軟件開發(fā)技術(shù)不斷變更和計算機(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)和

2、動態(tài)測試CORBA組件對契約的遵守情況來測試CORBA組件的可靠性.根據(jù)這種測試方法,設(shè)計了一個基于契約的CORBA組件的測試框架CBTA.CORBA組件軟件錯誤的主要來源地之一就是復(fù)雜的CORBA異常機(jī)制.此類錯誤不易于發(fā)現(xiàn)、復(fù)現(xiàn)和調(diào)試,是軟件測試中的難點,因而著重分析了CORBA異常測試方法.由于傳統(tǒng)的契約思想不支持異常,擴(kuò)展了契約的概念使之適用于異常機(jī)制,并以此為基礎(chǔ)分析CORBA組件異常錯誤的特性,給出了一種針對CORBA組件異