針對國內(nèi)大飛機及新一代戰(zhàn)機機載軟件綜合化、模塊化的特點,根據(jù)機載軟件適航驗證要求,在分析傳統(tǒng)黑、白盒測試方法與DO—178B《機載系統(tǒng)和設備合格審定的軟件考慮》中軟件驗證要求適用性的基礎上,應用灰盒理論,建立了滿足軟件適航驗證要求的灰盒測試方法及其應用過程,并對該方法展開了分析,說明了其局限性,并對測試環(huán)境提出了新的需求。本書具備較強的實踐性和應用價值,能夠幫助機載軟件開發(fā)人員快速適應DO—178C標準下的軟件研制,并也可供相關從事面向對象的嵌入式軟件開發(fā)人員的借鑒。
第1章 面向對象方法
1.1 面向對象方法概述
1.2 面向對象的基本概念
1.3 面向對象分析
1.4 面向對象的設計
1.5 典型的面向對象方法
1.6 面向對象在機載嵌入式軟件中的應用
第2章 面向對象軟件開發(fā)生命周期過程
2.1 噴泉模型
2.2 統(tǒng)一軟件過程
第3章 面向對象的需求分析
3.1 需求分析概述
3.2 用例模型
3.3 開發(fā)實例
第4章 面向對象設計
4.1 設計概述
4.2 架構設計
4.3 子系統(tǒng)和類設計
4.4 設計實例
4.5 適航影響
第5章 面向對象測試過程
5.1 軟件測試概述
5.2 面向對象測試特點
5.3 面向對象軟件測試技術
第6章 面向對象關鍵技術的脆弱性分析
6.1 繼承
6.2 參數(shù)多態(tài)
6.3 重載
6.4 類型轉換
6.5 異常管理
6.6 動態(tài)內(nèi)存管理
6.7 虛擬化
第7章 面向對象技術對適航目標影響分析
7.1 可追溯性
7.2 結構覆蓋
7.3 基于組件的開發(fā)
7.4 資源分析
第8章 其他問題
參考文獻