航天型號嵌入式軟件驗證技術與實踐

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