軟件工程（高等學(xué)校計算機教育規(guī)劃教材）

第1章  軟件工程概述 11.1  軟件工程的產(chǎn)生 11.1.1  計算機軟件及其特點 11.1.2  軟件危機 31.1.3  軟件工程的定義 41.2  軟件工程的研究對象和基本原理 51.2.1  軟件工程的研究對象 51.2.2  軟件工程的基本原理 61.3  軟件的生存期及常用的開發(fā)模型 71.3.1  軟件的生存期 71.3.2  常用的軟件開發(fā)模型 9本章小結(jié) 12習(xí)題1 14第2章  可行性研究和需求定義 152.1  問題定義 152.1.1  問題定義的基本任務(wù) 152.1.2  問題定義報告 162.2  可行性研究 162.2.1  可行性研究的內(nèi)容及過程 172.2.2  可行性研究報告 182.3  需求定義 192.3.1  需求獲取的內(nèi)容 192.3.2  需求獲取的方法 202.3.3  需求規(guī)格說明的內(nèi)容 212.3.4  需求規(guī)格說明的評審 222.3.5  需求規(guī)格說明書 232.4  典型應(yīng)用分析 25本章小結(jié) 29習(xí)題2 29第3章  需求分析 303.1  需求分析的目標(biāo)與原則 303.1.1  需求分析的目標(biāo) 313.1.2  需求分析的原則 313.2  需求分析的過程及方法 323.2.1  需求分析的過程 323.2.2  需求分析方法 333.3  需求分析的工具 503.3.1  SADT 503.3.2  PSL/PSA 513.4  傳統(tǒng)的軟件建模 523.4.1  軟件建模 523.4.2  數(shù)據(jù)模型的建立 533.4.3  功能模型、行為模型的建立及數(shù)據(jù)字典 543.5  用例建模 563.5.1  用例圖 573.5.2  參與者及用例的描述 603.5.3  用例建模過程 623.6  面向?qū)ο蠼?nbsp;633.6.1  面向?qū)ο蠡A(chǔ) 633.6.2  面向?qū)ο蠓治瞿Ｐ?nbsp;693.6.3  對象模型的建立 703.6.4  行為模型的建立 723.6.5  功能模型的建立 763.7  統(tǒng)一建模語言UML 783.7.1  UML的基本實體 793.7.2  UML的目標(biāo)及范疇 793.7.3  UML圖的使用實例 803.8  典型應(yīng)用分析 843.8.1  結(jié)構(gòu)化分析示例 843.8.2  面向?qū)ο蠓治鍪纠?nbsp;883.8.3  面向問題域的分析示例 91本章小結(jié) 94習(xí)題3 95第4章  系統(tǒng)設(shè)計 964.1  系統(tǒng)設(shè)計的任務(wù)和過程 964.1.1  系統(tǒng)設(shè)計的任務(wù) 964.1.2  系統(tǒng)設(shè)計的過程 964.2  系統(tǒng)設(shè)計的基本原則 974.2.1  軟件設(shè)計 974.2.2  模塊設(shè)計 1004.2.3  結(jié)構(gòu)設(shè)計 1014.3  面向數(shù)據(jù)流圖的設(shè)計方法 1014.3.1  典型的系統(tǒng)結(jié)構(gòu)圖 1014.3.2  變換分析 1034.3.3  事務(wù)分析 1054.3.4  軟件模塊結(jié)構(gòu)的改進 1064.4  面向?qū)ο蟮脑O(shè)計方法 1064.4.1  面向?qū)ο蟮幕靖拍詈吞卣?nbsp;1064.4.2  面向?qū)ο蟮募夹g(shù)要點 1064.4.3  面向?qū)ο蠓治瞿Ｐ?nbsp;1074.5  面向?qū)ο筌浖O(shè)計模型 1074.5.1  設(shè)計模式描述 1074.5.2  設(shè)計模式的分類 1074.6  模型-視圖-控制器框架 1084.6.1  MVC模式 1084.6.2  MVC中的模型類、視圖類和控制類 1094.6.3  MVC的實現(xiàn) 1104.7  系統(tǒng)設(shè)計說明書 1114.8  典型應(yīng)用分析 1124.8.1  類設(shè)計的目標(biāo) 1124.8.2  類設(shè)計的方針 1124.8.3  通過復(fù)用設(shè)計類 1134.8.4  計數(shù)器類設(shè)計的實例 113本章小結(jié) 114習(xí)題4 115第5章  詳細設(shè)計 1165.1  詳細設(shè)計的任務(wù)及過程 1165.1.1  詳細設(shè)計的任務(wù) 1165.1.2  詳細設(shè)計的過程 1165.1.3  詳細設(shè)計的原則 1175.1.4  詳細設(shè)計工具 1175.2  結(jié)構(gòu)化設(shè)計方法 1225.2.1  基于數(shù)據(jù)流的結(jié)構(gòu)化設(shè)計方法 1225.2.2  面向數(shù)據(jù)結(jié)構(gòu)的結(jié)構(gòu)化設(shè)計方法 1235.3  Jackson程序設(shè)計方法 1235.3.1  Jackson方法的基本思想 1235.3.2  Jackson方法的設(shè)計技術(shù)及實例 1245.4  Warnier程序設(shè)計方法 1315.4.1  Warnier方法的基本思想 1315.4.2  Warnier方法的設(shè)計技術(shù)及實例 1315.5  基于組件的設(shè)計方法 1355.5.1  基于組件的基本思想 1355.5.2  基于組件的設(shè)計技術(shù)及實例 1365.5.3  應(yīng)用 1425.6  詳細設(shè)計說明書 1425.6.1  引言 1425.6.2  總體設(shè)計概述 1435.6.3  程序描述 143本章小結(jié) 143習(xí)題5 144第6章  程序編碼 1456.1  程序設(shè)計語言 1456.1.1  程序設(shè)計語言的發(fā)展及分類 1456.1.2  程序設(shè)計語言的選擇 1476.2  程序設(shè)計風(fēng)格 1486.2.1  源程序文檔化 1486.2.2  數(shù)據(jù)說明 1496.2.3  表達式和語句 1496.2.4  輸入輸出 1506.3  程序設(shè)計方法 1506.3.1  結(jié)構(gòu)化程序設(shè)計方法 1506.3.2  面向?qū)ο蟮某绦蛟O(shè)計方法 1526.4  程序的復(fù)雜性及度量 1546.4.1  程序的復(fù)雜性 1546.4.2  McCabe度量法 1546.4.3  Halstead方法 155本章小結(jié) 156習(xí)題6 157第7章  軟件測試 1587.1  軟件測試的基本方法 1587.1.1  靜態(tài)測試和動態(tài)測試 1587.1.2  白盒測試和黑盒測試 1597.1.3  ALAC測試 1607.2  軟件測試過程 1607.2.1  單元測試 1607.2.2  集成測試 1607.2.3  確認測試 1617.2.4  系統(tǒng)測試 1627.3  軟件測試 1637.3.1  軟件測試角色 1637.3.2  軟件測試環(huán)境 1647.3.3  軟件測試的需求規(guī)格說明 1647.3.4  軟件測試設(shè)計說明 1707.3.5  測試評價 1717.4  面向?qū)ο筌浖y試 1747.4.1  面向?qū)ο鬁y試模型 1747.4.2  面向?qū)ο蠓治龅臏y試 1747.4.3  面向?qū)ο笤O(shè)計的測試 1757.4.4  面向?qū)ο缶幊痰臏y試 1757.4.5  面向?qū)ο蟮膯卧獪y試 1767.4.6  面向?qū)ο蟮募蓽y試 1767.4.7  面向?qū)ο蟮南到y(tǒng)測試 1767.5  典型應(yīng)用分析 177本章小結(jié) 183習(xí)題7 184第8章  軟件維護 1858.1  軟件維護的基本概念 1858.1.1  軟件維護的定義 1868.1.2  軟件維護的分類 1868.2  軟件維護的特點及過程 1878.2.1  影響軟件維護的因素 1878.2.2  軟件維護的標(biāo)準(zhǔn)化 1888.2.3  軟件維護的特點 1898.2.4  軟件維護過程 1908.3  軟件的可維護性 1928.3.1  軟件可維護性的定義 1928.3.2  軟件可維護性的度量及評估 1928.3.3  提高軟件可維護性的方法 195本章小結(jié) 196習(xí)題8 196第9章  軟件項目計劃與管理 1979.1  成本估計 1999.1.1  項目成本估計的基本要素與模式 2009.1.2  軟件開發(fā)成本估算的常用方法 2039.1.3  軟件成本估算的經(jīng)驗?zāi)Ｐ?nbsp;2089.2  效益分析 2139.2.1  幾種效益度量方法 2149.2.2  效益分析方法 2159.3  項目組織與計劃 2179.3.1  項目計劃的制定 2189.3.2  項目組人員配備規(guī)則 2209.3.3  人員組織與管理 2229.4  進度計劃 2259.4.1  制定開發(fā)進度計劃 2259.4.2  甘特圖與時間管理 2269.4.3  工程網(wǎng)絡(luò)與關(guān)鍵路徑 2279.4.4  項目進度跟蹤與控制 2299.5  風(fēng)險管理 2309.5.1  風(fēng)險識別與分類 2319.5.2  風(fēng)險評估與分析 2339.5.3  風(fēng)險策劃與管理 2359.5.4  風(fēng)險規(guī)避與監(jiān)控 2379.6  軟件質(zhì)量 2389.6.1  軟件質(zhì)量特性與度量 2409.6.2  軟件質(zhì)量體系與控制 2459.6.3  軟件質(zhì)量保證與評審 2479.6.4  軟件配置項及其管理 2509.7  軟件工程標(biāo)準(zhǔn) 2539.7.1  軟件工程標(biāo)準(zhǔn)化及其意義 2539.7.2  軟件工程標(biāo)準(zhǔn)的類型與層次 2549.7.3  軟件質(zhì)量標(biāo)準(zhǔn)與認證 2589.7.4  軟件文檔標(biāo)準(zhǔn)化 260本章小結(jié) 263習(xí)題9 264第10章  軟件過程能力成熟度模型CMM 26510.1  軟件過程與軟件過程成熟度 26510.1.1  軟件過程 26510.1.2  軟件過程成熟度 26610.1.3  軟件過程改進框架 26610.2  CMM簡介 26710.2.1  CMM的發(fā)展過程 26810.2.2  軟件過程成熟度的基本概念 26810.2.3  全面質(zhì)量管理和CMM 26910.2.4  基于模型改進的優(yōu)點與風(fēng)險 27310.3  軟件過程成熟度框架 27510.3.1  成熟度的5個級別 27510.3.2  軟件過程的可視性 27710.3.3  跳越成熟度級別 27810.4  能力成熟度模型的結(jié)構(gòu) 27910.4.1  成熟度級別的內(nèi)部結(jié)構(gòu) 27910.4.2  關(guān)鍵過程域 28010.4.3  關(guān)鍵實踐 28010.4.4  共同特性 28110.5  CMM的應(yīng)用 28110.5.1  基于CMM的估價方法 28110.5.2  軟件過程評估及軟件能力評價 28310.5.3  軟件過程改進 28510.5.4  使用CMM 28710.5.5  CMM實施工具 288本章小結(jié) 290習(xí)題10 291第11章  軟件的可靠性 29211.1  軟件可靠性基本概念 29211.1.1  軟件可靠性定義 29211.1.2  軟件可靠性的主要指標(biāo) 29311.1.3  軟件生存期與軟件壽命 29311.2  軟件可靠性評估 29411.2.1  軟件可靠性模型 29411.2.2  估算軟件中錯誤的方法 29611.3  軟件可靠性技術(shù) 29811.3.1  算法模型化 29811.3.2  軟件容錯技術(shù) 299本章小結(jié) 301習(xí)題11 302第12章  軟件工具及環(huán)境 30312.1  軟件工具 30412.1.1  軟件工具的作用與功能 30412.1.2  軟件工具的分類 30512.2  軟件開發(fā)環(huán)境 30512.2.1  軟件開發(fā)環(huán)境的分類 30612.2.2  軟件開發(fā)環(huán)境的特點 30612.2.3  軟件開發(fā)環(huán)境的組成與結(jié)構(gòu) 30712.3  計算機輔助軟件工程（CASE） 30712.3.1  CASE的概念及現(xiàn)狀 30812.3.2  CASE技術(shù)的功能及組成 30812.3.3  CASE工具分類及特點 30912.3.4  CASE與軟件工程的關(guān)系 310本章小結(jié) 311習(xí)題12 311參考文獻 312