《軍用軟體的工程研製與管理》是2013年9月1日國防工業出版社出版的圖書,作者是吳清才、鄭琪。
基本介紹
內容簡介
編輯推薦
作者簡介
圖書目錄
1.1軟體概述
1.1.1軟體定義
1.1.2軟體特點
1.2軟體工程概述
1.2.1軟體工程定義
1.2.2軟體工程的基本原則
1.2.3軟體工程的工作內容
1.2.4軟體能力成熟度模型
1.2.5軟體過程改進體系建設
1.3軟體工程化階段
1.3.1軟體研製階段劃分
1.3.2軟體研製各階段的技術工作
1.4軟體研製的組織與管理
1.4.1軟體研製的組織與職責
1.4.2軟體研製的策劃
1.4.3軟體研製各階段的管理任務
第2章軟體系統分析與設計
2.1概述
2.1.1 系統分析與設計的目的
2.1.2系統分析與設計的任務
2.2軟體系統分析與設計要求
2.3軟體關鍵等級的確定
2.4軟體任務書的一般要求
2.4.1 系統需求分析與設計階段與軟體任務書有關的任務
2.4.2軟體任務書的基本要求
2.5軟體系統分析與設計階段的工作產品
2.6軟體系統分析與設計的驗證與確認
2.6.1 活動概述
2.6.2任務描述
2.6.3通過準則
第3章軟體需求分析
3.1概述
3.1.1 需求分析的目的
3.1.2需求分析階段的主要任務
3.1.3軟體需求分析的重要性
3.1.4軟體需求分析工作的特點
3.2軟體需求分析的工作過程
3.2.1 需求信息的獲取和記錄
3.2.2需求分析
3.2.3 需求評審
3.2.4 需求管理
3.3軟體需求規格說明編寫要求
3.3.1 需求規格說明的主要內容
3.3.2“軟體需求規格說明”的格式
3.3.3 需求規格說明的質量要求
3.4軟體需求文檔中經常出現的問題
3.4.1一般問題
3.4.2軟體功能方面的問題
3.4.3 需求中實體方面的問題
3.4.4性能需求方面的問題
3.4.5安全性可靠性方面的問題
3.4.6 需求規格說明的內容範圍問題
3.5“軟體需求規格說明”的檢查和驗證方法
3.5.1 人工檢查
3.5.2採用結構化方法檢查
3.5.3採用仿真模型檢查
3.5.4採用形式化方法檢查
3.6軟體需求分析的驗證與確認
3.6.1 活動概述
3.6.2任務描述
3.6.3通過準則
簟4章軟體概要設計
4.1概述
4.2結構化設計的概念和原則
4.2.1抽象與細化求精
4.2.2模組化與信息隱蔽
4.2.3有效的模組設計——模組獨立性
4.2.4軟體的體系結構
4.2.5程式結構
4.3概要設計階段的工作過程
4.3.1 覆核並理解軟體需求文檔
4.3.2建立物理模型
4.3.3編寫概要設計說明
4.3.4編寫組裝測試初步計畫
4.3.5概要設計階段評審
4.4軟體的結構化設計的圖形工具
4.4.1 HIPO圖
4.4.2結構圖
4.4.3狀態轉移表
4.5面向數據流的設計方法
4.5.1 變換型結構映射
4.5.2事務型結構映射
4.5.3最佳化程式結構設計
4.6實時嵌入系統軟體的設計
4.6.1 實時系統概述
4.6.2任務調度策略
4.6.3 實時系統的軟體任務結構化設計
4.7概要設計的質量要求
4.8概要設計文檔的基本內容
4.9概要設計階段的驗證與確認
4.9.1活動概述
4.9.2任務描述
4.9.3通過準則
第5章軟體詳細設計
5.1 概述
5.1.1 詳細設計的基本概念
5.1.2詳細設計的任務和內容
5.1.3 詳細設計文檔的用途
5.1.4詳細設計的質量要求
5.2詳細設計工作過程
5.2.1理解概要設計
5.2.2細化軟體部件形成軟體單元
5.2.3規定軟體單元間接口
5.2.4設計算法和細節
5.2.5進行過程描述
5.2.6進行可靠性安全性設計
5.2.7編寫詳細設計說明
5.2.8編寫初步單元測試計畫
5.2.9建立並填寫單元開發卷宗
5.2.10詳細設計評審
5.3詳細設計方法和技術
5.3.1 結構化程式設計
5.3.2軟體安全性、可靠性設計
5.3.3詳細設計工具
5.4詳細設計文檔內容
5.5詳細設計階段的驗證與確認
5.5.1 活動概述
5.5.2任務描述
5.5.3 通過準則
第6章軟體實現
6.1理解“詳細設計”
6.2編程和編譯/彙編
6.3代碼調試
6.4靜態分析
6.5代碼走查
6.5.1 代碼走查的特點
6.5.2代碼走查的目的
6.5.3代碼走查的目標
6.5.4軟體工程中的幾種走查方式
6.5.5走查的分類
6.5.7走查發現的常見問題
6.5.8走查中的重點和難點
6.6單元測試
6.7安全性關鍵單元檢查和評審
6.8軟體實現的技術和方法
6.8.1結構化編程方法
6.8.2一般軟體的編程規則
6.8.3安全性關鍵軟體的編程規則
6.9編程的質量要求
6.10典型工作產品
6.11軟體實現階段驗證與確認
6.11.2任務描述
6.11.3通過準則
7.1概述
7.1.1軟體測試的基本概念
7.1.2軟體測試的基本原則
7.1.3軟體測試的重要性和局限性
7.2軟體測試過程
7.3.1單元測試
7.3.2組裝測試
7.3.3確認測試
7.3.4第三方獨立確認測試
7.3.5系統測試
7.3.6回歸測試
7.3.7其他階段的測試
7.4主要測試內容
7.4.1功能測試
7.4.2性能測試
7.4.3邊界測試和餘量測試
7.4.4強度測試
7.4.5可靠性測試和安全性測試
7.4.6其他常見測試內容
7.4.7各測試類型應開展的測試內容
7.5軟體測試技術及工具
7.5.1靜態測試技術
7.5.2測試用例設計技術
7.5.3測試覆蓋率分析技術
7.5.4嵌入式測試環境搭建技術 ……
7.6測試質量的控制
7.6.1測試過程的控制要素
7.6.2測試機構的組織管理
7.6.3測試組織的測試能力成熟度模型
7.7軟體測試階段驗證與確認
7.7.1軟體部件測試階段驗證與確認
7.7.2軟體配置項測試階段驗證與確認
7.7.3通過準則
7.8分系統測試階段驗證與確認
7.8.1入口準則
7.8.2活動概述
7.8.3任務描述
7.8.4通過準則
7.9系統試驗驗證階段驗證與確認
7.9.1入口準則
7.9.2活動概述
7.9.3任務描述
7.9.4通過準則
8.2軟體產品的驗收和交付
8.2.1驗收的級別和條件
8.2.2驗收和交付過程
8.2.3軟體研製報告
8.3軟體維護
8.3.1軟體維護的相關知識
8.3.2軍用軟體維護的一般要求
8.3.3軟體的可維護性
8.3.4提高軟體可維護性的方法
8.3.5軟體維護的過程
8.4軟體維護的其他問題
8.4.1維護工具
8.4.2軟體維護與軟體重新設計
9.1概述
9.1.1軟體可靠性
9.1.2軟體安全性
9.1.3軟體可靠性與軟體安全性
9.2軟體失效機理與軟體可靠性和安全性措施
9.2.1軟體失效機理
9.2.2軟體可靠性和安全性措施
9.3軟體研製各階段的軟體可靠性和安全性要求
9.3.1系統需求分析和設計
9.3.2軟體需求分析
9.3.3軟體概要設計
9.3.4軟體詳細設計
9.3.5嵌入式軟體可靠性設計
9.3.6軟體實現
第11章軍用軟體定型與鑑定
第12章軟體重用
參考文獻
附錄縮略語列表