軟件工程化與機載軟件適航審查實踐

定　價：￥68.00

作　者：	王煥彬，崔利杰，任博，李強，李澤
出版社：	國防工業(yè)出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787118116892	出版時間：	2019-01-01	包裝：
開本：		頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　《軟件工程化與機載軟件適航審查實踐》重點介紹了軟件工程化的相關(guān)理論、方法、過程、模型以及機載軟件適航審查的相關(guān)標(biāo)準(zhǔn)、過程、方法。其中，軟件工程化理論與實踐部分主要介紹了軟件工程的基本原理、軟件生命周期的基本模型以及軟件需求分析、設(shè)計、測試、維護的相關(guān)方法，在實踐部分主要對配置管理過程和質(zhì)量保證過程進行系統(tǒng)介紹，結(jié)合具體過程，給出了相應(yīng)的文檔編寫模板以及各類過程的評審檢查單，便于廣大讀者在軟件開發(fā)實際工作中借鑒和應(yīng)用：機載軟件適航審查理論與實踐部分主要介紹了機載軟件適航的理論、機載軟件適航的標(biāo)準(zhǔn)、機載軟件適航審查的過程和方法，給出了機載軟件適航審查的流程、方法以及各個審查階段應(yīng)滿足的目標(biāo)，從而為機載軟件適航審查人員在具體的審查工作中提供指導(dǎo)和幫助?！盾浖こ袒c機載軟件適航審查實踐》的實踐性較強、適用面較廣，可作為高等院校軟件工程、計算機技術(shù)及信息技術(shù)等專業(yè)本科生和研究生學(xué)習(xí)軟件工程的教材，也可以作為軟件工程人員以及軟件適航審查人員從事軟件開發(fā)管理以及軟件適航審查等工作的參考資料。

作者簡介

暫缺《軟件工程化與機載軟件適航審查實踐》作者簡介

圖書目錄

第1章軟件工程化引論
1．1 軟件危機的產(chǎn)生
1．2 軟件工程基礎(chǔ)
1．3 本章小結(jié)
第2章軟件生命周期及開發(fā)模型
2．1 軟件生命周期概述
2．2 軟件生命周期模型
2．3 軟件過程
2．4 本章小結(jié)
第3章軟件需求分析方法
3．1 軟件需求分析概述
3．2 軟件需求獲取
3．3 結(jié)構(gòu)化需求分析
3．4 面向?qū)ο笮枨蠓治?br />3．5 本章小結(jié)
第4章軟件設(shè)計方法
4．1 軟件設(shè)計概述
4．2 軟件設(shè)計原理
4．3 軟件架構(gòu)設(shè)計
4．4 軟件詳細(xì)設(shè)計
4．5 本章小結(jié)
第5章軟件測試與維護技術(shù)
5．1 軟件測試概述
5．2 軟件測試技術(shù)
5．3 系統(tǒng)測試及方法
5．4 軟件維護概述
5．5 軟件維護的類型
5．6 軟件維護的過程
5．7 本章小結(jié)
第6章軟件工程化實踐
6．1 軟件過程管理
6．2 軟件配置管理
6．3 軟件質(zhì)量保證管理
6．4 軍事代表在軍用軟件質(zhì)量監(jiān)督中的職責(zé)
6．5 本章小結(jié)
第7章機載軟件適航概述
7．1 機載計算機及機載軟件
7．2 機載軟件適航要求
7．3 機載軟件安全性與可靠性
7．4 D0-178B標(biāo)準(zhǔn)介紹
7．5 D0-178B應(yīng)用介紹
7．6 本章小結(jié)
第8章機載軟件計劃過程及適航審查
8．1 計劃過程概述
8．2 計劃文檔的適航審查要求
8．3 軟件合格審查計劃
8．4 軟件開發(fā)計劃
8．5 軟件驗證計劃
8．6 軟件配置管理計劃
8．7 軟件質(zhì)量保證計劃
8．8 本章小結(jié)
第9章機載軟件驗證過程及適航審查
9．1 軟件驗證過程概述
9．2 評審和分析
9．3 測試過程
9．4 結(jié)構(gòu)覆蓋
9．5 驗證獨立性
9．6 數(shù)據(jù)耦合和控制耦合
9．7 本章小結(jié)
第10章機載軟件構(gòu)型管理過程、質(zhì)量保證過程及適航審查
10．1 構(gòu)型管理過程
10．2 質(zhì)量保證過程
10．3 本章小結(jié)
第11章機載軟件合格審查過程
11．1 合格審查過程概述
11．2 軟件合格審查的實施過程和工具
11．3 軟件生命周期資料
11．4 本章小結(jié)
參考文獻(xiàn)