《航天型號(hào)軟件工程方法與技術(shù)》在分析國(guó)內(nèi)外航天軟件工程實(shí)施情況的基礎(chǔ)上,全面介紹了航天型號(hào)軟件研制過程和管理內(nèi)容,并深入闡述了軟件研制各階段、軟件項(xiàng)目管理與計(jì)劃、軟件配置管理和軟件質(zhì)量保證等涉及的理論、方法和相關(guān)技術(shù),詳細(xì)分析了模型驅(qū)動(dòng)軟件開發(fā)方法和形式化開發(fā)方法在我國(guó)航天軟件工程中的應(yīng)用前景,不僅能夠系統(tǒng)、全面地指導(dǎo)航天型號(hào)軟件工程的實(shí)施,還對(duì)航天型號(hào)軟件工程的發(fā)展進(jìn)行了探討。
航天型號(hào)軟件研制引入軟件工程思想是任務(wù)順利實(shí)施的重要保障。航天軟件工程標(biāo)準(zhǔn)體系建設(shè)、技術(shù)和方法研究、軟件研制和管理隊(duì)伍培養(yǎng)等方面取得了顯著成果。但是,軟件工程化標(biāo)準(zhǔn)實(shí)施過程缺乏系統(tǒng)化的指南。本書結(jié)合作者多年從事載人航天工程軟件工程工作的實(shí)踐,在分析國(guó)內(nèi)外航天軟件工程實(shí)施情況的基礎(chǔ)上,系統(tǒng)地總結(jié)和介紹了航天型號(hào)軟件工程研制的過程、技術(shù)與管理方法;具有較高的學(xué)術(shù)水平與實(shí)踐指導(dǎo)意義。
《航天型號(hào)軟件工程方法與技術(shù)》主要面向的讀者是航天型號(hào)軟件的設(shè)計(jì)人員、開發(fā)人員、測(cè)試人員以及管理人員,也可以作為相關(guān)專業(yè)人員了解和掌握航天型號(hào)軟件工程的參考書。
第1章 概 述 1
1.1 軟件工程的概念 1
1.1.1 軟件工程定義 1
1.1.2 軟件工程的基本約束 2
1.1.3 軟件工程的研究?jī)?nèi)容 5
1.2 航天實(shí)施軟件工程的必要性 9
1.2.1 軟件質(zhì)量問題影響型號(hào)任務(wù)成敗 9
1.2.2 航天型號(hào)軟件研制面臨挑戰(zhàn) 14
第2章 航天型號(hào)軟件工程化的要素和方法 16
2.1 航天型號(hào)軟件的分類 16
2.2 航天型號(hào)軟件工程的核心要素 17
2.2.1 軟件開發(fā)過程 18
2.2.2 軟件開發(fā)方法 26
2.2.3 軟件工程工具 29
2.3 航天型號(hào)軟件工程的管理內(nèi)容 33
2.3.1 策劃管理 33
2.3.2 需求管理 33
2.3.3 過程追蹤與監(jiān)控 33
2.3.4 配置管理 33
2.3.5 過程與產(chǎn)品質(zhì)量保證 33
2.3.6 外協(xié)管理 34
2.3.7 評(píng)審管理 34
2.3.8 文檔管理 34
2.3.9 開發(fā)工具的使用管理 34
第3章 國(guó)外航天型號(hào)的軟件工程化情況 35
3.1 軟件過程改進(jìn)標(biāo)準(zhǔn)和方法 35
3.1.1 ISO 9000 35
3.1.2 CMM和CMMI 35
3.2 NASA軟件工程化實(shí)踐 39
3.2.1 NASA軟件研制的管理體系 40
3.2.2 NASA標(biāo)準(zhǔn)規(guī)范與流程 40
3.3 ESA軟件工程化實(shí)踐 48
3.3.1 ESA軟件研制的管理體系 49
3.3.2 ESA標(biāo)準(zhǔn)規(guī)范與流程 51
第4章 國(guó)內(nèi)航天型號(hào)軟件工程化情況 57
4.1 航天型號(hào)軟件工程化概述 57
4.2 載人航天工程軟件工程化發(fā)展歷程 58
4.2.1 啟動(dòng)探索期 58
4.2.2 全面實(shí)施期 59
4.2.3 鞏固發(fā)展期 59
4.2.4 軟件工程化成績(jī) 60
4.3 載人航天工程軟件工程化標(biāo)準(zhǔn)體系 61
4.3.1 管理規(guī)定 62
4.3.2 技術(shù)標(biāo)準(zhǔn) 63
第5章 航天型號(hào)軟件研制過程 66
5.1 技術(shù)流程分類 66
5.1.1 新研軟件技術(shù)流程 67
5.1.2 沿用軟件技術(shù)流程 67
5.1.3 參數(shù)修改軟件技術(shù)流程 68
5.1.4 適應(yīng)性修改軟件技術(shù)流程 69
5.2 系統(tǒng)級(jí)分析與設(shè)計(jì) 70
5.2.1 系統(tǒng)分析與設(shè)計(jì) 71
5.2.2 分系統(tǒng)分析與設(shè)計(jì) 74
5.3 軟件需求分析 77
5.3.1 輸入與輸出 77
5.3.2 工作內(nèi)容 78
5.3.3 出口準(zhǔn)則 79
5.4 軟件設(shè)計(jì) 80
5.4.1 概要設(shè)計(jì) 80
5.4.2 詳細(xì)設(shè)計(jì) 82
5.5 軟件實(shí)現(xiàn) 84
5.5.1 輸入與輸出 84
5.5.2 工作內(nèi)容 85
5.5.3 出口準(zhǔn)則 86
5.6 軟件測(cè)試 86
5.6.1 軟件集成測(cè)試 86
5.6.2 軟件配置項(xiàng)測(cè)試 88
5.7 系統(tǒng)測(cè)試 89
5.7.1 軟件系統(tǒng)測(cè)試 89
5.7.2 系統(tǒng)試驗(yàn)驗(yàn)證 91
5.8 驗(yàn)收交付 93
5.9 運(yùn)行維護(hù) 93
5.9.1 輸入與輸出 93
5.9.2 工作內(nèi)容 93
5.9.3 出口準(zhǔn)則 94
第6章 系統(tǒng)級(jí)分析與設(shè)計(jì) 95
6.1 概述 95
6.2 系統(tǒng)分解方法 96
6.2.1 產(chǎn)品分解結(jié)構(gòu) 96
6.2.2 功能流框圖 97
6.2.3 軟件結(jié)構(gòu)HIPO圖 98
6.3 軟硬件協(xié)同設(shè)計(jì) 99
6.3.1 軟硬件協(xié)同設(shè)計(jì)定義 100
6.3.2 軟硬件協(xié)同設(shè)計(jì)與仿真驗(yàn)證 101
6.3.3 軟硬件協(xié)同設(shè)計(jì)平臺(tái) 102
6.4 軟件復(fù)用與外購(gòu) 104
6.4.1 已有軟件復(fù)用過程 104
6.4.2 軟件復(fù)用技術(shù) 105
第7章 軟件需求分析 110
7.1 概述 110
7.1.1 需求的定義 110
7.1.2 需求的類型 112
7.1.3 需求分析原則 113
7.2 結(jié)構(gòu)化需求分析方法 114
7.2.1 數(shù)據(jù)流圖 115
7.2.2 數(shù)據(jù)字典 117
7.2.3 加工規(guī)格說明 118
7.2.4 實(shí)體-關(guān)系圖 118
7.2.5 數(shù)據(jù)對(duì)象描述 119
7.2.6 狀態(tài)遷移圖 119
7.3 面向?qū)ο蟮男枨蠓治龇椒?119
7.3.1 面向?qū)ο蠓治龇椒ǜ攀?120
7.3.2 識(shí)別分析類和對(duì)象 122
7.3.3 定義類之間的關(guān)系 123
7.3.4 標(biāo)識(shí)類的屬性和服務(wù) 124
7.4 軟件需求管理 126
7.4.1 內(nèi)容與要求 126
7.4.2 需求追蹤方法 127
7.4.3 需求管理工具 128
第8章 軟件設(shè)計(jì) 131
8.1 概述 131