近幾十年,繼面向?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ì),但是也帶來(lái)了分析、設(shè)計(jì)、實(shí)現(xiàn)、測(cè)試和維護(hù)的一系列問(wèn)題。本文關(guān)注的重點(diǎn)就是構(gòu)件化軟件的測(cè)試和維護(hù)方面的問(wèn)題。通過(guò)對(duì)構(gòu)件技術(shù)以及基于構(gòu)件軟件工程（Component-Based Software Engineering,簡(jiǎn)稱CBSE）方法特點(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è)試方法具體來(lái)說(shuō)是利用構(gòu)件生產(chǎn)者提供的構(gòu)件合約文檔對(duì)構(gòu)件接口行為進(jìn)行描述,約束系統(tǒng)粘貼代碼與構(gòu)件接口的交互過(guò)程。然后通過(guò)測(cè)試框架捕獲交互過(guò)程、驗(yàn)證其合法性,達(dá)到集成測(cè)試系統(tǒng)的目標(biāo)。所以合約使不可見(jiàn)構(gòu)件的易跟蹤性、易測(cè)試性獲得很大的提升,成為了測(cè)試方法的核心。本文針對(duì)軟件構(gòu)件化給傳統(tǒng)軟件測(cè)試帶來(lái)的一系列問(wèn)... 

【文章來(lái)源】：西安理工大學(xué)陜西省

【文章頁(yè)數(shù)】：60 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

測(cè)試準(zhǔn)備器類圖

測(cè)試執(zhí)行器類圖

測(cè)試評(píng)價(jià)器類圖

【參考文獻(xiàn)】：
期刊論文
[1]基于XML的構(gòu)件化軟件集成測(cè)試方法研究[J]. 邢傳玉,張毅坤,馬臻.  計(jì)算機(jī)工程與應(yīng)用. 2006(18)
[2]軟件測(cè)試研究進(jìn)展[J]. 單錦輝,姜瑛,孫萍.  北京大學(xué)學(xué)報(bào)(自然科學(xué)版). 2005(01)
[3]基于XML的軟件構(gòu)件查詢匹配算法研究[J]. 徐如志,錢樂(lè)秋,程建平,王淵峰,朱三元.  軟件學(xué)報(bào). 2003(07)
[4]構(gòu)件軟件的測(cè)試問(wèn)題綜述[J]. 景濤,白成剛,胡慶培,蔡開元.  計(jì)算機(jī)工程與應(yīng)用. 2002(24)

碩士論文
[1]構(gòu)件化軟件集成測(cè)試研究[D]. 尚緒全.西安理工大學(xué) 2005



本文編號(hào)：3403916