構(gòu)件化軟件測(cè)試的靜態(tài)分析及配置體系研究.pdf

1、基于構(gòu)件的軟件開發(fā)技術(shù)的迅速發(fā)展，給軟件測(cè)試帶來了很大的變革，使得基于構(gòu)件的軟件測(cè)試成為人們研究的熱點(diǎn)。由于構(gòu)件化軟件本身的特點(diǎn)，使構(gòu)件化軟件集成測(cè)試與傳統(tǒng)軟件集成測(cè)試相比，有很多的不同點(diǎn)。集中體現(xiàn)在構(gòu)件開發(fā)規(guī)范的混雜性和源代碼不可知性，不能直接采用白盒測(cè)試把系統(tǒng)的組成單元進(jìn)行充分且狀態(tài)可見的測(cè)試。對(duì)于這些問題，當(dāng)前國(guó)內(nèi)外研究組織已經(jīng)做了大量的研究工作，并提出了很多的測(cè)試?yán)碚摵蜏y(cè)試方法。但是有些理論和方法與特定的構(gòu)件開發(fā)規(guī)范相關(guān)，因而不

2、具有普遍性，有些理論和方法實(shí)現(xiàn)起來比較復(fù)雜沒有形成行業(yè)標(biāo)準(zhǔn)，例如，BIT方法，基于行為協(xié)議的構(gòu)件行為驗(yàn)證方法等。因此業(yè)界需要一種具有普遍性，易實(shí)現(xiàn)性且能滿足測(cè)試要求的構(gòu)件化軟件集成測(cè)試工具。 構(gòu)件化軟件集成測(cè)試可以分為靜態(tài)分析和動(dòng)態(tài)測(cè)試兩部分。然而現(xiàn)有的靜態(tài)分析或測(cè)試工具，大多數(shù)是面向?qū)ο蠡蚪Y(jié)構(gòu)化軟件系統(tǒng)的。并且這些測(cè)試工具無法提供靜態(tài)分析的中間結(jié)果信息或提供規(guī)范的可以利用的中間結(jié)果信息，從而無法得到動(dòng)態(tài)測(cè)試需要的測(cè)試信息。本文

3、通過采用反射機(jī)制擴(kuò)展了傳統(tǒng)的軟件靜態(tài)分析方法，通過反射機(jī)制能自動(dòng)提取源代碼不可知的第三方構(gòu)件的測(cè)試信息，使用XML進(jìn)行存儲(chǔ)，并以構(gòu)件交互圖的方式呈現(xiàn)構(gòu)件之間的交互關(guān)系。然后在靜態(tài)分析結(jié)果的基礎(chǔ)上進(jìn)一步研究配置體系，使得構(gòu)件化軟件集成測(cè)試達(dá)到可配置的目的。使測(cè)試文檔是機(jī)器可讀的，并且當(dāng)測(cè)試用例和測(cè)試策略發(fā)生變化時(shí)不需要更改測(cè)試代碼，而是通過改變XML文檔內(nèi)容就能達(dá)到目的的效果。 另外，在本文采用的方法基礎(chǔ)之上，輔助開發(fā)了構(gòu)件化軟件