基于內(nèi)置式合約的構(gòu)件測試方法研究.pdf

1、近年來軟件開發(fā)呈現(xiàn)出了突飛猛進(jìn)的發(fā)展，軟件開發(fā)技術(shù)也從早期的結(jié)構(gòu)化編程，發(fā)展到后來的面向?qū)ο蠹夹g(shù)，直至現(xiàn)在的軟件構(gòu)件技術(shù)?；跇?gòu)件的軟件工程（Component-Based Software Engineering，簡稱CBSE）憑借自身的可復(fù)用性，開發(fā)的高效性等優(yōu)點，逐漸成為一種新的趨勢。然而，軟件構(gòu)件技術(shù)在帶來增加可重用性，減少開發(fā)成本的同時，也帶來了前所未有的問題，例如構(gòu)件系統(tǒng)的測試。由于構(gòu)件本身的特殊性，當(dāng)某個構(gòu)件在投入使用之前

2、經(jīng)過了完整的測試，證明該構(gòu)件不存在缺陷，但當(dāng)將此構(gòu)件部署到構(gòu)件系統(tǒng)中時，未能從其它構(gòu)件得到所依賴的服務(wù)，或者對內(nèi)存、處理器周期出現(xiàn)競爭的情況，才發(fā)現(xiàn)并不能與當(dāng)前的系統(tǒng)環(huán)境很好的配合使用。為此需在構(gòu)件系統(tǒng)的集成階段耗費更多的時間和精力進(jìn)行測試，這樣就使得構(gòu)件技術(shù)的優(yōu)勢大打折扣。傳統(tǒng)的構(gòu)件測試技術(shù)，將多余的測試時間花在已經(jīng)過充分驗證的構(gòu)件本身正確性上，由于構(gòu)件并不像硬件存在老化現(xiàn)象，就造成了資源與時間的浪費。所以本文將重點放在了構(gòu)件的配置變

3、化對構(gòu)件的影響上，包括部署環(huán)境、對應(yīng)的服務(wù)組件和系統(tǒng)所在的平臺。
　　 本文從構(gòu)件使用者和開發(fā)者的角度分析構(gòu)件及構(gòu)件化軟件的測試，利用B.Meyer的合約化軟件設(shè)計思想作為構(gòu)件測試的理論基礎(chǔ)，并在其上面進(jìn)行了擴(kuò)展與改進(jìn)，提出了一種基于內(nèi)置合約檢查的構(gòu)件測試技術(shù)，增強(qiáng)了構(gòu)件對于運行環(huán)境的自測試能力。構(gòu)件在被部署到新的系統(tǒng)環(huán)境中時，內(nèi)置的合約測試組件能夠自動測試其服務(wù)端（包括運行環(huán)境）是否遵守彼此之間合約，并驗證自身在運行階段履行其

4、所聲明的義務(wù)的能力。利用合約測試組件內(nèi)提供的測試強(qiáng)度配置接口，可以方便的根據(jù)所部署環(huán)境的需求，對測試用例規(guī)模進(jìn)行選擇。若在系統(tǒng)的集成階段出現(xiàn)了問題，也能夠方便地從拋出的異常信息定位到出錯的位置。基于內(nèi)置合約檢查的構(gòu)件測試技術(shù)的提出，有效增強(qiáng)了構(gòu)件的可復(fù)用性，降低了部署構(gòu)件系統(tǒng)的成本，使構(gòu)件開發(fā)向“即插即用”的目標(biāo)更進(jìn)了一步。本文從構(gòu)件系統(tǒng)中最基本的客戶－服務(wù)關(guān)系的兩端對合約測試進(jìn)行了設(shè)計，包括在服務(wù)端添加易于測試的合約測試接口，以及客戶