面向UML模型的依賴(lài)性分析及應(yīng)用的研究

序
前言
第1章 導(dǎo)論
1.1 面向UML模型的依賴(lài)性分析的研究依據(jù)
1.1.1 研究背景
1.1.2 研究意義和目的
1.2 國(guó)內(nèi)外研究現(xiàn)狀
1.2.1 順序程序的依賴(lài)性分析
1.2.2 并發(fā)程序的依賴(lài)性分析
1.2.3 面向?qū)ο蟪绦虻囊蕾?lài)性分析
1.2.4 UML類(lèi)圖的依賴(lài)性分析
1.2.5 UML狀態(tài)機(jī)圖的依賴(lài)性分析
1.2.6 依賴(lài)性分析在切片和度量上的應(yīng)用
1.3 本書(shū)的內(nèi)容結(jié)構(gòu)
1.4 本書(shū)的研究方法
1.5 本書(shū)的創(chuàng)新之處
第2章 面向UML類(lèi)圖的依賴(lài)性分析及其在切片上的應(yīng)用
2.1 引言
2.2 UML類(lèi)圖的依賴(lài)性分析
2.2.1 關(guān)聯(lián)關(guān)系
2.2.2 聚合關(guān)系
2.2.3 組合關(guān)系
2.2.4 泛化關(guān)系
2.2.5 依賴(lài)關(guān)系
2.3 UML類(lèi)依賴(lài)圖的構(gòu)造算法
2.4 應(yīng)用研究
2.4.1 實(shí)例分析
2.4.2 性能分析
第3章 結(jié)合UML通信圖的類(lèi)圖依賴(lài)性分析及其在切片上的應(yīng)用
3.1 引言
3.2 基本概念和定義
3.2.1 UML通信圖與類(lèi)圖的關(guān)系
3.2.2 消息定義的擴(kuò)展
3.3 UML類(lèi)圖的依賴(lài)性分析
3.3.1 原型圖的選定
3.3.2 依賴(lài)性分析
3.4 結(jié)合UML通信圖對(duì)類(lèi)圖的依賴(lài)性進(jìn)行補(bǔ)充
3.4.1 控制依賴(lài)分析
3.4.2 數(shù)據(jù)依賴(lài)分析
3.5 UML類(lèi)依賴(lài)圖的構(gòu)造算法
3.6 應(yīng)用研究
第4章 面向UML狀態(tài)機(jī)圖的依賴(lài)性分析及其在切片上的應(yīng)用
4.1 引言
4.2 UML狀態(tài)機(jī)圖建模分析
4.3 UML狀態(tài)機(jī)圖的依賴(lài)性分析
4.3.1 情況1的依賴(lài)性分析
4.3.2 情況2的依賴(lài)性分析
4.3.3 情況3的依賴(lài)性分析
4.4 應(yīng)用研究
第5章 基于依賴(lài)性分析的UML類(lèi)圖復(fù)雜性度量研究
5.1 引言
5.2 UML類(lèi)圖復(fù)雜性度量的相關(guān)工作
5.2.1 Marchesi度量方法
5.2.2 Genero度量方法
5.2.3 In度量方法
5.2.4 Rufai度量方法
5.2.5 周度量方法
5.3 相關(guān)工作的分析與比較
5.4 存在問(wèn)題分析
5.4.1 理論驗(yàn)證
5.4.2 經(jīng)驗(yàn)驗(yàn)證
第6章 一種新的基于依賴(lài)性分析的UML類(lèi)圖復(fù)雜性度量
6.1 引言
6.2 UML類(lèi)圖復(fù)雜性度量
6.2.1 類(lèi)間關(guān)系復(fù)雜性度量
6.2.2 類(lèi)內(nèi)屬性復(fù)雜性度量
6.2.3 類(lèi)內(nèi)方法復(fù)雜性度量
6.2.4 類(lèi)圖復(fù)雜性度量
6.2.5 實(shí)例研究
6.3 性質(zhì)證明
6.4 實(shí)驗(yàn)結(jié)果及分析比較
6.4.1 實(shí)驗(yàn)設(shè)計(jì)
6.4.2 實(shí)驗(yàn)結(jié)果
6.4.3 結(jié)果分析比較
第7章 UML類(lèi)圖切片和度量支持環(huán)境框架
7.1 引言
7.2 總體框架
7.3 設(shè)計(jì)
7.4 用戶(hù)界面實(shí)例分析
第8章 總結(jié)與展望
8.1 總結(jié)
8.2 未來(lái)工作展望
參考文獻(xiàn)