目錄
第1章緒論
1.1驗證和確認問題語句
1.2系統(tǒng)工程
1.3系統(tǒng)工程標(biāo)準
1.4模型驅(qū)動架構(gòu)
1.5系統(tǒng)工程建模語言
1.5.1統(tǒng)一建模語言
1.5.2系統(tǒng)建模語言
1.5.3功能模塊集成定義方法
1.6本書組織結(jié)構(gòu)
第2章架構(gòu)框架、模型驅(qū)動架構(gòu)與仿真
2.1架構(gòu)框架
2.1.1Zachman框架
2.1.2開放組織架構(gòu)架
2.1.3DoD架構(gòu)框架
2.1.4英國國防部架構(gòu)框架
2.1.5用于DoDAF/ModDAF的UML概要文件
2.2AP233數(shù)據(jù)交換標(biāo)準
2.3可執(zhí)行架構(gòu)或從設(shè)計到仿真
2.3.1為什么是可執(zhí)行架構(gòu)
2.3.2建模和仿真作為可執(zhí)行架構(gòu)的使能器
2.4關(guān)于SE和SysML的DoDAF
2.5小結(jié)
第3章統(tǒng)一建模語言
3.1UML的歷史
3.2UML圖
3.2.1類圖
3.2.2組件圖
3.2.3組合結(jié)構(gòu)圖
3.2.4部署圖
3.2.5對象圖
3.2.6包圖
3.2.7活動圖
3.2.8活動圖執(zhí)行
3.2.9用例圖
3.2.10狀態(tài)機圖
3.2.11序列圖
3.2.12通信圖
3.2.13交互概覽圖
3.2.14時序圖
3.3UML概要分析機制
3.4小結(jié)
第4章系統(tǒng)建模語言
4.1SysML歷史
4.2UML與SysML的關(guān)系
4.3SysML圖
4.3.1塊定義圖
4.3.2內(nèi)部塊圖
4.3.3包圖
4.3.4參數(shù)圖
4.3.5需求圖
4.3.6活動圖
4.3.7狀態(tài)機圖
4.3.8用例圖
4.3.9序列圖
4.4小結(jié)
第5章驗證、確認和認證
5.1驗證和確認技術(shù)概述
5.1.1檢查
5.1.2測試
5.1.3仿真
5.1.4引用模型等價性檢驗
5.1.5定理證明
5.2面向?qū)ο笤O(shè)計的驗證技術(shù)
5.2.1設(shè)計透視圖
5.2.2軟件工程技術(shù)
5.2.3形式化驗證技術(shù)
5.2.4程序分析技術(shù)
5.3系統(tǒng)工程設(shè)計模型的驗證和確認
5.4工具支持
5.4.1形式化驗證環(huán)境
5.4.2靜態(tài)分析器
5.5小結(jié)
第6章用于協(xié)同驗證和確認的自動化方法
6.1協(xié)同驗證和確認方法論
6.2系統(tǒng)工程專用驗證和確認方法
6.2.1系統(tǒng)設(shè)計模型的自動形式化驗證
6.2.2行為設(shè)計模型的程序分析
6.2.3軟件工程定量技術(shù)
6.3概率行為評估
6.4既定結(jié)果
6.5驗證和確認工具
6.6小結(jié)
第7章系統(tǒng)工程背景下的軟件工程量度
7.1量度指標(biāo)概述
7.1.1Chidamber和Kemerer量度
7.1.2面向?qū)ο笤O(shè)計的量度
7.1.3Li和Henry量度
7.1.4Lorenz和Kidd量度
7.1.5RobertMartin量度