UML協(xié)作圖到自動機觀測模型轉(zhuǎn)化方法的研究.pdf

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

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

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