基于內置式合約的構件測試方法研究.pdf

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

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

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

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