基于內(nèi)置式合約的構(gòu)件測(cè)試方法研究.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)點(diǎn)，逐漸成為一種新的趨勢(shì)。然而，軟件構(gòu)件技術(shù)在帶來增加可重用性，減少開發(fā)成本的同時(shí)，也帶來了前所未有的問題，例如構(gòu)件系統(tǒng)的測(cè)試。由于構(gòu)件本身的特殊性，當(dāng)某個(gè)構(gòu)件在投入使用之前

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

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

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