Radl→Apla程序生成系統(tǒng)及其可靠性研究.pdf_第1頁
已閱讀1頁,還剩58頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

1、隨著信息技術的發(fā)展,計算機軟件已經(jīng)應用到了生活的各個方面,軟件的可靠性也越來越受到關注,人們不僅對安全性至關重要軟件系統(tǒng)提出了高可靠的要求,而且對于普通的應用軟件也希望盡可能不出錯。眾所周知,傳統(tǒng)的軟件測試手段并不能滿足人們對高質量軟件的要求,而形式化開發(fā)方法因其具有嚴格的理論基礎,可以用于開發(fā)正確、高效的程序。 本文實現(xiàn)了由Radl算法程序到Apla程序的映射過程,其中使用Radl語言來描述由PAR方法開發(fā)的算法程序,選用Ap

2、la語言作為映射的目標語言。為了使這種映射過程具有高可靠性,本文采用形式化的描述方法分別從詞法、語法和語義三個層次精確地定義Radl語言,保證了Radl語言描述的程序正確地反映了推導所得算法的邏輯思想;并且基于Radl語言屬性文法,以Radl語法產(chǎn)生式作為最小映射單元,定義了Radl語言映射單元到Apla語言語義單元的語義等價映射規(guī)則;同時采用形式化推導方法,根據(jù)Radl語言詞法、語法、語義及Radl算法程序到Apla程序的映射規(guī)則的定

3、義,推導出Radl語言詞法分析、語法分析和語義分析實現(xiàn)的代表性算法?;谛问交茖У恼Z法制導翻譯的方法,將Radl算法程序按映射規(guī)則映射成Apla程序,保證了所實現(xiàn)的系統(tǒng)是在相關理論的指導下進行的,并且高可靠的實現(xiàn)了相關理論的要求。 本文主要做了如下幾方面工作,其中某些方面具有一定的創(chuàng)新性: 1.分別形式化的定義Radl語言的詞法、語法和語義。 2.以Radl語法產(chǎn)生式為單元,系統(tǒng)定義由Radl生成Apla程序的

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論