航天型號嵌入式軟件驗(yàn)證技術(shù)與實(shí)踐

定　價：￥88.00

作　者：	祝宇著
出版社：	中國宇航出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

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

內(nèi)容簡介

　　《航天型號嵌入式軟件驗(yàn)證技術(shù)與實(shí)踐》分別從航天型號嵌入式軟件概述、軟件開發(fā)通用要求、軟件測試要求、軟件測試技術(shù)、軟件驗(yàn)證實(shí)踐與經(jīng)驗(yàn)、軟件驗(yàn)證展望等角度描述航天型號嵌入式軟件的驗(yàn)證現(xiàn)狀。在《航天型號嵌入式軟件驗(yàn)證技術(shù)與實(shí)踐》撰寫過程中，參考了大量的相關(guān)資料，并結(jié)合多年的實(shí)踐經(jīng)驗(yàn)，力求內(nèi)容具有實(shí)用性、針對性和可操作性。全書論述了航天嵌入式軟件的驗(yàn)證過程和理論，并緊密結(jié)合實(shí)踐，為了幫助讀者更好地了解工程實(shí)踐，書中詳細(xì)列舉了大量的豐富示例，給予讀者一定的啟發(fā)和幫助。

作者簡介

暫缺《航天型號嵌入式軟件驗(yàn)證技術(shù)與實(shí)踐》作者簡介

圖書目錄

第1章航天型號嵌入式軟件概述
1．1 嵌入式軟件工作原理
1．2 嵌入式軟件在航天型號中的應(yīng)用和特點(diǎn)
1．2．1 安全性要求嚴(yán)
1．2．2 可靠性要求高
1．2．3 實(shí)時性要求強(qiáng)
1．2．4 資源約束多
1．2．5 軟件規(guī)模大
1．3 典型運(yùn)行環(huán)境和典型開發(fā)環(huán)境
1．3．1 嵌入式微處理器
1．3．2 嵌入式微控制器
1．3．3 嵌入式DSP
1．3．4 嵌入式片上系統(tǒng)（SoC）
1．3．5 典型開發(fā)環(huán)境
1．4 典型接口
第2章航天型號嵌入式軟件開發(fā)通用要求
2．1 軟件研制流程
2．1．1 總體設(shè)計
2．1．2 分系統(tǒng)設(shè)計
2．1．3 軟件開發(fā)
2．1．4 系統(tǒng)聯(lián)調(diào)
2．1．5 軟件驗(yàn)收
2．1．6 軟件維護(hù)
2．2 軟件工程化管理
2．2．1 評審
2．2．2 配置管理
2．2．3 軟件測試與驗(yàn)證要求
2．2．4 質(zhì)量保證
2．2．5 風(fēng)險管理
2．2．6 質(zhì)量問題歸零
第3章航天型號嵌入式軟件測試要求
3．1 一般要求
3．1．1 軟件測試目的
3．1．2 軟件測試階段
3．1．3 第三方測試
3．1．4 軟件測試方法和類型
3．1．5 軟件測試活動
3．2 詳細(xì)要求
3．2．1 單元測試階段
3．2．2 部件測試階段
3．2．3 配置項測試階段
3．2．4 軟硬件集成測試階段
3．2．5 系統(tǒng)測試階段
3．3 測試文檔的技術(shù)要點(diǎn)
3．3．1 單元測試報告
3．3．2 部件測試報告
3．3．3 軟件配置項測試計劃
3．3．4 軟件配置項測試說明
3．3．5 軟件配置項測試報告
3．3．6 軟硬件集成測試報告
3．3．7 系統(tǒng)測試報告
……
第4章航天型號嵌入式軟件測試技術(shù)
第5章航天型號嵌入式軟件驗(yàn)證實(shí)踐與經(jīng)驗(yàn)
第6章航天型號嵌入式軟件驗(yàn)證展望
附錄
參考文獻(xiàn)