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

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

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

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

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