軟件工程

內(nèi)容概要

　　《軟件工程(第2版)》是《軟件工程》的第二版?！盾浖こ?第2版)》由五篇共16章構(gòu)成，第一篇講述軟件工程與軟件過程；第二篇講述結(jié)構(gòu)化分析、設(shè)計(jì)與實(shí)現(xiàn)；第三篇講述面向?qū)ο蟮母拍?、模型、分析、設(shè)計(jì)與實(shí)現(xiàn)；第四篇講述軟件項(xiàng)目的計(jì)劃、組織和控制，并介紹了一些相關(guān)的國際標(biāo)準(zhǔn)；第五篇講述形式化方法、統(tǒng)一建模語言UML和軟件重用。

作者簡介

張海藩，教授，1963年畢業(yè)于北京大學(xué)汁算技術(shù)專業(yè)。長期從事“軟件工程概論”、“面向?qū)ο蟪绦蛟O(shè)計(jì)”等課程的教學(xué)工作，曾被評(píng)為北京市優(yōu)秀教師。參加的科研項(xiàng)目曾獲全國科學(xué)大會(huì)獎(jiǎng)、中國科學(xué)院科研特等獎(jiǎng)等；主持的科研項(xiàng)日獲原機(jī)電部科技進(jìn)步獎(jiǎng)。編著有《軟件工程導(dǎo)論》、《軟件工程》、《面向?qū)ο蟪绦蛟O(shè)計(jì)實(shí)用教程》等十多本教材。

書籍目錄

