基于合約檢查的構件化軟件測試的研究.pdf

1、近幾十年,繼面向對象的設計方法之后,基于構件的軟件設計開發(fā)方法正在逐漸成為新的趨勢,并不斷成熟和大量推廣。作為組成構件化軟件基本單元的構件有其自身的特點,使得構件化軟件在開發(fā)上比傳統(tǒng)的結構化編程、面向對象編程更具優(yōu)勢,但是也帶來了分析、設計、實現(xiàn)、測試和維護的一系列問題。本文關注的重點就是構件化軟件的測試和維護方面的問題。通過對構件技術以及基于構件軟件工程(Component-Based Software Engineering,簡稱C

2、BSE)方法特點的研究,本文從構件使用者和構件集成者的角度分析構件及構件化軟件的測試,利用Bertrand Meyer合約化軟件設計[1]思想作為構件測試的理論基礎,提出了一種新的基于合約的構件化軟件集成測試方法,并且討論了在該種測試方法下相應的故障模型。測試方法具體來說是利用構件生產者提供的構件合約文檔對構件接口行為進行描述,約束系統(tǒng)粘貼代碼與構件接口的交互過程。然后通過測試框架捕獲交互過程、驗證其合法性,達到集成測試系統(tǒng)的目標。所以

3、合約使不可見構件的易跟蹤性、易測試性獲得很大的提升,成為了測試方法的核心。本文針對軟件構件化給傳統(tǒng)軟件測試帶來的一系列問題,結合傳統(tǒng)軟件測試中的黑盒和白盒測試方法,以基于合約的測試方法為核心,設計了一個從構件的確認測試到構件化軟件集成測試相對完整的測試框架,并實現(xiàn)了部分功能。從理論上來說該框架是對傳統(tǒng)測試技術有效的改進和補充,基于框架的原型工具在實踐中可以減輕構件使用者或構件集成者測試構件化軟件的工作任務,保證了構件化軟件的質量和可靠性