模型和代碼的一致性檢測方法的研究.pdf

1、隨著計算機應用領域的擴大、應用程度的不斷加深,計算機軟件規(guī)模的不斷增大,使得提高軟件質(zhì)量和效率迫在眉睫。由于在現(xiàn)有的軟件開發(fā)過程中,代碼與模型不一致問題的存在導致系統(tǒng)功能與用戶需求不相符合,軟件維護代價過大,軟件質(zhì)量的下降。雖然國內(nèi)外對模型間的一致性檢測有大量研究,代碼的分析技術(含逆向工程)也相當成熟,但是模型與代碼間的一致性檢測相關性研究比較少,因此,本文對模型和代碼的一致性檢測方法的研究具有重要的必要性和創(chuàng)新性。
　　模型與

2、代碼之間一致性檢測的研究,要求分別對模型和代碼進行分析,然后通過一致性檢測算法來對兩者進行檢測,完成模型與代碼之間的一致性檢測,找出二者之間的不一致。本文針對UML模型與Java源代碼進行一致性檢測研究。
　　首先,本文對UML的類圖和時序圖進行形式化描述,便于實現(xiàn)對UML模型的自動解析。
　　第二,提出了時序調(diào)用圖(SD-CG)這一概念,完成了對UML模型信息的預處理:①類的關聯(lián)關系到關聯(lián)屬性的轉(zhuǎn)換;②UML時序圖到時序調(diào)

3、用圖SD-CG的轉(zhuǎn)換。
　　第三,通過對Java源代碼的詞法分析和語法分析,獲得類的信息及方法調(diào)用圖(CG)。通過使用調(diào)用圖來表達類方法之間的調(diào)用關系,從而反映代碼動態(tài)行為。它是編譯期對程序中方法調(diào)用關系的一種靜態(tài)描述,這種靜態(tài)描述構建的方法調(diào)用圖能夠?qū)崿F(xiàn)對代碼信息動態(tài)交互的分析。
　　最后,設計了UML模型與 Java源代碼間靜態(tài)信息與交互信息的一致性檢測算法。鑒于圖的一致性檢測算法是NP完全問題,為了提高一致性檢測的效率

4、,本文采用關系代數(shù)中的部分關系,對調(diào)用圖進行上升運算構造類交互圖,在通過類交互一致性檢測后,再進行時序調(diào)用圖SD-CG與方法調(diào)用圖CG間的一致性檢測。
　　基于上述理論研究,本文提出了UML模型與Java代碼一致性檢測的框架。在對建模工具ArgoUML的XMI模型文件以及Java源代碼分析的基礎上,開發(fā)了一個基于該框架工具原型,實現(xiàn)了模型信息解析和提取、時序調(diào)用圖的構造、Java調(diào)用圖構造、類交互圖的構造、靜態(tài)信息與動態(tài)交互信息的