第一篇 軟件工程與軟件過程 1第1章 軟件工程 11.1 軟件危機(jī) 11.1.1 計(jì)算機(jī)系統(tǒng)的發(fā)展歷程 11.1.2 軟件危機(jī)的含義 21.1.3 產(chǎn)生軟件危機(jī)的原因 31.1.4 消除軟件危機(jī)的途徑 51.2 軟件工程 61.2.1 什么是軟件工程 61.2.2 軟件工程的基本原理 61.2.3 軟件工程方法學(xué) 81.3 小結(jié) 10習(xí)題 11第2章 軟件過程 132.1 軟件生命周期的基本任務(wù) 132.2 瀑布模型 162.3 快速原型模型 182.4 增量模型 192.5 螺旋模型 202.6 噴泉模型 222.7 小結(jié) 23習(xí)題 24第二篇 傳統(tǒng)方法學(xué) 25第3章 結(jié)構(gòu)化分析 253.1 概述 253.2 與用戶通信的技術(shù) 263.2.1 訪談 263.2.2 簡易的應(yīng)用規(guī)格說明技術(shù) 273.2.3 軟件原型 283.3 分析建模與規(guī)格說明 293.3.1 分析建模 293.3.2 軟件需求規(guī)格說明 293.4 實(shí)體-關(guān)系圖 313.4.1 數(shù)據(jù)對(duì)象 313.4.2 屬性 313.4.3 關(guān)系 323.4.4 實(shí)體-關(guān)系圖的符號(hào) 323.5 數(shù)據(jù)流圖 333.5.1 數(shù)據(jù)流圖符號(hào) 333.5.2 例子 343.5.3 命名 373.6 狀態(tài)轉(zhuǎn)換圖 373.6.1 狀態(tài) 383.6.2 事件 383.6.3 符號(hào) 383.6.4 例子 393.7 數(shù)據(jù)字典 403.8 結(jié)構(gòu)化分析實(shí)例 413.8.1 問題陳述 423.8.2 問題定義 423.8.3 可行性研究 433.8.4 需求分析 483.9 小結(jié) 53習(xí)題 55第4章 結(jié)構(gòu)化設(shè)計(jì) 564.1 結(jié)構(gòu)化設(shè)計(jì)與結(jié)構(gòu)化分析的關(guān)系 564.2 軟件設(shè)計(jì)的概念和原理 574.2.1 模塊化 574.2.2 抽象 594.2.3 逐步求精 594.2.4 信息隱藏 604.3 模塊獨(dú)立 614.3.1 耦合 614.3.2 內(nèi)聚 624.4 啟發(fā)規(guī)則 634.4.1 改進(jìn)軟件結(jié)構(gòu)提高模塊獨(dú)立性 634.4.2 模塊規(guī)模應(yīng)該適中 644.4.3 深度、寬度、扇出和扇入都應(yīng)適當(dāng) 644.4.4 模塊的作用域應(yīng)該在控制域之內(nèi) 644.4.5 力爭降低模塊接口的復(fù)雜程度 654.4.6 設(shè)計(jì)單入口單出口的模塊 654.4.7 模塊功能應(yīng)該可以預(yù)測 654.5 表示軟件結(jié)構(gòu)的圖形工具 654.5.1 層次圖和HIPO圖 654.5.2 結(jié)構(gòu)圖 674.6 面向數(shù)據(jù)流的設(shè)計(jì)方法 684.6.1 概念 684.6.2 變換分析 694.6.3 事務(wù)分析 754.6.4 設(shè)計(jì)優(yōu)化 764.7 人機(jī)界面設(shè)計(jì) 774.7.1 人機(jī)界面設(shè)計(jì)問題 774.7.2 人機(jī)界面設(shè)計(jì)過程 784.7.3 界面設(shè)計(jì)指南 794.8 過程設(shè)計(jì) 814.9 過程設(shè)計(jì)的工具 834.9.1 程序流程圖 834.9.2 盒圖(N-S圖) 844.9.3 PAD圖 844.9.4 判定表 864.9.5 判定樹 874.9.6 過程設(shè)計(jì)語言(PDL) 874.10 面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)方法 884.10.1 Jackson圖 884.10.2 改進(jìn)的Jackson圖 894.10.3 Jackson方法 894.11 小結(jié) 94習(xí)題 95第5章 結(jié)構(gòu)化實(shí)現(xiàn) 985.1 編碼 985.1.1 選擇程序設(shè)計(jì)語言 985.1.2 編碼風(fēng)格 1005.2 軟件測試基礎(chǔ) 1025.2.1 測試目標(biāo) 1025.2.2 黑盒測試和白盒測試 1035.2.3 測試準(zhǔn)則 1035.2.4 流圖 1035.3 邏輯覆蓋 1065.4 控制結(jié)構(gòu)測試 1085.4.1 基本路徑測試 1085.4.2 條件測試 1115.4.3 數(shù)據(jù)流測試 1135.4.4 循環(huán)測試 1145.5 黑盒測試技術(shù) 1155.5.1 等價(jià)劃分 1165.5.2 邊界值分析 1185.5.3 錯(cuò)誤推測 1195.6 測試策略 1205.6.1 測試步驟 1205.6.2 單元測試 1215.6.3 集成測試 1235.6.4 確認(rèn)測試 1265.7 調(diào)試 1275.7.1 調(diào)試過程 1275.7.2 調(diào)試途徑 1285.8 軟件可靠性 1305.8.1 基本概念 1305.8.2 估算平均無故障時(shí)間的方法 1315.9 小結(jié) 132習(xí)題 133第三篇 面向?qū)ο蠓椒▽W(xué) 139第6章 面向?qū)ο蠓椒▽W(xué)導(dǎo)論 1396.1 面向?qū)ο蟪绦蛟O(shè)計(jì)實(shí)例 1396.1.1 用對(duì)象分解取代功能分解 1416.1.2 設(shè)計(jì)類等級(jí) 1436.1.3 定義屬性和服務(wù) 1446.1.4 用C++語言實(shí)現(xiàn) 1476.2 面向?qū)ο蠓椒▽W(xué)概述 1476.2.1 面向?qū)ο蠓椒▽W(xué)的要點(diǎn) 1496.2.2 面向?qū)ο蟮能浖^程 1506.3 面向?qū)ο蠓椒▽W(xué)的主要優(yōu)點(diǎn) 1536.4 面向?qū)ο蟮母拍?1536.4.1 對(duì)象 1566.4.2 其他概念 1596.5 面向?qū)ο蠼?1606.6 對(duì)象模型 1606.6.1 表示類的符號(hào) 1616.6.2 表示關(guān)系的符號(hào) 1646.7 動(dòng)態(tài)模型 1656.8 功能模型 1656.9 三種模型之間的關(guān)系 1666.10 小結(jié) 166習(xí)題 166第7章 面向?qū)ο蠓治?1687.1 分析過程 1687.1.1 概述 1687.1.2 三個(gè)子模型與五個(gè)層次 1697.2 需求陳述 1707.2.1 書寫要點(diǎn) 1707.2.2 例子 1717.3 建立對(duì)象模型 1727.3.1 確定類與對(duì)象 1727.3.2 確定關(guān)聯(lián) 1747.3.3 劃分主題 1777.3.4 確定屬性 1777.3.5 識(shí)別繼承關(guān)系 1787.3.6 反復(fù)修改 1797.4 建立動(dòng)態(tài)模型 1827.4.1 編寫腳本 1827.4.2 設(shè)想用戶界面 1837.4.3 畫事件跟蹤圖 1847.4.4 畫狀態(tài)圖 1847.4.5 審查動(dòng)態(tài)模型 1867.5 建立功能模型 1877.5.1 畫出基本系統(tǒng)模型圖 1877.5.2 畫出功能級(jí)數(shù)據(jù)流圖 1877.5.3 描述處理框功能 1887.6 定義服務(wù) 1897.6.1 常規(guī)行為 1897.6.2 從事件導(dǎo)出的操作 1897.6.3 與數(shù)據(jù)流圖中處理框?qū)?yīng)的操作 1897.6.4 利用繼承減少冗余操作 1897.7 面向?qū)ο蠓治鰧?shí)例 1907.7.1 需求陳述 1907.7.2 建立對(duì)象模型 1907.7.3 建立動(dòng)態(tài)模型 1917.7.4 建立功能模型 1937.7.5 進(jìn)一步完善 1947.8 小結(jié) 194習(xí)題 195第8章 面向?qū)ο笤O(shè)計(jì) 1978.1 面向?qū)ο笤O(shè)計(jì)的準(zhǔn)則 1978.1.1 模塊化 1988.1.2 抽象 1988.1.3 信息隱藏 1988.1.4 弱耦合 1988.1.5 強(qiáng)內(nèi)聚 1998.1.6 可重用 1998.2 啟發(fā)規(guī)則 1998.2.1 設(shè)計(jì)結(jié)果應(yīng)該清晰易懂 2008.2.2 一般-特殊結(jié)構(gòu)的深度應(yīng)適當(dāng) 2008.2.3 設(shè)計(jì)簡單的類 2008.2.4 使用簡單的協(xié)議 2018.2.5 使用簡單的服務(wù) 2018.2.6 把設(shè)計(jì)變動(dòng)減至最小 2018.3 系統(tǒng)分解 2018.3.1 子系統(tǒng)之間的兩種交互方式 2028.3.2 組織系統(tǒng)的兩種方案 2028.3.3 設(shè)計(jì)系統(tǒng)的拓?fù)浣Y(jié)構(gòu) 2038.4 設(shè)計(jì)問題域子系統(tǒng) 2038.4.1 調(diào)整需求 2048.4.2 重用已有的類 2048.4.3 把問題域類組合在一起 2048.4.4 增添一般化類以建立協(xié)議 2048.4.5 ATM系統(tǒng)之例 2048.5 設(shè)計(jì)人-機(jī)交互子系統(tǒng) 2058.5.1 設(shè)計(jì)人-機(jī)交互界面的準(zhǔn)則 2058.5.2 設(shè)計(jì)人-機(jī)交互子系統(tǒng)的策略 2068.6 設(shè)計(jì)任務(wù)管理子系統(tǒng) 2078.6.1 分析并發(fā)性 2088.6.2 設(shè)計(jì)任務(wù)管理子系統(tǒng) 2088.7 設(shè)計(jì)數(shù)據(jù)管理子系統(tǒng) 2098.7.1 選擇數(shù)據(jù)存儲(chǔ)管理模式 2098.7.2 設(shè)計(jì)數(shù)據(jù)管理子系統(tǒng) 2108.7.3 例子 2128.8 設(shè)計(jì)類中的服務(wù) 2128.8.1 確定類中應(yīng)有的服務(wù) 2128.8.2 設(shè)計(jì)實(shí)現(xiàn)服務(wù)的方法 2138.9 設(shè)計(jì)關(guān)聯(lián) 2148.9.1 關(guān)聯(lián)的遍歷 2148.9.2 實(shí)現(xiàn)單向關(guān)聯(lián) 2148.9.3 實(shí)現(xiàn)雙向關(guān)聯(lián) 2158.9.4 關(guān)聯(lián)對(duì)象的實(shí)現(xiàn)方法 2158.10 設(shè)計(jì)優(yōu)化 2158.10.1 確定優(yōu)先級(jí) 2158.10.2 提高效率的幾項(xiàng)技術(shù) 2168.10.3 調(diào)整繼承關(guān)系 2178.11 面向?qū)ο蠓治雠c設(shè)計(jì)實(shí)例 2188.11.1 面向?qū)ο蠓治?2198.11.2 面向?qū)ο笤O(shè)計(jì) 2218.12 小結(jié) 225習(xí)題 226第9章 面向?qū)ο髮?shí)現(xiàn) 2279.1 程序設(shè)計(jì)語言 2279.1.1 面向?qū)ο笳Z言的優(yōu)點(diǎn) 2279.1.2 面向?qū)ο笳Z言的技術(shù)特點(diǎn) 2289.1.3 選擇面向?qū)ο笳Z言 2319.2 程序設(shè)計(jì)風(fēng)格 2329.2.1 提高可重用性 2329.2.2 提高可擴(kuò)充性 2349.2.3 提高健壯性 2349.3 測試策略 2359.3.1 面向?qū)ο蟮膯卧獪y試 2359.3.2 面向?qū)ο蟮募蓽y試 2359.3.3 面向?qū)ο蟮拇_認(rèn)測試 2369.4 設(shè)計(jì)測試用例 2369.4.1 測試類的方法 2369.4.2 集成測試方法 2389.5 小結(jié) 240習(xí)題 240第四篇 軟件項(xiàng)目管理 242第10章 計(jì)劃 24210.1 度量軟件規(guī)模 24210.1.1 代碼行技術(shù) 24310.1.2 功能點(diǎn)技術(shù) 24510.2 工作量估算 24510.2.1 靜態(tài)單變量模型 24510.2.2 動(dòng)態(tài)多變量模型 24510.2.3 COCOMO2模型 24610.3 進(jìn)度計(jì)劃 24810.3.1 基本原則 24910.3.2 估算軟件開發(fā)時(shí)間 25010.3.3 Gantt圖 25110.3.4 工程網(wǎng)絡(luò) 25210.3.5 估算進(jìn)度 25310.3.6 關(guān)鍵路徑 25410.3.7 機(jī)動(dòng)時(shí)間 25510.4 小結(jié) 256習(xí)題 257第11章 組織 25911.1 民主制程序員組 25911.2 主程序員組 26011.3 現(xiàn)代程序員組 26211.4 軟件項(xiàng)目組 26311.4.1 三種組織方式 26411.4.2 四種組織范型 26511.5 小結(jié) 266習(xí)題 266第12章 控制 26712.1 風(fēng)險(xiǎn)管理 26712.1.1 軟件風(fēng)險(xiǎn)分類 26712.1.2 風(fēng)險(xiǎn)識(shí)別 26812.1.3 風(fēng)險(xiǎn)預(yù)測 27212.1.4 處理風(fēng)險(xiǎn)的策略 27412.2 質(zhì)量保證 27512.2.1 軟件質(zhì)量 27512.2.2 軟件質(zhì)量保證措施 27612.3 配置管理 27912.3.1 軟件配置 27912.3.2 軟件配置管理過程 28112.4 小結(jié) 286習(xí)題 286第13章 國際標(biāo)準(zhǔn) 28813.1 IEEE 1058.1軟件項(xiàng)目管理計(jì)劃標(biāo)準(zhǔn) 28813.1.1 軟件項(xiàng)目管理計(jì)劃的組成 28813.1.2 IEEE軟件項(xiàng)目管理計(jì)劃 28813.2 ISO9000質(zhì)量標(biāo)準(zhǔn) 28913.2.1 基本思想 29113.2.2 ISO9000-3標(biāo)準(zhǔn) 29113.3 ISO/IEC 12207軟件生命周期過程標(biāo)準(zhǔn) 29213.3.1 概述 29413.3.2 軟件生命周期過程 29413.4 ISO/IEC TR 15504軟件過程評(píng)估標(biāo)準(zhǔn) 29513.4.1 概述 29813.4.2 標(biāo)準(zhǔn)的結(jié)構(gòu) 29913.5 能力成熟度模型 29913.5.1 能力成熟度模型的結(jié)構(gòu) 30013.5.2 能力成熟度等級(jí) 30113.5.3 關(guān)鍵過程域 30213.5.4 應(yīng)用CMM 30313.6 小結(jié) 304習(xí)題 305第五篇 高級(jí)課題 306第14章 形式化方法 30614.1 概述 30614.1.1 非形式化方法的缺點(diǎn) 30614.1.2 14.1.2 軟件開發(fā)過程中的數(shù)學(xué) 30714.1.3 應(yīng)用形式化方法的準(zhǔn)則 30714.2 有窮狀態(tài)機(jī) 30814.2.1 基本概念 30814.2.2 電梯問題 30914.2.3 評(píng)論 31214.3 Petri網(wǎng) 31214.3.1 基本概念 31214.3.2 應(yīng)用實(shí)例 31414.4 Z語言 31514.4.1 簡介 31514.4.2 評(píng)論 31714.5 小結(jié) 318習(xí)題 318第15章 統(tǒng)一建模語言UML 32015.1 概述 32015.1.1 UML的產(chǎn)生和發(fā)展 32015.1.2 UML的結(jié)構(gòu) 32115.1.3 UML的圖 32215.1.4 UML的應(yīng)用領(lǐng)域 32315.2 靜態(tài)建模機(jī)制 32415.2.1 用例圖 32415.2.2 類圖和對(duì)象圖 32715.3 動(dòng)態(tài)建模機(jī)制 33615.3.1 消息 33615.3.2 狀態(tài)圖 33615.3.3 順序圖 33715.3.4 協(xié)作圖 33915.3.5 活動(dòng)圖 34015.4 描述物理架構(gòu)的機(jī)制 34115.4.1 邏輯架構(gòu)和物理架構(gòu) 34115.4.2 構(gòu)件圖 34115.4.3 配置圖 34215.5 使用和擴(kuò)展UM L34315.5.1 使用UML的準(zhǔn)則 34315.5.2 擴(kuò)展UML的機(jī)制 34415.6 小結(jié) 345習(xí)題 345第16章 軟件重用 34616.1 可重用的軟件成分 34616.2 軟件重用過程 34716.2.1 構(gòu)件組裝模型 34716.2.2 類構(gòu)件 34816.2.3 重用過程模型 34916.3 領(lǐng)域工程 35016.3.1 分析過程 35016.3.2 領(lǐng)域特征 35116.3.3 結(jié)構(gòu)建模和結(jié)構(gòu)點(diǎn) 35216.4 開發(fā)可重用的構(gòu)件 35216.4.1 為了重用的分析與設(shè)計(jì) 35216.4.2 基于構(gòu)件的開發(fā) 35316.5 分類和檢索構(gòu)件 35416.5.1 描述可重用的構(gòu)件 35516.5.2 重用環(huán)境 35716.6 軟件重用的效益 35716.7 小結(jié) 358習(xí)題 359參考文獻(xiàn) 360

編輯推薦

　　《軟件工程(第2版)》內(nèi)容新穎、實(shí)例豐富，可作為高等院校"軟件工程"課程的教材或教學(xué)參考書，也可供軟件工程師、軟件項(xiàng)目管理者和應(yīng)用軟件的開發(fā)人員閱讀參考。

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    軟件工程 PDF格式下載

---