【正文】 學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 軟件維護(hù)的概念 ? 什么是軟件維護(hù) – 是指軟件系統(tǒng)交付使用以后，為了改正錯(cuò)誤或滿(mǎn)足新的需要而修改軟件的過(guò)程 ? 國(guó)標(biāo) GB/T 114572023給出如下定義 – 在一軟件產(chǎn)品交付使用后對(duì)其進(jìn)行修改，以糾正故障 。一方面是因?yàn)檐浖S護(hù)，看不到什么 “ 成果 ” ，但工作量很大，更重要的是維護(hù)工作難度大，軟件維護(hù)人員經(jīng)常遭受挫折。 ? 在維護(hù)人員對(duì)程序進(jìn)行修改的過(guò)程中，由配置管理員嚴(yán)格把關(guān)，控制修改的范圍，對(duì)軟件配置進(jìn)行審計(jì) 。 19 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 軟件維護(hù)的過(guò)程－維護(hù)組織 ? 維護(hù)團(tuán)隊(duì)根據(jù)時(shí)間的不同 ,可以分為 短期團(tuán)隊(duì) 和 長(zhǎng)期團(tuán)隊(duì) ? 短期團(tuán)隊(duì)一般是當(dāng)需要執(zhí)行相關(guān)具體任務(wù)時(shí)，臨時(shí)組織起來(lái)解決手頭的問(wèn)題 ? 長(zhǎng)期團(tuán)隊(duì)則更正式，能夠?qū)I(yè)化創(chuàng)建溝通渠道，可以管理軟件系統(tǒng)整個(gè)生存期的成功演化 ? 無(wú)論是短期團(tuán)隊(duì)還是長(zhǎng)期團(tuán)隊(duì)，都要把有經(jīng)驗(yàn)的員工和新員工混合起來(lái)。對(duì)改正性維護(hù)，用戶(hù)需要將錯(cuò)誤出現(xiàn)的現(xiàn)場(chǎng)信息詳細(xì)描述出來(lái)，包括輸入數(shù)據(jù)、錯(cuò)誤清單以及其它有關(guān)材料。對(duì)軟件可維護(hù)性影響的主要因素有：可理解性（ understandability）、可測(cè)試性（ testability）、可修改性、 modifiability）和可移植性（ portability） 28 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 軟件可維護(hù)性－主要影響因素 ? 可理解性 ：指理解軟件的結(jié)構(gòu)、接口、功能和內(nèi)部過(guò)程的難易程度。 31 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 軟件可維護(hù)性－主要影響因素 ? 可移植性 ：指程序轉(zhuǎn)移到一個(gè)新的計(jì)算環(huán)境的難易程度。在維護(hù)活動(dòng)完成后也要進(jìn)行評(píng)審。 – 在程序的開(kāi)發(fā)階段就應(yīng)保證軟件具有可理解性。 38 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 軟件可維護(hù)性－提高可維護(hù)性的方法 ? 選擇可維護(hù)性高的程序設(shè)計(jì)語(yǔ)言 – 選擇較好的程序設(shè)計(jì)語(yǔ)言對(duì)軟件維護(hù)有很大的影響。例如，cobol語(yǔ)言比 fortran語(yǔ)言更容易理解，因?yàn)閏obol的變量接近英語(yǔ)； pl/1比 cobol更容易理解，因?yàn)?pl/1有更豐富、更強(qiáng)的語(yǔ)言集等 39 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 軟件可維護(hù)性－提高可維護(hù)性的方法 ? 改進(jìn)程序文檔 – 程序文檔對(duì)提高程序的可理解性有著重要的作用。 40 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 軟件可維護(hù)性－提高可維護(hù)性的方法 ? 進(jìn)行質(zhì)量保證審查 – 除了保證軟件得到適當(dāng)?shù)馁|(zhì)量外，審查還可以用來(lái)檢測(cè)在開(kāi)發(fā)和維護(hù)階段內(nèi)發(fā)生的質(zhì)量變化。如把 C++ 程序轉(zhuǎn)換成 Java程序 ? 設(shè)計(jì)恢復(fù)（ design recovery） ：指借助工具從已有程序中抽象出有關(guān)數(shù)據(jù)結(jié)構(gòu)設(shè)計(jì)、總體結(jié)構(gòu)設(shè)計(jì)和過(guò)程設(shè)計(jì)的信息。 45 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 再工程的概念 ? 通常再工程包含： 業(yè)務(wù)過(guò)程再工程 、 軟件再工程 – 業(yè)務(wù)過(guò)程再工程 （ BPR—— Business Process Reengineering，也稱(chēng)業(yè)務(wù)過(guò)程重組）定義業(yè)務(wù)目標(biāo)、標(biāo)示并評(píng)估現(xiàn)有的業(yè)務(wù)過(guò)程以及修訂業(yè)務(wù)過(guò)程以更好滿(mǎn)足業(yè)務(wù)目標(biāo)，這一部分通常由咨詢(xún)公司的業(yè)務(wù)專(zhuān)家完成 – 軟件再工程 包含庫(kù)存目錄分析、文檔重構(gòu)、逆向工程、程序和數(shù)據(jù)重構(gòu)以及正向工程。 47 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 業(yè)務(wù)過(guò)程再工程 ? 每個(gè)系統(tǒng)都是由不同的子系統(tǒng)構(gòu)成，而子系統(tǒng)還可以再細(xì)分為更細(xì)的子系統(tǒng)，從而整個(gè)業(yè)務(wù)呈現(xiàn)一種層次結(jié)構(gòu) 業(yè)務(wù) 業(yè)務(wù)系統(tǒng) 業(yè)務(wù)過(guò)程 業(yè)務(wù)子過(guò)程 業(yè)務(wù)層次 48 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 業(yè)務(wù)過(guò)程再工程 ? 在理想情況下， BPR應(yīng)該自頂向下地進(jìn)行，從標(biāo)示主要的業(yè)務(wù)目標(biāo)或子目標(biāo)開(kāi)始，而以生成業(yè)務(wù)（子）過(guò)程中每個(gè)任務(wù)的詳細(xì)的規(guī)約結(jié)束 ? 對(duì)一個(gè)業(yè)務(wù)過(guò)程進(jìn)行再工程需要服從一定的原則。整個(gè)業(yè)務(wù)過(guò)程再工程模型可用下圖表示 業(yè)務(wù)定義 過(guò)程標(biāo)識(shí) 過(guò)程評(píng)估 過(guò)程規(guī)約 和設(shè)計(jì) 原型實(shí)現(xiàn) 求精和實(shí)例化 51 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 業(yè)務(wù)過(guò)程再工程 ? 軟件規(guī)模的擴(kuò)大導(dǎo)致出現(xiàn)軟件的管理、質(zhì)量等一些嚴(yán)重的問(wèn)題，人們開(kāi)始尋找軟件業(yè)中的銀彈。 BRP不是銀彈，當(dāng)然 BRP確實(shí)可以提高軟件的質(zhì)量。如果一個(gè)程序是相對(duì)穩(wěn)定的，而且可能不會(huì)再經(jīng)歷什么變化，那么，讓它保持現(xiàn)狀。 56 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 軟件再工程過(guò)程 ? 代碼重構(gòu) – 某些老程序具有比較完整、合理的體系結(jié)構(gòu)，但是，個(gè)體模塊的編碼方式卻是難于理解、測(cè)試和維護(hù)的。最后，復(fù)審和測(cè)試生成的重構(gòu)代碼 (以保證沒(méi)有引入異常 )并更新代碼文檔。在大多數(shù)情況下，被再工程的軟件不僅重新實(shí)現(xiàn)現(xiàn)有系統(tǒng)的功能，而且加入了新功能和提高了整體性能。 ? 逆向工程來(lái)源于硬件世界。但在很多時(shí)候，軟件的逆向工程并不是針對(duì)競(jìng)爭(zhēng)對(duì)手的，而是針對(duì)自己公司多年前的產(chǎn)品。如代碼重構(gòu)任務(wù)，只需獲得實(shí)現(xiàn)級(jí)信息即可。其中對(duì)內(nèi)部的數(shù)據(jù)結(jié)構(gòu)的逆向工程可以通過(guò)檢查程序代碼以及變量來(lái)完成；而對(duì)數(shù)據(jù)庫(kù)結(jié)構(gòu)的重構(gòu)可通過(guò)建立一個(gè)初始的對(duì)象模型，確定侯選鍵，精化實(shí)驗(yàn)性的類(lèi)，定義一般化，以及發(fā)現(xiàn)關(guān)聯(lián)來(lái)完成。這類(lèi)方法一般可產(chǎn)生模塊的略圖（ outline）、流程圖和交叉訪(fǎng)問(wèn)表。領(lǐng)域知識(shí)用規(guī)則庫(kù)表示，用已確定或假定的領(lǐng)域概念與代碼之間的對(duì)應(yīng)關(guān)系，推導(dǎo)進(jìn)一步的假設(shè)，最后導(dǎo)出程序的功能。 65 演講完畢，謝謝觀看！