軟件工程（第2版）

第1篇  軟件、軟件工程與軟件工程模式      第1章  軟件和軟件工程      1.1  軟件    1.1.1  軟件的含義    1.1.2  軟件的特點(diǎn)    1.1.3  軟件的種類    1.1.4  軟件危機(jī)    1.2  軟件工程    1.2.1  軟件工程的定義    1.2.2  軟件工程的發(fā)展和問(wèn)題    第2章  軟件工程模式     2.1  瀑布模型    2.2  原型開發(fā)模型    2.3  螺旋模型    2.4  四代技術(shù)    2.5  混合模型    2.6  面向?qū)ο笊嫫谀Ｐ?nbsp;   2.7  統(tǒng)一的軟件開發(fā)過(guò)程    2.7.1  用例驅(qū)動(dòng)    2.7.2  以體系結(jié)構(gòu)為中心    2.7.3  迭代和增量開發(fā)    2.8  基于構(gòu)件的軟件開發(fā)    2.8.1  軟件構(gòu)件技術(shù)    2.8.2  軟件體系結(jié)構(gòu)    2.8.3  領(lǐng)域工程    2.8.4  再生工程    2.8.5  開放系統(tǒng)技術(shù)    2.8.6  軟件開發(fā)過(guò)程    2.8.7  CASE技術(shù)    2.8.8  非技術(shù)因素    第2篇  軟件開發(fā)方法    第3章  結(jié)構(gòu)化開發(fā)方法     3.1  需求與需求分析    3.1.1  分析任務(wù)和分析員    3.1.2  問(wèn)題域    3.1.3  溝通技術(shù)    3.1.4  分析原理    3.1.5  規(guī)格說(shuō)明    3.1.6  規(guī)格說(shuō)明評(píng)審    3.2  結(jié)構(gòu)化分析    3.2.1  基本符號(hào)及其擴(kuò)充    3.2.2  結(jié)構(gòu)化分析方法    3.2.3  數(shù)據(jù)字典    3.3  設(shè)計(jì)原理    3.3.1  軟件設(shè)計(jì)的重要性    3.3.2  設(shè)計(jì)過(guò)程    3.3.3  設(shè)計(jì)基本原理    3.3.4  模塊化設(shè)計(jì)    3.3.5  數(shù)據(jù)設(shè)計(jì)    3.3.6  體系結(jié)構(gòu)設(shè)計(jì)    3.3.7  過(guò)程設(shè)計(jì)    3.3.8  設(shè)計(jì)規(guī)格說(shuō)明    3.4  面向數(shù)據(jù)流的設(shè)計(jì)    3.4.1  結(jié)構(gòu)圖    3.4.2  數(shù)據(jù)流的類型    3.4.3  從數(shù)據(jù)流圖到程序結(jié)構(gòu)圖的轉(zhuǎn)換    3.4.4  設(shè)計(jì)步驟    3.4.5  設(shè)計(jì)的后處理    3.5  面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)    3.5.1  Jackson 的結(jié)構(gòu)圖解和圖解邏輯    3.5.2  WarnierOrr圖    3.5.3  Jackson 開發(fā)方法    3.5.4  WarnierOrr 開發(fā)方法    3.6  原型開發(fā)    3.6.1  原型的定義    3.6.2  原型開發(fā)的應(yīng)用    3.6.3  原型開發(fā)的分類    3.6.4  原型開發(fā)的活動(dòng)    3.6.5  原型開發(fā)的技術(shù)    第4章  面向?qū)ο箝_發(fā)方法      4.1  面向?qū)ο蠓治雠c設(shè)計(jì)    4.1.1  面向?qū)ο蠓椒ǖ幕靖拍詈吞卣?nbsp;   4.1.2  面向?qū)ο蠓治?nbsp;   4.1.3  面向?qū)ο笤O(shè)計(jì)    4.2  Booch的面向?qū)ο蠓椒?nbsp;   4.2.1  方法    4.2.2  步驟    4.3  OMT對(duì)象建模技術(shù)    4.3.1  OMT方法使用三種模型    4.3.2  設(shè)計(jì)過(guò)程的三個(gè)步驟    4.4  統(tǒng)一的建模語(yǔ)言UML    4.4.1  UML的主要特點(diǎn)     4.4.2  UML的結(jié)構(gòu)    4.4.3  UML的模型圖    4.4.4  系統(tǒng)體系結(jié)構(gòu)    4.5  Rational統(tǒng)一過(guò)程    4.5.1  動(dòng)態(tài)結(jié)構(gòu)     4.5.2  靜態(tài)結(jié)構(gòu)     4.5.3  以體系結(jié)構(gòu)為中心的過(guò)程     4.5.4  用例驅(qū)動(dòng)的過(guò)程    4.5.5  過(guò)程工作流    4.6  實(shí)例：課程登記系統(tǒng)    4.6.1  問(wèn)題描述    4.6.2  分析    4.6.3  設(shè)計(jì)    第5章  形式化開發(fā)方法     5.1  Petri網(wǎng)    5.1.1  Petri網(wǎng)的定義    5.1.2  Petri網(wǎng)的基本原理    5.1.3  建模實(shí)例    5.1.4  特性分析    5.1.5  Petri網(wǎng)的特性分析方法    5.1.6  改進(jìn)Petri網(wǎng)及其應(yīng)用    5.1.7  時(shí)間網(wǎng)和隨機(jī)網(wǎng)    5.1.8  面向?qū)ο蟪绦蛟O(shè)計(jì)方法    5.1.9  實(shí)例：應(yīng)用Petri網(wǎng)實(shí)現(xiàn)資源共享    5.2  時(shí)態(tài)邏輯    5.2.1  線性時(shí)態(tài)邏輯    5.2.2  計(jì)算樹邏輯    5.3  Z方法    5.3.1  模式的基本概念    5.3.2  模式運(yùn)算    5.3.3  模式復(fù)合    5.3.4  操作模式    5.3.5  實(shí)例：圖書館數(shù)據(jù)庫(kù)管理    第3篇  質(zhì)量與質(zhì)量保證    第6章  軟件質(zhì)量與質(zhì)量保證    6.1  軟件質(zhì)量    6.1.1  軟件質(zhì)量定義    6.1.2  軟件質(zhì)量因素    6.2  軟件質(zhì)量保證    6.2.1  質(zhì)量保證策略    6.2.2  軟件質(zhì)量保證活動(dòng)    6.3  技術(shù)方法的選用    6.3.1  采用或不采用軟件工程方法    6.3.2  開發(fā)過(guò)程的選用    6.3.3  開發(fā)方法、語(yǔ)言和工具的選用    6.4  正式技術(shù)評(píng)審的實(shí)施    6.4.1  軟件缺陷的費(fèi)用影響    6.4.2  缺陷的擴(kuò)大和排除    6.4.3  正式技術(shù)評(píng)審    6.5  標(biāo)準(zhǔn)的執(zhí)行    6.5.1  ISO/IEC的軟件工程標(biāo)準(zhǔn)體系結(jié)構(gòu)框架    6.5.2  ISO/IEC 12207和ISO/IEC TR 15504    6.5.3  ISO 9000—3    6.5.4  CMM    6.6  修改的控制    6.6.1  軟件配置管理    6.6.2  基線    6.6.3  標(biāo)識(shí)    6.6.4  修改控制    6.6.5  配置審計(jì)    6.6.6  狀態(tài)報(bào)告    6.7  度量    6.7.1  傳統(tǒng)軟件的量度    6.7.2  面向?qū)ο筌浖牧慷?nbsp;   6.8  SQA小組的活動(dòng)    6.9  實(shí)例：重大失控項(xiàng)目的經(jīng)驗(yàn)與教訓(xùn)    6.9.1  可預(yù)測(cè)的和意外的失控    6.9.2  4個(gè)項(xiàng)目失控案例    第7章  軟件測(cè)試     7.1  結(jié)構(gòu)化軟件測(cè)試    7.1.1  軟件測(cè)試的目標(biāo)    7.1.2  軟件測(cè)試的原則    7.1.3  測(cè)試用例設(shè)計(jì)    7.1.4  軟件測(cè)試的過(guò)程和步驟    7.1.5  糾錯(cuò)技術(shù)    7.2  OO軟件測(cè)試    7.2.1  評(píng)審(OOA和OOD)     7.2.2  測(cè)試    7.2.3  測(cè)試用例設(shè)計(jì)    7.3  實(shí)例：微軟測(cè)試工作簡(jiǎn)介    7.3.1  微軟開發(fā)團(tuán)隊(duì)    7.3.2  對(duì)軟件測(cè)試的理解    7.3.3  關(guān)于Bug    7.3.4  軟件測(cè)試方法和輔助工具    7.3.5  相關(guān)測(cè)試文檔    7.3.6  如何與項(xiàng)目經(jīng)理和開發(fā)人員溝通    第8章  軟件維護(hù)      8.1  軟件維護(hù)的分類    8.2  軟件維護(hù)的特點(diǎn)    8.2.1  軟件工程與軟件維護(hù)的關(guān)系    8.2.2  維護(hù)費(fèi)用    8.2.3  維護(hù)中的問(wèn)題    8.3  軟件的可維護(hù)性    8.3.1  控制因素    8.3.2  定量度量    8.3.3  評(píng)審    8.4  軟件的維護(hù)任務(wù)    8.4.1  維護(hù)機(jī)構(gòu)    8.4.2  編寫報(bào)告    8.4.3  維護(hù)流程    8.4.4  記錄保存    8.4.5  評(píng)價(jià)    8.5  軟件維護(hù)的副作用    8.5.1  修改代碼的副作用    8.5.2  修改數(shù)據(jù)的副作用    8.5.3  修改文檔的副作用    8.6  維護(hù)“奇異碼”    8.7  預(yù)防性維護(hù)    第4篇  計(jì)劃與管理      第9章  軟件開發(fā)計(jì)劃與管理      9.1  軟件的目的和工作范圍    9.2  資源    9.2.1  人力資源    9.2.2  可重用軟件資源    9.2.3  環(huán)境資源    9.3  成本估算    9.3.1  成本估算方法    9.3.2  經(jīng)驗(yàn)成本估算模型    9.3.3  軟件生產(chǎn)率數(shù)據(jù)    9.3.4  基于代碼行(LOC)的成本估算方法    9.3.5  基于過(guò)程的成本估算方法    9.4  風(fēng)險(xiǎn)分析與管理    9.4.1  軟件風(fēng)險(xiǎn)    9.4.2  風(fēng)險(xiǎn)識(shí)別    9.4.3  風(fēng)險(xiǎn)設(shè)計(jì)    9.4.4  風(fēng)險(xiǎn)評(píng)價(jià)    9.4.5  風(fēng)險(xiǎn)的緩解、監(jiān)控和管理     9.5  進(jìn)度安排與跟蹤    9.5.1  交付日期的確定    9.5.2  進(jìn)度安排的基本原則    9.5.3  軟件工作的特殊性    9.5.4  工作量分配    9.5.5  進(jìn)度安排    9.5.6  時(shí)間表和項(xiàng)目表    9.5.7  進(jìn)度跟蹤    9.6  軟件項(xiàng)目組    9.7  項(xiàng)目計(jì)劃    第5篇  工具與環(huán)境      第10章  軟件開發(fā)工具與環(huán)境      10.1  軟件開發(fā)工具    10.2  軟件開發(fā)環(huán)境    10.2.1  按解決的問(wèn)題分類    10.2.2  按現(xiàn)有軟件開發(fā)環(huán)境的演化趨向分類    10.2.3  按集成化程度分類    10.3  計(jì)算機(jī)輔助軟件工程    10.3.1  ICASE集成方式    10.3.2  ICASE框架結(jié)構(gòu)    10.3.3  ICASE中心庫(kù)    10.4  實(shí)例：Ada編程支持環(huán)境    參考文獻(xiàn)