Z形式規(guī)約切片的研究

內(nèi)容概要

本書充分利用已有的程序切片和依賴性分析技術(shù)，結(jié)合國內(nèi)外在形式規(guī)約切片及其應(yīng)用方面的最新研究動態(tài)，在Z形式規(guī)約切片及其應(yīng)用方面展開研究工作。    本書共八章，分成四大部分：第一部分為第1章，是全書的一個概述；第二部分包括第2～5章，主要研究了Z形式規(guī)約切片技術(shù)；第三部分包括第6～7章，主要研究了Z形式規(guī)約切片的應(yīng)用；第四部分為第8章，是對全書的結(jié)論。    本書研究的目的是通過對形式規(guī)約切片原理的研究，一定程度上解決形式規(guī)約切片及其在提升和度量應(yīng)用等方面存在的問題，提出基于依賴性分析的Z形式規(guī)約切片和基于關(guān)系演算的Z形式規(guī)約切片，并在此基礎(chǔ)上把Z形式規(guī)約切片應(yīng)用到提升、定理證明和度量上。

書籍目錄

序前言第1章 導(dǎo)論　1.1 Z形式規(guī)約切片的研究依據(jù)　　1.1.1 研究背景　　1.1.2 研究意義　　1.1.3 研究目的　1.2 國內(nèi)外研究現(xiàn)狀　　1.2.1 Oda和Araki的切片方法　　1.2.2 Chang和Richardson的切片方法　　1.2.3 Leminen的切片方法　1.3 本書的內(nèi)容結(jié)構(gòu)　1.4 研究方法　1.5 創(chuàng)新之處第2章 基于依賴性分析的z形式規(guī)約切片　2.1 相關(guān)研究工作　2.2 Z形式規(guī)約的依賴性分析　　2.2.1 數(shù)據(jù)依賴　　2.2.2 控制依賴　　2.2.3 邏輯依賴　2.3 Z形式規(guī)約的圖形化表示　　2.3.1 理論依據(jù)　　2.3.2 模式依賴圖S1DG　　2.3.3 形式規(guī)約依賴圖SpDG　2.4 Z形式規(guī)約切片第3章 基于依賴性分析的Z形式規(guī)約切片的形式化描述　3.1 相關(guān)研究工作　3.2 切片的形式化描述　3.3 依賴圖的形式化描述　　3.3.1 基本概念和定義　　3.3.2 節(jié)點和邊的形式化描述　　3.3.3 程序依賴圖的形式化描述　　3.3.4 系統(tǒng)依賴圖的形式化描述　3.4 程序切片算法的形式化描述　　3.4.1 子程序切片算法的形式化描述　　3.4.2 過程間切片算法的形式化描述第4章 基于關(guān)系演算的z形式規(guī)約切片　4.1 相關(guān)研究工作　4.2 基于關(guān)系代數(shù)演算的z形式規(guī)約切片　　4.2.1 基本概念和定義　　4.2.2 Z模式切片　4.3 基于Z關(guān)系演算的z形式規(guī)約切片　　4.3.1 基本概念和定義　　4.3.2 Z模式切片　4.4 實例研究　4.5 討論第5章 變量定義和使用情況的探討　5.1 表達(dá)式化簡　　5.1.1 一階謂詞邏輯的化簡　　5.1.2 集合的化簡　　5.1.3 關(guān)系的化簡　　5.1.4 函數(shù)的化簡　　5.1.5 序列的化簡　　5.1.6 包的化簡　5.2 定義對象分析　5.3 引用對象分析　5.4 節(jié)點內(nèi)定義集和使用集的分析　5.5 討論第6章 Z形式規(guī)約切片在提升和定理證明中的應(yīng)用　6.1 Z形式規(guī)約切片在提升中的應(yīng)用　　6.1.1 相關(guān)研究工作　　6.1.2 基本概念和定義　　6.1.3 切片在提升中的應(yīng)用　　6.1.4 實例研究　6.2 Z形式規(guī)約切片在定理證明中的應(yīng)用　　6.2.1 Z形式推理　　6.2.2 Z形式推理的分類　　6.2.3 一個定理證明的實例第7章 基于依賴性分析的z形式規(guī)約度量　7.1 相關(guān)研究工作　7.2 度量準(zhǔn)則的制定　7.3 度量準(zhǔn)則的驗證　　7.3.1 相關(guān)性分析　　7.3.2 回歸分析第8章 總結(jié)與展望　8.1 總結(jié)　8.2 研究展望附錄1 交通車輛管理系統(tǒng)的z形式規(guī)約和相應(yīng)的Java源代碼附錄2 與CK度量的評估、驗證和預(yù)測相關(guān)的典型工作總結(jié)附錄3 交通車輛管理系統(tǒng)回歸分析數(shù)據(jù)參考文獻(xiàn)

圖書封面

評論、評分、閱讀與下載

---

    Z形式規(guī)約切片的研究 PDF格式下載

---