基于UML的組件軟件集成測(cè)試的研究與應(yīng)用.pdf

1、基于組件的軟件開(kāi)發(fā)是近幾年來(lái)軟件工程中一種新興的方法。軟件組件技術(shù)是解決軟件復(fù)用、縮短軟件編寫時(shí)間、降低維護(hù)成本和實(shí)現(xiàn)程序動(dòng)態(tài)升級(jí)的最新和強(qiáng)有力的方案。對(duì)基于組件的軟件進(jìn)行集成測(cè)試是一個(gè)新的研究方向。 本文首先對(duì)組件技術(shù)的產(chǎn)生、定義及特點(diǎn)進(jìn)行深入討論，接著分析并比較了目前流行的三種主要組件模型，并對(duì)組件的各類形態(tài)進(jìn)行比較。UML是軟件建模的一種工具，使用它的各種模型圖可以實(shí)現(xiàn)對(duì)基于組件的軟件從不同角度進(jìn)行描述。 軟件測(cè)試

2、是軟件開(kāi)發(fā)的重要環(huán)節(jié)，它是軟件質(zhì)量保證的重要因素。對(duì)先后出現(xiàn)的三種軟件開(kāi)發(fā)方法與軟件測(cè)試的關(guān)系論述后，定義了基于UML測(cè)試充分性原則及標(biāo)準(zhǔn)。 本文對(duì)目前常用的兩種基于組件的軟件集成測(cè)試技術(shù)進(jìn)行了研究，這兩種技術(shù)分別是： (1)基于狀態(tài)的測(cè)試技術(shù)。每個(gè)組件的狀態(tài)用有限狀態(tài)自動(dòng)機(jī)表示，采用合成全局狀態(tài)機(jī)的方法以實(shí)現(xiàn)對(duì)組件間的接口進(jìn)行測(cè)試，合成過(guò)程利用JeanHartmann等人提出的決策表來(lái)消除產(chǎn)生的中間結(jié)果，用一個(gè)實(shí)例說(shuō)明

3、這種方法并模擬出它的執(zhí)行過(guò)程。 (2)基于事件信息流的測(cè)試技術(shù)。該方法對(duì)協(xié)作圖中參與協(xié)作的對(duì)象之間通過(guò)消息的交互進(jìn)行處理以得到測(cè)試用例，并設(shè)計(jì)了根據(jù)協(xié)作圖中信息對(duì)相應(yīng)生成的程序進(jìn)行插裝的算法。 通過(guò)分析這兩種技術(shù)的利弊，在定義基于組件的軟件測(cè)試模型的基礎(chǔ)上，提出一套從獲取協(xié)作圖消息信息到尋找測(cè)試路徑的方案。首先用建模工具做出系統(tǒng)的協(xié)作圖，再?gòu)纳傻南鄳?yīng)文件中提取消息的相關(guān)信息，按照組件間消息傳遞的依賴關(guān)系產(chǎn)成測(cè)試路徑。測(cè)

4、試者根據(jù)這些路徑進(jìn)行相應(yīng)的操作，從而測(cè)試該系統(tǒng)是否能對(duì)各種情況做出正確響應(yīng)。本文的主要工作是設(shè)計(jì)了從UML協(xié)作圖中提取消息的過(guò)程及定義了組件間傳遞的消息及其依賴關(guān)系的數(shù)據(jù)結(jié)構(gòu)，并根據(jù)依賴關(guān)系設(shè)計(jì)遍歷算法，用JAVA語(yǔ)言實(shí)現(xiàn)。 最后，用ATM機(jī)中確認(rèn)PIN的實(shí)例執(zhí)行該程序，執(zhí)行結(jié)果與分析出的應(yīng)尋找到的路徑一致，證明了該程序的可執(zhí)行性與正確性。這項(xiàng)確定測(cè)試用例的工作可從概要設(shè)計(jì)階段開(kāi)始，它對(duì)于軟件測(cè)試方法的改進(jìn)以及軟件測(cè)試自動(dòng)化具有