UML協作圖到自動機觀測模型轉化方法的研究.pdf

1、基于構件的軟件開發(fā)技術是正在并逐步走向成熟的新的軟件開發(fā)技術。構件作為一個大粒度的復用單元,使軟件開發(fā)變成了構件的集成,從而大幅度降低了軟件開發(fā)成本,提高了軟件質量。然而,構件本身固有的新特性,使得傳統的軟件測試技術不再適用于構件系統的測試。研究適合構件系統特點的軟件測試技術,并研究通過為構件系統建模進而指導軟件測試已成為當前亟待解決的重要問題。 本文從分析軟件系統結構為出發(fā)點,忽略軟件系統內部實現細節(jié),將軟件系統的結構統一到事

2、件狀態(tài)這兩個概念點上,并在此基礎上總結了軟件系統的運行行為,將構件化軟件需求規(guī)約為有限狀態(tài)自動機觀測模型。 UML作為一種事實上的工業(yè)標準,能夠用圖形化的方法為軟件系統需求建模。但是,UML的許多概念都基于非形式化語義,對模型的描述不夠準確,缺乏精確的語義,容易產生模糊和歧義。 有限狀態(tài)自動機和UML存在很大的互補性,自動機恰好能在精確語義方面彌補UML的不足,并且能夠利用自動機狀態(tài)圖的語言辨識性原理,為構件測試奠定基礎

3、,同時,UML可以降低直接使用自動機為軟件系統建模的難度。二者的結合對研究構件軟件測試有著非常重要的意義。 在分析UML模型圖特點的基礎上,本文選擇反映構件交互的UML協作圖為構件交互建模,進而將其轉化為自動機觀測模型來指導構件集成測試。轉化過程分以下幾步進行：首先對UML協作圖進行形式化定義,劃分消息類型；其次運用Rose REI提取協作圖中的消息相關信息,并將信息保存到數據庫文件*.MDL中；再次定義數據庫文件*.MDL到觀