系統(tǒng)工程中的驗證和確認

目錄
第 1 章 緒論
1.1 驗證和確認問題語句
1.2 系統(tǒng)工程
1.3 系統(tǒng)工程標(biāo)準(zhǔn)
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.1 Zachman 框架
2.1.2 開放組織架構(gòu)架
2.1.3 DoD 架構(gòu)框架
2.1.4 英國國防部架構(gòu)框架
2.1.5 用于 DoDAF/ModDAF 的 UML 概要文件
2.2 AP233 數(shù)據(jù)交換標(biāo)準(zhǔn)
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.1 UML 的歷史
3.2 UML 圖
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.3 UML 概要分析機制
3.4 小結(jié)
第 4 章 系統(tǒng)建模語言
4.1 SysML 歷史
4.2 UML 與 SysML 的關(guān)系
4.3 SysML 圖
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.1 Chidamber 和 Kemerer 量度
7.1.2 面向?qū)ο笤O(shè)計的量度
7.1.3 Li 和 Henry 量度
7.1.4 Lorenz 和 Kidd 量度
7.1.5 Robert Martin 量度