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

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