《軟體工程化與機載軟體適航審查實踐》是2019年1月出版的圖書,作者是王煥彬、崔利傑。
基本介紹
- 中文名:軟體工程化與機載軟體適航審查實踐
- 作者:王煥彬、崔利傑
- 出版時間:2019年1月
- 出版社:國防工業出版社
- 頁數:381 頁
- ISBN:9787118116892
- 定價:68.00
- 開本:16 開
- 裝幀:平裝
- 版次:1版1次
- 字數:564
- 中圖分類:V247.1
內容簡介,圖書目錄,
內容簡介
本書重點介紹了軟體工程化的相關理論、方法、過程、模型以及機載軟體適航審查的相關標準、過程、方法。其中,軟體工程化理論與實踐部分主要介紹了軟體工程的基本原理、軟體生命周期的基本模型以及軟體需求分析、設計、測試、維護的相關方法,在實踐部分主要對配置管理過程和質量保證過程進行系統介紹,結合具體過程,給出了相應的文檔編寫模板以及各類過程的評審檢查單,便於廣大讀者在軟體開發實際工作中借鑑和套用;機載軟體適航審查理論與實踐部分主要介紹了機載軟體適航的理論、機載軟體適航的標準、機載軟體適航審查的過程和方法,給出了機載軟體適航審查的流程、方法以及各個審查階段應滿足的目標,從而為機載軟體適航審查人員在具體的審查工作中提供指導和幫助。本書的實踐性較強、適用面較廣,可作為高等院校軟體工程、計算機技術及信息技術等專業本科生和研究生學習軟體工程的教材,也可以作為軟體工程人員以及軟體適航審查人員從事軟體開發管理以及軟體適航審查等工作的參考資料。
圖書目錄
第1章軟體工程化引論1
1.1軟體危機的產生1
1.2軟體工程基礎2
1.3本章小結31
第2章軟體生命周期及開發模型32
2.1軟體生命周期概述32
2.2軟體生命周期模型34
2.3軟體過程40
2.4本章小結42
第3章軟體需求分析方法44
3.1軟體需求分析概述44
3.2軟體需求獲取48
3.3結構化需求分析52
3.4面向對象需求分析53
3.5本章小結75
第4章軟體設計方法76
4.1軟體設計概述76
4.2軟體設計原理79
4.3軟體架構設計81
4.4軟體詳細設計90
4.5本章小結99
第5章軟體測試與維護技術100
5.1軟體測試概述100
5.2軟體測試技術103
5.3系統測試及方法110
5.4軟體維護概述115
5.5軟體維護的類型117
5.6軟體維護的過程118
5.7本章小結127
第6章軟體工程化實踐129
6.1軟體過程管理129
6.2軟體配置管理160
6.3軟體質量保證管理189
6.4軍事代表在軍用軟體質量監督中的職責238
6.5本章小結244
第7章機載軟體適航概述245
7.1機載計算機及機載軟體245
7.2機載軟體適航要求251
7.3機載軟體安全性與可靠性252
7.4DO-178B標準介紹260
7.5DO-178B套用介紹265
7.6本章小結285
第8章機載軟體計畫過程及適航審查287
8.1計畫過程概述287
8.2計畫文檔的適航審查要求290
8.3軟體合格審查計畫291
8.4軟體開發計畫302
8.5軟體驗證計畫308
8.6軟體配置管理計畫319
8.7軟體質量保證計畫325
8.8本章小結331
第9章機載軟體驗證過程及適航審查332
9.1軟體驗證過程概述332
9.2評審和分析334
9.3測試過程336
9.4結構覆蓋340
9.5驗證獨立性344
9.6數據耦合和控制耦合348
9.7本章小結350
第10章機載軟體構型管理過程、質量保證過程及適航審查351
10.1構型管理過程351
10.2質量保證過程357
10.3本章小結362
第11章機載軟體合格審查過程363
11.1合格審查過程概述363
11.2軟體合格審查的實施過程和工具363
11.3軟體生命周期資料372
11.4本章小結379
參考文獻380