目錄
第1章緒論
1.1驗(yàn)證和確認(rèn)問題語句
1.2系統(tǒng)工程
1.3系統(tǒng)工程標(biāo)準(zhǔn)
1.4模型驅(qū)動(dòng)架構(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ū)動(dòng)架構(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)準(zhǔn)
2.3可執(zhí)行架構(gòu)或從設(shè)計(jì)到仿真
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對(duì)象圖
3.2.6包圖
3.2.7活動(dòng)圖
3.2.8活動(dòng)圖執(zhí)行
3.2.9用例圖
3.2.10狀態(tài)機(jī)圖
3.2.11序列圖
3.2.12通信圖
3.2.13交互概覽圖
3.2.14時(shí)序圖
3.3UML概要分析機(jī)制
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活動(dòng)圖
4.3.7狀態(tài)機(jī)圖
4.3.8用例圖
4.3.9序列圖
4.4小結(jié)
第5章驗(yàn)證、確認(rèn)和認(rèn)證
5.1驗(yàn)證和確認(rèn)技術(shù)概述
5.1.1檢查
5.1.2測(cè)試
5.1.3仿真
5.1.4引用模型等價(jià)性檢驗(yàn)
5.1.5定理證明
5.2面向?qū)ο笤O(shè)計(jì)的驗(yàn)證技術(shù)
5.2.1設(shè)計(jì)透視圖
5.2.2軟件工程技術(shù)
5.2.3形式化驗(yàn)證技術(shù)
5.2.4程序分析技術(shù)
5.3系統(tǒng)工程設(shè)計(jì)模型的驗(yàn)證和確認(rèn)
5.4工具支持
5.4.1形式化驗(yàn)證環(huán)境
5.4.2靜態(tài)分析器
5.5小結(jié)
第6章用于協(xié)同驗(yàn)證和確認(rèn)的自動(dòng)化方法
6.1協(xié)同驗(yàn)證和確認(rèn)方法論
6.2系統(tǒng)工程專用驗(yàn)證和確認(rèn)方法
6.2.1系統(tǒng)設(shè)計(jì)模型的自動(dòng)形式化驗(yàn)證
6.2.2行為設(shè)計(jì)模型的程序分析
6.2.3軟件工程定量技術(shù)
6.3概率行為評(píng)估
6.4既定結(jié)果
6.5驗(yàn)證和確認(rèn)工具
6.6小結(jié)
第7章系統(tǒng)工程背景下的軟件工程量度
7.1量度指標(biāo)概述
7.1.1Chidamber和Kemerer量度
7.1.2面向?qū)ο笤O(shè)計(jì)的量度
7.1.3Li和Henry量度
7.1.4Lorenz和Kidd量度
7.1.5RobertMartin量度