可信嵌入式軟件開發(fā)方法與實踐（精）

第1部分 概論
第1章 嵌入式軟件概述
1．1 引言
1．1．1 嵌入式系統(tǒng)
1．1．2 嵌入式軟件
1．2 可信軟件
1．2．1 處理模型及其假設(shè)
1．2．2 可信性軟件的研究內(nèi)容
1．3 軟件屬性及軟件可信性屬性
1．3．1 軟件可用性
1．3．2 軟件可靠性
1．3．3 軟件安全性
1．3．4 軟件信息安全性
1．3．5 軟件維修性
第2章 軟件困惑
2．1 軟件的特點(diǎn)
2．1．1 可塑性
2．1．2 變態(tài)性
2．1．3 開發(fā)過程
2．2 軟件不可信因素
2．2．1 定義
2．2．2 錯誤
2．2．3 故障
2．2．4 失效
2．3 錯誤、故障、失效的關(guān)系
2．4 軟件的困擾
第3章 軟件工程概念
3．1 軟件工程概念的提出
3．2 軟件工程基本概念
3．2．1 狹義的軟件工程化
3．2．2 廣義的軟件工程化
3．3 軟件工程的基本原則
3．4 軟件工程的研究內(nèi)容
3．4．1 軟件工程過程
3．4．2 軟件工程方法研究
3．4．3 計算機(jī)輔助軟件工程工具研究
第2部分 軟件工程概念
第4章 軟件全生命周期模型
4．1 瀑布模型
4．2 增量迭代模型
4．3 快速原型模型
4．4 螺旋模型
4．5 敏捷模型
4．5．1 極限編程
4．5．2 Scrum模式
第5章 開發(fā)計劃與策劃
5．1 軟件策劃與軟件計劃概述
5．1．1 軟件策劃過程是高質(zhì)量軟件的保證
5．1．2 軟件策劃的依據(jù)與參考
5．2 軟件策劃過程的目標(biāo)
5．3 軟件計劃
5．3．1 軟件開發(fā)計劃
5．3．2 軟件驗證計劃
5．3．3 軟件配置管理計劃
5．3．4 軟件質(zhì)量保證計劃
5．4 軟件開發(fā)標(biāo)準(zhǔn)
5．4．1 軟件需求標(biāo)準(zhǔn)
5．4．2 軟件設(shè)計標(biāo)準(zhǔn)
5．4．3 軟件編碼標(biāo)準(zhǔn)
5．5 軟件計劃和軟件開發(fā)標(biāo)準(zhǔn)的配置管理
5．6 軟件策劃過程的評審和質(zhì)量保證
第6章 需求開發(fā)及管理
6．1 需求標(biāo)準(zhǔn)
6．1．1 需求的正確性
6．1．2 需求完整性
6．1．3 需求的可驗證性
6．1．4 非功能需求
6．1．5 需求的魯棒性
……
第3部分 機(jī)載軟件及軟件工程
第4部分 一個可信性軟件（天脈操作系統(tǒng)）的實踐
縮略語
參考文獻(xiàn)