軟件工程化與機(jī)載軟件適航審查實(shí)踐內(nèi)容簡(jiǎn)介

本書重點(diǎn)介紹了軟件工程化的相關(guān)理論、方法、過程、模型以及機(jī)載軟件適航審查的相關(guān)標(biāo)準(zhǔn)、過程、方法。 其中，軟件工程化理論與實(shí)踐部分主要介紹了軟件工程的基本原理、軟件生命周期的基本模型以及軟件需求分析、設(shè)計(jì)、測(cè)試、維護(hù)的相關(guān)方法，在實(shí)踐部分主要對(duì)配置管理過程和質(zhì)量保證過程進(jìn)行系統(tǒng)介紹，結(jié)合具體過程，給出了相應(yīng)的文檔編寫模板以及各類過程的評(píng)審檢查單，便于廣大讀者在軟件開發(fā)實(shí)際工作中借鑒和應(yīng)用；機(jī)載軟件適航審查理論與實(shí)踐部分主要介紹了機(jī)載軟件適航的理論、機(jī)載軟件適航的標(biāo)準(zhǔn)、機(jī)載軟件適航審查的過程和方法，給出了機(jī)載軟件適航審查的流程、方法以及各個(gè)審查階段應(yīng)滿足的目標(biāo)，從而為機(jī)載軟件適航審查人員在具體的審查工作中提供指導(dǎo)和幫助。本書的實(shí)踐性較強(qiáng)、適用面較廣，可作為高等院校軟件工程、計(jì)算機(jī)技術(shù)及信息技術(shù)等專業(yè)本科生和研究生學(xué)習(xí)軟件工程的教材，也可以作為軟件工程人員以及軟件適航審查人員從事軟件開發(fā)管理以及軟件適航審查等工作的參考資料。

第1章軟件工程化引論1

1.1軟件危機(jī)的產(chǎn)生1

1.2軟件工程基礎(chǔ)2

1.3本章小結(jié)31

第2章軟件生命周期及開發(fā)模型32

2.1軟件生命周期概述32

2.2軟件生命周期模型34

2.3軟件過程40

2.4本章小結(jié)42

第3章軟件需求分析方法44

3.1軟件需求分析概述44

3.2軟件需求獲取48

3.3結(jié)構(gòu)化需求分析52

3.4面向?qū)ο笮枨蠓治?3

3.5本章小結(jié)75

第4章軟件設(shè)計(jì)方法76

4.1軟件設(shè)計(jì)概述76

4.2軟件設(shè)計(jì)原理79

4.3軟件架構(gòu)設(shè)計(jì)81

4.4軟件詳細(xì)設(shè)計(jì)90

4.5本章小結(jié)99

第5章軟件測(cè)試與維護(hù)技術(shù)100

5.1軟件測(cè)試概述100

5.2軟件測(cè)試技術(shù)103

5.3系統(tǒng)測(cè)試及方法110

5.4軟件維護(hù)概述115

5.5軟件維護(hù)的類型117

5.6軟件維護(hù)的過程118

5.7本章小結(jié)127

第6章軟件工程化實(shí)踐129

6.1軟件過程管理129

6.2軟件配置管理160

6.3軟件質(zhì)量保證管理189

6.4軍事代表在軍用軟件質(zhì)量監(jiān)督中的職責(zé)238

6.5本章小結(jié)244

第7章機(jī)載軟件適航概述245

7.1機(jī)載計(jì)算機(jī)及機(jī)載軟件245

7.2機(jī)載軟件適航要求251

7.3機(jī)載軟件安全性與可靠性252

7.4DO-178B標(biāo)準(zhǔn)介紹260

7.5DO-178B應(yīng)用介紹265

7.6本章小結(jié)285

第8章機(jī)載軟件計(jì)劃過程及適航審查287

8.1計(jì)劃過程概述287

8.2計(jì)劃文檔的適航審查要求290

8.3軟件合格審查計(jì)劃291

8.4軟件開發(fā)計(jì)劃302

8.5軟件驗(yàn)證計(jì)劃308

8.6軟件配置管理計(jì)劃319

8.7軟件質(zhì)量保證計(jì)劃325

8.8本章小結(jié)331

第9章機(jī)載軟件驗(yàn)證過程及適航審查332

9.1軟件驗(yàn)證過程概述332

9.2評(píng)審和分析334

9.3測(cè)試過程336

9.4結(jié)構(gòu)覆蓋340

9.5驗(yàn)證獨(dú)立性344

9.6數(shù)據(jù)耦合和控制耦合348

9.7本章小結(jié)350

第10章機(jī)載軟件構(gòu)型管理過程、質(zhì)量保證過程及適航審查351

