軟件工程（高等學校計算機教育規(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習題1 14第2章  可行性研究和需求定義 152.1  問題定義 152.1.1  問題定義的基本任務 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  典型應用分析 25本章小結(jié) 29習題2 29第3章  需求分析 303.1  需求分析的目標與原則 303.1.1  需求分析的目標 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 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的目標及范疇 793.7.3  UML圖的使用實例 803.8  典型應用分析 843.8.1  結(jié)構(gòu)化分析示例 843.8.2  面向?qū)ο蠓治鍪纠?nbsp;883.8.3  面向問題域的分析示例 91本章小結(jié) 94習題3 95第4章  系統(tǒng)設計 964.1  系統(tǒng)設計的任務和過程 964.1.1  系統(tǒng)設計的任務 964.1.2  系統(tǒng)設計的過程 964.2  系統(tǒng)設計的基本原則 974.2.1  軟件設計 974.2.2  模塊設計 1004.2.3  結(jié)構(gòu)設計 1014.3  面向數(shù)據(jù)流圖的設計方法 1014.3.1  典型的系統(tǒng)結(jié)構(gòu)圖 1014.3.2  變換分析 1034.3.3  事務分析 1054.3.4  軟件模塊結(jié)構(gòu)的改進 1064.4  面向?qū)ο蟮脑O計方法 1064.4.1  面向?qū)ο蟮幕靖拍詈吞卣?nbsp;1064.4.2  面向?qū)ο蟮募夹g(shù)要點 1064.4.3  面向?qū)ο蠓治瞿Ｐ?nbsp;1074.5  面向?qū)ο筌浖O計模型 1074.5.1  設計模式描述 1074.5.2  設計模式的分類 1074.6  模型-視圖-控制器框架 1084.6.1  MVC模式 1084.6.2  MVC中的模型類、視圖類和控制類 1094.6.3  MVC的實現(xiàn) 1104.7  系統(tǒng)設計說明書 1114.8  典型應用分析 1124.8.1  類設計的目標 1124.8.2  類設計的方針 1124.8.3  通過復用設計類 1134.8.4  計數(shù)器類設計的實例 113本章小結(jié) 114習題4 115第5章  詳細設計 1165.1  詳細設計的任務及過程 1165.1.1  詳細設計的任務 1165.1.2  詳細設計的過程 1165.1.3  詳細設計的原則 1175.1.4  詳細設計工具 1175.2  結(jié)構(gòu)化設計方法 1225.2.1  基于數(shù)據(jù)流的結(jié)構(gòu)化設計方法 1225.2.2  面向數(shù)據(jù)結(jié)構(gòu)的結(jié)構(gòu)化設計方法 1235.3  Jackson程序設計方法 1235.3.1  Jackson方法的基本思想 1235.3.2  Jackson方法的設計技術(shù)及實例 1245.4  Warnier程序設計方法 1315.4.1  Warnier方法的基本思想 1315.4.2  Warnier方法的設計技術(shù)及實例 1315.5  基于組件的設計方法 1355.5.1  基于組件的基本思想 1355.5.2  基于組件的設計技術(shù)及實例 1365.5.3  應用 1425.6  詳細設計說明書 1425.6.1  引言 1425.6.2  總體設計概述 1435.6.3  程序描述 143本章小結(jié) 143習題5 144第6章  程序編碼 1456.1  程序設計語言 1456.1.1  程序設計語言的發(fā)展及分類 1456.1.2  程序設計語言的選擇 1476.2  程序設計風格 1486.2.1  源程序文檔化 1486.2.2  數(shù)據(jù)說明 1496.2.3  表達式和語句 1496.2.4  輸入輸出 1506.3  程序設計方法 1506.3.1  結(jié)構(gòu)化程序設計方法 1506.3.2  面向?qū)ο蟮某绦蛟O計方法 1526.4  程序的復雜性及度量 1546.4.1  程序的復雜性 1546.4.2  McCabe度量法 1546.4.3  Halstead方法 155本章小結(jié) 156習題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  軟件測試設計說明 1707.3.5  測試評價 1717.4  面向?qū)ο筌浖y試 1747.4.1  面向?qū)ο鬁y試模型 1747.4.2  面向?qū)ο蠓治龅臏y試 1747.4.3  面向?qū)ο笤O計的測試 1757.4.4  面向?qū)ο缶幊痰臏y試 1757.4.5  面向?qū)ο蟮膯卧獪y試 1767.4.6  面向?qū)ο蟮募蓽y試 1767.4.7  面向?qū)ο蟮南到y(tǒng)測試 1767.5  典型應用分析 177本章小結(jié) 183習題7 184第8章  軟件維護 1858.1  軟件維護的基本概念 1858.1.1  軟件維護的定義 1868.1.2  軟件維護的分類 1868.2  軟件維護的特點及過程 1878.2.1  影響軟件維護的因素 1878.2.2  軟件維護的標準化 1888.2.3  軟件維護的特點 1898.2.4  軟件維護過程 1908.3  軟件的可維護性 1928.3.1  軟件可維護性的定義 1928.3.2  軟件可維護性的度量及評估 1928.3.3  提高軟件可維護性的方法 195本章小結(jié) 196習題8 196第9章  軟件項目計劃與管理 1979.1  成本估計 1999.1.1  項目成本估計的基本要素與模式 2009.1.2  軟件開發(fā)成本估算的常用方法 2039.1.3  軟件成本估算的經(jīng)驗模型 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)絡與關(guān)鍵路徑 2279.4.4  項目進度跟蹤與控制 2299.5  風險管理 2309.5.1  風險識別與分類 2319.5.2  風險評估與分析 2339.5.3  風險策劃與管理 2359.5.4  風險規(guī)避與監(jiān)控 2379.6  軟件質(zhì)量 2389.6.1  軟件質(zhì)量特性與度量 2409.6.2  軟件質(zhì)量體系與控制 2459.6.3  軟件質(zhì)量保證與評審 2479.6.4  軟件配置項及其管理 2509.7  軟件工程標準 2539.7.1  軟件工程標準化及其意義 2539.7.2  軟件工程標準的類型與層次 2549.7.3  軟件質(zhì)量標準與認證 2589.7.4  軟件文檔標準化 260本章小結(jié) 263習題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)點與風險 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的應用 28110.5.1  基于CMM的估價方法 28110.5.2  軟件過程評估及軟件能力評價 28310.5.3  軟件過程改進 28510.5.4  使用CMM 28710.5.5  CMM實施工具 288本章小結(jié) 290習題10 291第11章  軟件的可靠性 29211.1  軟件可靠性基本概念 29211.1.1  軟件可靠性定義 29211.1.2  軟件可靠性的主要指標 29311.1.3  軟件生存期與軟件壽命 29311.2  軟件可靠性評估 29411.2.1  軟件可靠性模型 29411.2.2  估算軟件中錯誤的方法 29611.3  軟件可靠性技術(shù) 29811.3.1  算法模型化 29811.3.2  軟件容錯技術(shù) 299本章小結(jié) 301習題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習題12 311參考文獻 312