《軍用軟體的工程研製與管理》是2013年9月1日國防工業出版社出版的圖書，作者是吳清才、鄭琪。
基本介紹
內容簡介,圖書目錄,作者簡介,編輯推薦,
內容簡介
《軍用軟體的工程研製與管理》共分為12章，內容包括：第1章軟體與軟體工程概述；第2章到第8章，按照軟體生命周期的過程，順序介紹了航天型號軟體研製的幾個重要階段的工作內容、方法和質量要求等內容；第9章介紹了軟體可靠性與安全性的概念、軟體研製各階段的工作內容，並介紹了典型的軟體可靠性與安全性方法：第10章介紹了軟體過程管理的有關概念、基本要求、主要活動、工作內容等有關內容：第11章介紹了軍用軟體定型與鑑定的概念、工作範圍、分級管理、組織職責和定型程式；第12章重點介紹重用軟體的選擇、分類、重用程式及其研製要求等。
圖書目錄
第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.6走查方法和步驟
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.1活動概述
6.11.2任務描述
6.11.3通過準則
第7章軟體測試
7.1概述
7.1.1軟體測試的基本概念
7.1.2軟體測試的基本原則
7.1.3軟體測試的重要性和局限性
7.2軟體測試過程
7.3各軟體研製階段的測試活動及要求
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.5.5軟體測試工具與環境
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章軟體驗收、交付與維護
8.1概述
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章軟體可靠性與安全性
9.1概述
9.1.1軟體可靠性
9.1.2軟體安全性
9.1.3軟體可靠性與軟體安全性
9.1.4軟體的可靠性和安全性與其他產品的可靠性和安全性
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軟體實現
第10章軟體項目過程管理
第11章軍用軟體定型與鑑定
第12章軟體重用
參考文獻
附錄縮略語列表
作者簡介
吳清才，1970年5月生，北京航空航天大學工學碩士，高級工程師。從事載人航天工程、衛星研製、武器裝備研製和管理工作20餘年，具有紮實的理論基礎，在質量管理體系建設、產品可靠性、軍用軟體的工程研製和管理方面具有豐富的實踐經驗。曾為中國空間技術研究院創建了一套完整的軟體工程研製和管理標準、規範、規章制度體系，倡導並實踐了中國空間技術研究院整體軍用軟體研製能力過程改進。是總裝備部軍用軟體研製能力評價員、中國空間技術研究院軟體專家組副組長、FPGA專家組成員、儀器設備專家組成員、中國科學院先導衛星工程專項軟體專家組責任專家，中國科學院載人航天空間科學與套用系統總體部軟體工作組副組長，中國宇航學會計算機專業委員會委員。曾赴澳大利亞學習軟體可靠性技術，赴英國倫敦參加SEI授權的CMMI中級評估培訓。在中文核心期刊發表學術論文20餘篇，為承擔軍用軟體研製的航空、航天、中電等所屬集團、院、所、高校的研製和管理人員授課50餘次，參加20餘家單位軍用軟體研製能力評價，在航空、航天等軍用軟體研製和管理領域有較高的聲譽和影響力。主要成果有國防科技進步二等獎一項、三等獎一項、《航天型號軟體工程》和《太空飛行器FPGA產品可靠性設計指南》等。
編輯推薦
《軍用軟體的工程研製與管理》可以為軟體研製人員提高軟體工程研製水平和效率，為各單位在技改技施、體系建設等方面提供參考。