10.1構(gòu)型管理過程351

10.2質(zhì)量保證過程357

10.3本章小結(jié)362

第11章機(jī)載軟件合格審查過程363

11.1合格審查過程概述363

11.2軟件合格審查的實(shí)施過程和工具363

11.3軟件生命周期資料372

11.4本章小結(jié)379

參考文獻(xiàn)380 2100433B

軟件工程的基本目標(biāo)就是在給定的資源約束條件下開發(fā)生產(chǎn)更多更好的軟件產(chǎn)品，具體表現(xiàn)如下：

1、開發(fā)盡可能多的軟件產(chǎn)品，滿足社會(huì)對(duì)軟件全方位、不同應(yīng)用領(lǐng)域的應(yīng)用需求，是軟件工程的首要目標(biāo)。

2、提高軟件的生產(chǎn)效率。由于軟件產(chǎn)品的特殊性使得如何提高軟件產(chǎn)品的生產(chǎn)效率成了迫切需要解決的難題。為此，人們從各個(gè)方面研究、探討軟件產(chǎn)品生產(chǎn)的內(nèi)在規(guī)律，包括生產(chǎn)過程的管理、組織形式、開發(fā)工具、程序設(shè)計(jì)方法等，試圖找出比較滿意的求解方案。

3、滿足應(yīng)用的功能需要。這里包括幾層意思：產(chǎn)品功能強(qiáng)、性能好、按期交付使用、易于用戶操作和維護(hù)。

4、降低軟件開發(fā)成本，包括降低軟件設(shè)計(jì)成本和軟件維護(hù)成本，而軟件維護(hù)成本比開發(fā)成本要大得多。因此，提高軟件可維護(hù)性是降低軟件開發(fā)成本的有效途徑。

在具體工程項(xiàng)目的實(shí)際開發(fā)過程中，試圖讓以上幾個(gè)目標(biāo)都達(dá)到理想的程度往往是非常困難的。例如，如果過于追求提高軟件的性能，可能造成開發(fā)出的軟件對(duì)硬件有較大的依賴性，從而直接影響到軟件的通用性和可移植性。實(shí)際上軟件工程就是要解決如何在用戶要求的功能、質(zhì)量、成本、進(jìn)度之間取得平衡，滿足應(yīng)用的實(shí)際需要。

《基于CMMI的軟件工程教程》以CMMI1．2版本相關(guān)過程管理思路為基礎(chǔ)，重點(diǎn)提煉出CMMI3級(jí)中各過程域(簡(jiǎn)稱PA)的精髓，結(jié)合當(dāng)前國(guó)內(nèi)企業(yè)實(shí)際開發(fā)需求及CMMI推行情況，對(duì)CMMI及軟件工程相關(guān)理論、思想、實(shí)踐進(jìn)行簡(jiǎn)化并結(jié)合了國(guó)內(nèi)多家軟件公司的CMMI過程改進(jìn)實(shí)踐，從軟件工程實(shí)踐的思路來(lái)描述軟件開發(fā)的全過程管理，重點(diǎn)是為了解決當(dāng)前軟件工程類教材中的一個(gè)老問題：“學(xué)習(xí)過軟件工程課程，還是不知道軟件開發(fā)是怎么回事，更不知道怎么規(guī)范化地開發(fā)一個(gè)軟件產(chǎn)品?！?

全書共21章，共分軟件工程簡(jiǎn)介、項(xiàng)目管理、組織過程管理、工程過程管理、項(xiàng)目支撐管理五大部分。其中項(xiàng)目管理包含立項(xiàng)管理、項(xiàng)目總結(jié)、項(xiàng)目初步計(jì)劃、項(xiàng)目估算及詳細(xì)計(jì)劃、項(xiàng)目跟蹤及控制、風(fēng)險(xiǎn)管理、項(xiàng)目結(jié)項(xiàng)等章節(jié)；組織過程管理包含軟件開發(fā)過程管理、項(xiàng)目評(píng)審管理等章節(jié)；工程過程管理包含需求開發(fā)及管理、系統(tǒng)設(shè)計(jì)、實(shí)現(xiàn)與測(cè)試、制定測(cè)試方案及編寫測(cè)試用例、系統(tǒng)測(cè)試、客戶驗(yàn)收等章節(jié)；項(xiàng)目支撐管理包含過程及產(chǎn)品質(zhì)量保證、軟件配置管理、度量分析、決策分析等章節(jié)。

《基于CMMI的軟件工程教程》適合各類開設(shè)軟件工程或軟件項(xiàng)目實(shí)踐類課程的高校學(xué)生及教師使用，也可以作為中小軟件企業(yè)的過程改進(jìn)人員的參考書。