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

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