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

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