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

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

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

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