軟件工程化與機載軟件適航審查實踐

第1章軟件工程化引論1

1.1軟件危機的產(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è)計方法76

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

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

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

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

4.5本章小結(jié)99

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

5.1軟件測試概述100

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

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

5.4軟件維護概述115

5.5軟件維護的類型117

5.6軟件維護的過程118

5.7本章小結(jié)127

第6章軟件工程化實踐129

6.1軟件過程管理129

6.2軟件配置管理160

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

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

6.5本章小結(jié)244

第7章機載軟件適航概述245

7.1機載計算機及機載軟件245

7.2機載軟件適航要求251

7.3機載軟件安全性與可靠性252

7.4DO-178B標準介紹260

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

7.6本章小結(jié)285

第8章機載軟件計劃過程及適航審查287

8.1計劃過程概述287

8.2計劃文檔的適航審查要求290

8.3軟件合格審查計劃291

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

8.5軟件驗證計劃308

8.6軟件配置管理計劃319

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

8.8本章小結(jié)331

第9章機載軟件驗證過程及適航審查332

9.1軟件驗證過程概述332

9.2評審和分析334

9.3測試過程336

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

9.5驗證獨立性344

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

9.7本章小結(jié)350

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

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

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

10.3本章小結(jié)362

第11章機載軟件合格審查過程363

11.1合格審查過程概述363

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

11.3軟件生命周期資料372

11.4本章小結(jié)379

參考文獻380 2100433B

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

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

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

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

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

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

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

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

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

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