航天型號嵌入式軟件驗(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è)計(jì)
2．1．2 分系統(tǒng)設(shè)計(jì)
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)險(xiǎn)管理
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 配置項(xiàng)測試階段
3．2．4 軟硬件集成測試階段
3．2．5 系統(tǒng)測試階段
3．3 測試文檔的技術(shù)要點(diǎn)
3．3．1 單元測試報(bào)告
3．3．2 部件測試報(bào)告
3．3．3 軟件配置項(xiàng)測試計(jì)劃
3．3．4 軟件配置項(xiàng)測試說明
3．3．5 軟件配置項(xiàng)測試報(bào)告
3．3．6 軟硬件集成測試報(bào)告
3．3．7 系統(tǒng)測試報(bào)告
……
第4章 航天型號嵌入式軟件測試技術(shù)
第5章 航天型號嵌入式軟件驗(yàn)證實(shí)踐與經(jīng)驗(yàn)
第6章 航天型號嵌入式軟件驗(yàn)證展望
附錄
參考文獻(xiàn)