《Z形式規約切片的研究》充分利用已有的程式切片和依賴性分析技術，結合國內外在形式規約切片及其套用方面的最新研究動態，在Z形式規約切片及其套用方面展開研究工作。
基本介紹
- 書名：Z形式規約切片的研究
- 作者：吳方君
- ISBN：9787312013546
- 出版社：中國科學技術大學出版社
版權資訊,內容簡介,目錄,
版權資訊
書 名: Z形式規約切片的研究
作 者：吳方君
出版時間： 2006
ISBN: 9787312013546
開本： 32/0
定價: 18.00 元
內容簡介
本書共八章，分成四大部分：第一部分為第1章，是全書的一個概述；第二部分包括第2～5章，主要研究了Z形式規約切片技術；第三部分包括第6～7章，主要研究了Z形式規約切片的套用；第四部分為第8章，是對全書的結論。
本書研究的目的是通過對形式規約切片原理的研究，一定程度上解決形式規約切片及其在提升和度量套用等方面存在的問題，提出基於依賴性分析的Z形式規約切片和基於關係演算的Z形式規約切片，並在此基礎上把Z形式規約切片套用到提升、定理證明和度量上。
目錄
序
前言
第1章導論
1.1Z形式規約切片的研究依據
1.1.1研究背景
1.1.2研究意義
1.1.3研究目的
1.2國內外研究現狀
1.2.1Oda和Araki的切片方法
1.2.2Chang和Richardson的切片方法
1.2.3Leminen的切片方法
1.3本書的內容結構
1.4研究方法
1.5創新之處
第2章基於依賴性分析的z形式規約切片
2.1相關研究工作
2.2Z形式規約的依賴性分析
2.2.1數據依賴
2.2.2控制依賴
2.2.3邏輯依賴
2.3Z形式規約的圖形化表示
2.3.1理論依據
2.3.2模式依賴圖S1DG
2.3.3形式規約依賴圖SpDG
2.4Z形式規約切片
第3章基於依賴性分析的Z形式規約切片的形式化描述
3.1相關研究工作
3.2切片的形式化描述
3.3依賴圖的形式化描述
3.3.1基本概念和定義
3.3.2節點和邊的形式化描述
3.3.3程式依賴圖的形式化描述
3.3.4系統依賴圖的形式化描述
3.4程式切片算法的形式化描述
3.4.1子程式切片算法的形式化描述
3.4.2過程間切片算法的形式化描述
第4章基於關係演算的z形式規約切片
4.1相關研究工作
4.2基於關係代數演算的z形式規約切片
4.2.1基本概念和定義
4.2.2Z模式切片
4.3基於Z關係演算的z形式規約切片
4.3.1基本概念和定義
4.3.2Z模式切片
4.4實例研究
4.5討論
第5章變數定義和使用情況的探討
5.1表達式化簡
5.1.1一階謂詞邏輯的化簡
5.1.2集合的化簡
5.1.3關係的化簡
5.1.4函式的化簡
5.1.5序列的化簡
5.1.6包的化簡
5.2定義對象分析
5.3引用對象分析
5.4節點內定義集和使用集的分析
5.5討論
第6章Z形式規約切片在提升和定理證明中的套用
6.1Z形式規約切片在提升中的套用
6.1.1相關研究工作
6.1.2基本概念和定義
6.1.3切片在提升中的套用
6.1.4實例研究
6.2Z形式規約切片在定理證明中的套用
6.2.1Z形式推理
6.2.2Z形式推理的分類
6.2.3一個定理證明的實例
第7章基於依賴性分析的z形式規約度量
7.1相關研究工作
7.2度量準則的制定
7.3度量準則的驗證
7.3.1相關性分析
7.3.2回歸分析
第8章總結與展望
8.1總結
8.2研究展望
附錄1交通車輛管理系統的z形式規約和相應的Java原始碼
附錄2與CK度量的評估、驗證和預測相關的典型工作總結
附錄3交通車輛管理系統回歸分析數據
參考文獻
……
