基于組件的軟件測(cè)試方法與應(yīng)用.pdf

1、軟件測(cè)試作為軟件丌發(fā)過程的重要環(huán)節(jié)，是保證軟件質(zhì)量，提高軟件可靠性的重要手段。軟件開發(fā)技術(shù)的發(fā)展，也必然會(huì)帶動(dòng)軟件測(cè)試技術(shù)的發(fā)展。組件技術(shù)在軟件丌發(fā)中應(yīng)用的日益廣泛，而組件技術(shù)的一些特點(diǎn)使得傳統(tǒng)的軟件測(cè)試?yán)碚摵图夹g(shù)，對(duì)基于組件技術(shù)構(gòu)造的軟件系統(tǒng)并不完全適用。研究適合組件系統(tǒng)特點(diǎn)的軟件測(cè)試技術(shù)，已成為當(dāng)前軟件測(cè)試技術(shù)的重要問題。 本論文主要研究面向用戶的組件軟件測(cè)試技術(shù)，即從用戶的角度，以UML狀念圖模型描述的規(guī)格說明書為依據(jù)，生

2、成測(cè)試用例，并以此來驗(yàn)證所獲取組件在當(dāng)前系統(tǒng)環(huán)境中的有效性。論文研究的組件調(diào)度測(cè)試框架，采取調(diào)度機(jī)制運(yùn)行預(yù)先生成的用例進(jìn)行測(cè)試，對(duì)多個(gè)候選組件實(shí)現(xiàn)了測(cè)試用例的復(fù)用技術(shù)。 論文的具體工作如下： 1．首先分析組件系統(tǒng)的特點(diǎn)，從整體上研究了基于UML模型的組件測(cè)試方法，給出基于UML模型的測(cè)試策略，并對(duì)UML狀態(tài)圖模型進(jìn)行了可測(cè)性與測(cè)試策略分析。 2．在用例生成方面，參考了A.J.Offutt提出的幾種基于狀態(tài)規(guī)格說明

3、的系統(tǒng)測(cè)試要求，提出了轉(zhuǎn)移參數(shù)完全覆蓋準(zhǔn)則，保證了測(cè)試的充分性；閘述了基于UML狀態(tài)圖和OCL約束文檔的測(cè)試用例生成方法，結(jié)合UML狀態(tài)圖和OCL約束文件，自動(dòng)生成測(cè)試用例。 3．研究了一種面向用戶的組件調(diào)度測(cè)試方法，建立一個(gè)完整的組件測(cè)、試模型，包括了從分析基于UML狀態(tài)圖的規(guī)格說明書開始，到生成測(cè)試用例，并調(diào)度組件運(yùn)行這些用例，最后分析測(cè)試結(jié)果并生成測(cè)試結(jié)果報(bào)表的整個(gè)過程。該模型可在用戶獲得任何待測(cè)組件之前根據(jù)用戶需求生成測(cè)