基于合約檢查的構(gòu)件化軟件測試的研究.pdf

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

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

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