軟件工程化與機(jī)載軟件適航審查實(shí)踐

第1章 軟件工程化引論
1．1 軟件危機(jī)的產(chǎn)生
1．2 軟件工程基礎(chǔ)
1．3 本章小結(jié)
第2章 軟件生命周期及開發(fā)模型
2．1 軟件生命周期概述
2．2 軟件生命周期模型
2．3 軟件過程
2．4 本章小結(jié)
第3章 軟件需求分析方法
3．1 軟件需求分析概述
3．2 軟件需求獲取
3．3 結(jié)構(gòu)化需求分析
3．4 面向?qū)ο笮枨蠓治?br />3．5 本章小結(jié)
第4章 軟件設(shè)計(jì)方法
4．1 軟件設(shè)計(jì)概述
4．2 軟件設(shè)計(jì)原理
4．3 軟件架構(gòu)設(shè)計(jì)
4．4 軟件詳細(xì)設(shè)計(jì)
4．5 本章小結(jié)
第5章 軟件測(cè)試與維護(hù)技術(shù)
5．1 軟件測(cè)試概述
5．2 軟件測(cè)試技術(shù)
5．3 系統(tǒng)測(cè)試及方法
5．4 軟件維護(hù)概述
5．5 軟件維護(hù)的類型
5．6 軟件維護(hù)的過程
5．7 本章小結(jié)
第6章 軟件工程化實(shí)踐
6．1 軟件過程管理
6．2 軟件配置管理
6．3 軟件質(zhì)量保證管理
6．4 軍事代表在軍用軟件質(zhì)量監(jiān)督中的職責(zé)
6．5 本章小結(jié)
第7章 機(jī)載軟件適航概述
7．1 機(jī)載計(jì)算機(jī)及機(jī)載軟件
7．2 機(jī)載軟件適航要求
7．3 機(jī)載軟件安全性與可靠性
7．4 D0-178B標(biāo)準(zhǔn)介紹
7．5 D0-178B應(yīng)用介紹
7．6 本章小結(jié)
第8章 機(jī)載軟件計(jì)劃過程及適航審查
8．1 計(jì)劃過程概述
8．2 計(jì)劃文檔的適航審查要求
8．3 軟件合格審查計(jì)劃
8．4 軟件開發(fā)計(jì)劃
8．5 軟件驗(yàn)證計(jì)劃
8．6 軟件配置管理計(jì)劃
8．7 軟件質(zhì)量保證計(jì)劃
8．8 本章小結(jié)
第9章 機(jī)載軟件驗(yàn)證過程及適航審查
9．1 軟件驗(yàn)證過程概述
9．2 評(píng)審和分析
9．3 測(cè)試過程
9．4 結(jié)構(gòu)覆蓋
9．5 驗(yàn)證獨(dú)立性
9．6 數(shù)據(jù)耦合和控制耦合
9．7 本章小結(jié)
第10章 機(jī)載軟件構(gòu)型管理過程、質(zhì)量保證過程及適航審查
10．1 構(gòu)型管理過程
10．2 質(zhì)量保證過程
10．3 本章小結(jié)
第11章 機(jī)載軟件合格審查過程
11．1 合格審查過程概述
11．2 軟件合格審查的實(shí)施過程和工具
11．3 軟件生命周期資料
11．4 本章小結(jié)
參考文獻(xiàn)