機(jī)載軟件面向?qū)ο蠹夹g(shù)安全隱患研究
定 價(jià)：46 元
- 作者： 閻芳，謝文光，張濤 著
- 出版時(shí)間：2020/9/1
- ISBN：9787561272626
- 出 版 社：西北工業(yè)大學(xué)出版社
- 中圖法分類：V247.1
- 頁碼：126
- 紙張：
- 版次：1
- 開本：16開
針對(duì)國內(nèi)大飛機(jī)及新一代戰(zhàn)機(jī)機(jī)載軟件綜合化、模塊化的特點(diǎn)，根據(jù)機(jī)載軟件適航驗(yàn)證要求，在分析傳統(tǒng)黑、白盒測(cè)試方法與DO—178B《機(jī)載系統(tǒng)和設(shè)備合格審定的軟件考慮》中軟件驗(yàn)證要求適用性的基礎(chǔ)上，應(yīng)用灰盒理論，建立了滿足軟件適航驗(yàn)證要求的灰盒測(cè)試方法及其應(yīng)用過程，并對(duì)該方法展開了分析，說明了其局限性，并對(duì)測(cè)試環(huán)境提出了新的需求。本書具備較強(qiáng)的實(shí)踐性和應(yīng)用價(jià)值，能夠幫助機(jī)載軟件開發(fā)人員快速適應(yīng)DO—178C標(biāo)準(zhǔn)下的軟件研制，并也可供相關(guān)從事面向?qū)ο蟮那度胧杰浖_發(fā)人員的借鑒。
第1章 面向?qū)ο蠓椒?br> 1.1 面向?qū)ο蠓椒ǜ攀?br> 1.2 面向?qū)ο蟮幕靖拍?br> 1.3 面向?qū)ο蠓治?br> 1.4 面向?qū)ο蟮脑O(shè)計(jì)
1.5 典型的面向?qū)ο蠓椒?br> 1.6 面向?qū)ο笤跈C(jī)載嵌入式軟件中的應(yīng)用
第2章 面向?qū)ο筌浖_發(fā)生命周期過程
2.1 噴泉模型
2.2 統(tǒng)一軟件過程
第3章 面向?qū)ο蟮男枨蠓治?br> 3.1 需求分析概述
3.2 用例模型
3.3 開發(fā)實(shí)例
第4章 面向?qū)ο笤O(shè)計(jì)
4.1 設(shè)計(jì)概述
4.2 架構(gòu)設(shè)計(jì)
4.3 子系統(tǒng)和類設(shè)計(jì)
4.4 設(shè)計(jì)實(shí)例
4.5 適航影響
第5章 面向?qū)ο鬁y(cè)試過程
5.1 軟件測(cè)試概述
5.2 面向?qū)ο鬁y(cè)試特點(diǎn)
5.3 面向?qū)ο筌浖䴗y(cè)試技術(shù)
第6章 面向?qū)ο箨P(guān)鍵技術(shù)的脆弱性分析
6.1 繼承
6.2 參數(shù)多態(tài)
6.3 重載
6.4 類型轉(zhuǎn)換
6.5 異常管理
6.6 動(dòng)態(tài)內(nèi)存管理
6.7 虛擬化
第7章 面向?qū)ο蠹夹g(shù)對(duì)適航目標(biāo)影響分析
7.1 可追溯性
7.2 結(jié)構(gòu)覆蓋
7.3 基于組件的開發(fā)
7.4 資源分析
第8章 其他問題
參考文獻(xiàn)
書單推薦
