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

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