圖書簡介： 本書已經(jīng)出版了三個版本，累計銷售達60萬冊，成為軟件工程領(lǐng)域的經(jīng)典教材，先后榮獲全國普通高等學(xué)校工科電子類專業(yè)優(yōu)秀教材二等獎、一等獎。為了反映近5年來軟件工程的發(fā)展狀況，作者主要從下述3個方面對第三版作了精心修改：刪除了一些陳舊的或次要的內(nèi)容；增加了一些較新穎的或重要的內(nèi)容；用UML的概念與符號重新改寫了有關(guān)面向?qū)ο蠓椒▽W(xué)的內(nèi)容。本書全面系統(tǒng)地講述了軟件工程的概念、原理和典型的方法學(xué)，并介紹了軟件項目的管理技術(shù)。本書正文共13章，第1章是概論，第2章至第8章順序講述軟件生命周期各階段的任務(wù)、過程、結(jié)構(gòu)化方法和工具，第9章至第12章分別講述面向?qū)ο蠓椒ㄒ?、面向?qū)ο蠓治?、面向?qū)ο笤O(shè)計和面向?qū)ο髮崿F(xiàn)，第13章介紹軟件項目管理。正文后面有兩個附錄，分別講述了用面向?qū)ο蠓椒ê徒Y(jié)構(gòu)化方法開發(fā)兩個軟件的過程，對讀者深入理解軟件工程學(xué)很有幫助，也是上機實習(xí)的好材料。本書可作為高等院校“軟件工程”課程的教材或教學(xué)參考書，也可供有一定實際經(jīng)驗的軟件工作人員和需要開發(fā)應(yīng)用軟件的廣大計算機用戶閱讀參考。目錄：第一版前言5修訂版（第二版）前言7第三版前言9第四版前言11第1章軟件工程學(xué)概述11.1軟件危機11.1.1軟件危機的介紹11.1.2產(chǎn)生軟件危機的原因31.1.3消除軟件危機的途徑41.2軟件工程51.2.1軟件工程的介紹51.2.2軟件工程的基本原理71.2.3軟件工程方法學(xué)91.3軟件生命周期111.4軟件過程141.4.1瀑布模型151.4.2快速原型模型161.4.3增量模型171.4.4螺旋模型191.5小結(jié)21習(xí)題122第2章可行性研究252.1可行性研究的任務(wù)252.2可行性研究過程262.3系統(tǒng)流程圖282.3.1符號282.3.2例子282.3.3分層302.4數(shù)據(jù)流圖30軟件工程導(dǎo)論目錄2.4.1符號302.4.2例子322.4.3命名342.4.4用途352.5數(shù)據(jù)字典372.5.1數(shù)據(jù)字典的內(nèi)容372.5.2定義數(shù)據(jù)的方法372.5.3數(shù)據(jù)字典的用途382.5.4數(shù)據(jù)字典的實現(xiàn)392.6成本/效益分析392.6.1成本估計402.6.2成本/效益分析的方法412.7小結(jié)43習(xí)題243第3章需求分析453.1需求分析的任務(wù)463.1.1確定對系統(tǒng)的綜合要求463.1.2分析系統(tǒng)的數(shù)據(jù)要求473.1.3導(dǎo)出系統(tǒng)的邏輯模型483.1.4修正系統(tǒng)開發(fā)計劃483.2與用戶溝通獲取需求的方法483.2.1訪談483.2.2面向數(shù)據(jù)流自頂向下求精493.2.3簡易的應(yīng)用規(guī)格說明技術(shù)493.2.4快速建立軟件原型513.3分析建模與規(guī)格說明523.3.1分析建模523.3.2軟件需求規(guī)格說明523.4實體聯(lián)系圖523.4.1數(shù)據(jù)對象533.4.2屬性533.4.3聯(lián)系533.4.4實體聯(lián)系圖的符號543.5數(shù)據(jù)規(guī)范化543.6狀態(tài)轉(zhuǎn)換圖553.6.1狀態(tài)553.6.2事件553.6.3符號563.6.4例子563.7其他圖形工具573.7.1層次方框圖583.7.2Warnier圖583.7.3IPO圖593.8驗證軟件需求603.8.1從哪些方面驗證軟件需求的正確性603.8.2驗證軟件需求的方法603.8.3用于需求分析的軟件工具613.9小結(jié)62習(xí)題363第4章形式化說明技術(shù)654.1概述654.1.1非形式化方法的缺點654.1.2形式化方法的優(yōu)點664.1.3應(yīng)用形式化方法的準則664.2有窮狀態(tài)機674.2.1概念674.2.2例子694.2.3評價724.3Petri網(wǎng)724.3.1概念724.3.2例子744.4Z語言754.4.1簡介754.4.2評價784.5小結(jié)78習(xí)題479第5章總體設(shè)計815.1設(shè)計過程815.2設(shè)計原理845.2.1模塊化845.2.2抽象855.2.3逐步求精855.2.4信息隱藏和局部化865.2.5模塊獨立875.3啟發(fā)規(guī)則895.4描繪軟件結(jié)構(gòu)的圖形工具925.4.1層次圖和HIPO圖925.4.2結(jié)構(gòu)圖935.5面向數(shù)據(jù)流的設(shè)計方法945.5.1概念945.5.2變換分析955.5.3事務(wù)分析1015.5.4設(shè)計優(yōu)化1025.6小結(jié)103習(xí)題5104第6章詳細設(shè)計1076.1結(jié)構(gòu)程序設(shè)計1076.2人機界面設(shè)計1096.2.1設(shè)計問題1096.2.2設(shè)計過程1116.2.3人機界面設(shè)計指南1126.3過程設(shè)計的工具1146.3.1程序流程圖1146.3.2盒圖（NS圖）1146.3.3PAD圖1166.3.4判定表1176.3.5判定樹1186.3.6過程設(shè)計語言1186.4面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計方法1196.4.1Jackson圖1206.4.2改進的Jackson圖1216.4.3Jackson方法1226.5程序復(fù)雜程度的定量度量1266.5.1McCabe方法1276.5.2Halstead方法1296.6小結(jié)130習(xí)題6130第7章實現(xiàn)1357.1編碼1367.1.1選擇程序設(shè)計語言1367.1.2編碼風(fēng)格1377.2軟件測試基礎(chǔ)1397.2.1軟件測試的目標1407.2.2軟件測試準則1407.2.3測試方法1417.2.4測試步驟1417.2.5測試階段的信息流1427.3單元測試1437.3.1測試重點1437.3.2代碼審查1447.3.3計算機測試1457.4集成測試1467.4.1自頂向下集成1477.4.2自底向上集成1487.4.3不同集成測試策略的比較1497.4.4回歸測試1507.5確認測試1507.5.1確認測試的范圍1507.5.2軟件配置復(fù)查1517.5.3Alpha和Beta測試1517.6白盒測試技術(shù)1527.6.1邏輯覆蓋1527.6.2控制結(jié)構(gòu)測試1557.7黑盒測試技術(shù)1617.7.1等價劃分1627.7.2邊界值分析1657.7.3錯誤推測1657.8調(diào)試1667.8.1調(diào)試過程1667.8.2調(diào)試途徑1687.9軟件可靠性1697.9.1基本概念1697.9.2估算平均無故障時間的方法1707.10小結(jié)172習(xí)題7173第8章維護1798.1軟件維護的定義1798.2軟件維護的特點1808.2.1結(jié)構(gòu)化維護與非結(jié)構(gòu)化維護差別巨大1808.2.2維護的代價高昂1808.2.3維護的問題很多1818.3軟件維護過程1828.4軟件的可維護性1858.4.1決定軟件可維護性的因素1858.4.2文檔1868.4.3可維護性復(fù)審1878.5預(yù)防性維護1888.6軟件再工程過程1888.7小結(jié)191習(xí)題8192第9章面向?qū)ο蠓椒▽W(xué)引論1939.1面向?qū)ο蠓椒▽W(xué)概述1939.1.1面向?qū)ο蠓椒▽W(xué)的要點1939.1.2面向?qū)ο蠓椒▽W(xué)的優(yōu)點1959.1.3噴泉模型1999.2面向?qū)ο蟮母拍?009.2.1對象2009.2.2其他概念2029.3面向?qū)ο蠼?069.4對象模型2079.4.1類圖的基本符號2089.4.2表示關(guān)系的符號2099.5動態(tài)模型2159.6功能模型2159.6.1用例圖2159.6.2用例建模2189.73種模型之間的關(guān)系2199.8小結(jié)220習(xí)題9220第10章面向?qū)ο蠓治?2310.1面向?qū)ο蠓治龅幕具^程22310.1.1概述22310.1.23個子模型與5個層次22410.2需求陳述22510.2.1書寫要點22510.2.2例子22610.3建立對象模型22710.3.1確定類與對象22810.3.2確定關(guān)聯(lián)23010.3.3劃分主題23310.3.4確定屬性23310.3.5識別繼承關(guān)系23610.3.6反復(fù)修改23610.4建立動態(tài)模型23910.4.1編寫腳本23910.4.2設(shè)想用戶界面24010.4.3畫事件跟蹤圖24110.4.4畫狀態(tài)圖24210.4.5審查動態(tài)模型24410.5建立功能模型24510.5.1畫出基本系統(tǒng)模型圖24510.5.2畫出功能級數(shù)據(jù)流圖24510.5.3描述處理框功能24610.6定義服務(wù)24710.7小結(jié)247習(xí)題10248第11章面向?qū)ο笤O(shè)計24911.1面向?qū)ο笤O(shè)計的準則24911.2啟發(fā)規(guī)則25111.3軟件重用25311.3.1概述25311.3.2類構(gòu)件25511.3.3軟件重用的效益25611.4系統(tǒng)分解25711.5設(shè)計問題域子系統(tǒng)26011.6設(shè)計人機交互子系統(tǒng)26311.7設(shè)計任務(wù)管理子系統(tǒng)26511.8設(shè)計數(shù)據(jù)管理子系統(tǒng)26711.8.1選擇數(shù)據(jù)存儲管理模式26711.8.2設(shè)計數(shù)據(jù)管理子系統(tǒng)26811.8.3例子27011.9設(shè)計類中的服務(wù)27011.9.1確定類中應(yīng)有的服務(wù)27011.9.2設(shè)計實現(xiàn)服務(wù)的方法27111.10設(shè)計關(guān)聯(lián)27211.11設(shè)計優(yōu)化27311.11.1確定優(yōu)先級27311.11.2提高效率的幾項技術(shù)27411.11.3調(diào)整繼承關(guān)系27511.12小結(jié)277習(xí)題11278第12章面向?qū)ο髮崿F(xiàn)27912.1程序設(shè)計語言27912.1.1面向?qū)ο笳Z言的優(yōu)點27912.1.2面向?qū)ο笳Z言的技術(shù)特點28012.1.3選擇面向?qū)ο笳Z言28412.2程序設(shè)計風(fēng)格28412.2.1提高可重用性28512.2.2提高可擴充性28712.2.3提高健壯性28712.3測試策略28812.3.1面向?qū)ο蟮膯卧獪y試28812.3.2面向?qū)ο蟮募蓽y試28912.3.3面向?qū)ο蟮拇_認測試28912.4設(shè)計測試用例28912.4.1測試類的方法29012.4.2集成測試方法29112.5小結(jié)293習(xí)題12294第13章軟件項目管理29513.1估算軟件規(guī)模29513.1.1代碼行技術(shù)29513.1.2功能點技術(shù)29613.2工作量估算29813.2.1靜態(tài)單變量模型29813.2.2動態(tài)多變量模型29813.2.3COCOMO2模型29913.3進度計劃30213.3.1估算開發(fā)時間30213.3.2Gantt圖30413.3.3工程網(wǎng)絡(luò)30513.3.4估算工程進度30613.3.5關(guān)鍵路徑30813.3.6機動時間30813.4人員組織31013.4.1民主制程序員組31013.4.2主程序員組31113.4.3現(xiàn)代程序員組31213.5質(zhì)量保證31413.5.1軟件質(zhì)量31413.5.2軟件質(zhì)量保證措施31613.6軟件配置管理31813.6.1軟件配置31913.6.2軟件配置管理過程31913.7能力成熟度模型32113.8小結(jié)324習(xí)題13325附錄327附錄AC++類庫管理系統(tǒng)的分析與設(shè)計327A.1面向?qū)ο蠓治?27A.1.1需求327A.1.2建立對象模型328A.2面向?qū)ο笤O(shè)計329A.2.1設(shè)計類庫結(jié)構(gòu)329A.2.2設(shè)計問題域子系統(tǒng)330A.2.3設(shè)計人機交互子系統(tǒng)331A.2.4設(shè)計其他類333附錄B一個漢字行編輯程序的設(shè)計335B.1設(shè)計規(guī)格說明335B.1.1外部編輯命令335B.1.2編輯命令335B.1.3輸出信息336B.2概要設(shè)計337B.2.1正文文件337B.2.2兩個工作模式339B.2.3數(shù)據(jù)元素339B.2.4過程340B.3概要設(shè)計結(jié)果341B.4詳細設(shè)計344B.4.1數(shù)據(jù)元素344B.4.2控制數(shù)據(jù)元素346B.4.3編輯過程346B.4.4輸入模式的過程347B.4.5編輯模式的過程348B.5詳細設(shè)計結(jié)果351B.5.1編輯程序的詳細結(jié)構(gòu)351B.5.2類PASCAL偽碼352B.5.3實現(xiàn)編輯程序的算法354