基于UML模型規(guī)約的程序切片技術(shù)研究.pdf

1、計算機語言是計算機與使用者之間的通訊語言。是計算機與其使用者之間信息傳遞的媒介。
　　計算機語言的發(fā)展經(jīng)歷了最初的低級語言到高級語言的復雜歷程。由最初的機器語言到二進制編碼的低級語言再到后來的面向過程的高級語言以至目前流行的面向?qū)ο蟮木幊陶Z言。規(guī)約語言是計算機學科領(lǐng)域中的一種形式化語言。它不同于一般的編程語言,形式語言一般用于系統(tǒng)的分析和設(shè)計中,從而使得開發(fā)思想更容易理解。程序切片是源起于程序調(diào)試的一門新興的理論,目前在軟件開發(fā)的

2、各個階段都有應用,比如軟件測試、軟件度量、軟件重用等。本文基于對UML形式化的研究和程序切片精度問題的研究做了以下幾點工作:
　　(1)通過形式化規(guī)約語言Z將UML的部分模型圖進行了形式化描述,一定程度上避免了模型圖語義的二義性。
　　本文主要討論統(tǒng)一建模語言UML的形式化描述。隨著軟件工程概念的提出,各種方法學的不斷融合,統(tǒng)一建模語言UML從各種建模語言中脫穎而出。UML是一種圖形符號系統(tǒng),主要通過九種側(cè)重點不同的模型圖對

3、系統(tǒng)進行描述。雖然它是一種系統(tǒng)描述語言,但是由于它本身的特點,造成了它在系統(tǒng)規(guī)格描述方面會產(chǎn)生一定的二義性。圖形符號系統(tǒng)和自然語言對規(guī)格說明描述上雖然具有直觀易理解的特性,但是由于自然語言不可避免的歧義性導致規(guī)格描述時的歧義性,本文通過一種形式語言Z的描述規(guī)格對UML模型進行形式化轉(zhuǎn)換。從而為系統(tǒng)的模型驗證提供依據(jù)。
　　(2)通過對基于規(guī)約切片的研究,給出一種計算基于規(guī)約的切片的算法,提高切片本身的精度。
　　程序切片作為

4、一門新興的理論,起源于程序調(diào)試,目前比較成熟的應用在軟件測試中,有很多學者嘗試將其應用于軟件開發(fā)過程的各個階段并且取得了一定的進展。作為一種理論基礎(chǔ)或者應用工具,切片本身的精度的保證是很重要的問題。本文主要對基于規(guī)約的切片進行研究,基于有條件切片算法,給出了一種計算基于規(guī)約的切片算法。保證了程序切片在給定前置后置條件基礎(chǔ)下能夠保證獲得的切片是最小的,精度也最高。
　　(3)通過對規(guī)約切片和UML模型圖的形式化描述,探討了將程序切片