劉輝、李光傑著的《軟件重構技術研究》主要介
紹作者近十年從事軟件重構方面的研究工作成果。在
重構層次上，主要包括模型重構與代碼重構；在重構
階段上，主要包括重構機檢測、重構調度以及重構正
確性驗證等。該繫列研究成果具有較高的學術價值，
其中部分成果已經在國際頂級期刊和國際頂級會議上
進行了簡要的介紹，具有一定的國際影響力。本書可
供相關人員參考使用。

第1章 緒論
1.1 軟件重構的概念
1.2 代碼壞味問題
1.3 軟件重構規則
1.4 軟件重構流程
1.5 軟件重構研究現狀
1.6 主要研究內容
第2章 模型重構
2.1 模型
2.2 軟件模型
2.2.1 模型驅動的體繫結構
2.2.2 以模型為核心的迭代開發
2.2.3 以模型為核心的軟件維護
2.3 模型重構
2.4 模型重構的方法和工具
2.5 模型重構主要問題
2.6 自動化模型重構方案
2.6.1 圖轉換技術
2.6.2 基於圖轉換的模型重構方案
2.7 小結
第3章 模型重構描述語言
3.1 形式化的意義
3.2 形式化規則描述語言
3.2.1 基本概念
3.2.2 設計模型的形式化表示
3.2.3 自由變量
3.2.4 多重性
3.2.5 嵌套模式
3.2.6 序列
3.2.7 負面應用條件
3.2.8 不存在
3.2.9 所有
3.2.1 0OCL約束
3.3 模型的形式化描述
3.3.1 簡單模式及模式匹配
3.3.2 復雜模式及模式匹配
3.4 模型重構的形式化規則
3.5 形式化語法規則
3.6 模型重構形式化實例
3.7 小結
第4章 模型重構約束的描述與驗證
4.1 特性保持約束
4.2 模型重構實例
4.3 重構規則的表示
4.4 重構約束的描述
4.5 重構約束的驗證
4.6 適用條件
4.7 小結
第5章 模型壞昧通用檢測方法
5.1 壞味檢測概述
5.2 通用檢測方法設計思路
5.3 CSP問題及其求解方法
5.4 圖模式匹配到CSP的轉換
5.5 通用檢測方法
5.6 通用檢測方法的局限性
5.7 小結
第6章 順序圖中的克隆塊檢測
6.1 順序圖中的克隆塊
6.2 基本順序圖及後綴樹
6.2.1 基本順序圖及克隆塊
6.2.2 後綴樹
6.3 順序圖中克隆塊的檢測
6.3.1 檢測方案設計思路
6.3.2 基本順序圖的克隆塊檢測
6.3.3 順序圖的**特性及其處理對策
6.4 檢測測試
6.5 小結
第7章 用況模型中的重復事件流片段檢測
7.1 用況抽像模型與特征追蹤關繫
7.2 關鍵詞抽取與事件相似度
7.3 事件流片段相似度
7.4 基於啟發式搜索的相似事件流檢測算法
7.5 算法分析
7.6 算法測試
7.7 小結
第8章 重疊用況檢測
8.1 重疊用況問題
8.2 重疊用況特征
8.3 重疊用況
8.3.1 教務管理繫統功能說明
8.3.2 重疊用況的影響
8.3.3 對重疊用況采取的措施
8.3.4 重疊用況難於檢測
8.4 重疊用況的檢測方法
8.4.1 方法概覽
8.4.2 目標的標識與比較
8.4.3 生成狀態機圖
8.4.4 檢測重疊狀態遷移路徑
8.4.5 檢測重疊消息序列
8.5 算法測試
8.6 小結
第9章 重構調度策略
9.1 調度的重要性
9.2 重構衝突示例
9.3 重構質量度量模型
9.4 重構衝突的形式化表示
9.5 調度策略
9.5.1 方法概述
9.5.2 衝突矩陣
9.5.3 調度模型
9.5.4 調度策略
9.6 算法測試
9.6.1 測試項目
9.6.2 測試流程
9.6.3 測試結果
9.7 小結
**0章 基於圖轉換的模型重構工具
10.1 重構工具的現狀
10.2 功能需求
10.3 體繫結構
10.3.1 建模工具及元建模工具
10.3.2 規則描述語言編輯器
10.3.3 規則描述語言解析器
10.3.4 衝突檢測
10.3.5 壞味檢測
10.3.6 重構調度
10.3.7 執行引擎
10.3.8 其他插件
10.4 小結
**1章 方法抽取重構的檢測與分析
11.1 概述
11.2 方法抽取重構
11.3 方法抽取重構檢測
11.4 方法抽取檢測算法
11.4.1 查找新方法
11.4.2 判斷方法抽取
11.5 方法抽取檢測插件的實現
11.6 插件測試
11.6.1 測試結果
11.6.2 測試分析
11.7 小結
**2章 實時增量式重構檢測
12.1 實時檢測和後期集中檢測分析
12.2 集成環境中重構工具
12.3 實時增量式檢測框架
12.3.1 監聽器
12.3.2 代碼壞味檢測與重構工具
12.3.3 反饋控制器
12.3.4 代碼壞味視圖
12.4 實時增量式壞味檢測插件
12.4.1 插件結構
12.4.2 ResListener監聽器
12.4.3 檢測器
12.5 實時增量式壞味檢測插件的測試
12.5.1 測試對像
12.5.2 測試過程
12.6 小結
**3章 面向代碼壞味檢測的閾值動態優化方法
13.1 概述
13.1.1 研究背景與研究目標
13.1.2 相關研究
13.2 方法框架
13.2.1 方法流程與框架
13.2.2 壞味檢測
13.2.3 手工確認與重構
13.2.4 反饋收集
13.2.5 閾值優化
13.3 閾值優化算法
13.3.1 閾值優化目標
13.3.2 *優閾值搜索
13.4 實驗驗證
13.4.1 實驗對像
13.4.2 代碼壞味及其數據收集
13.4.3 遺傳算法參數配置
13.4.4 實驗過程
13.4.5 實驗結果與分析
13.5 小結
參考文獻