軟件工程總結(jié)

第一章軟件工程學(xué)概述軟件危機(jī)：是指在計(jì)算機(jī)軟件的開發(fā)和維護(hù)過(guò)程中所遇到的一系列嚴(yán)重問題。軟件危機(jī)包含下述兩方面的問題：如何開發(fā)軟件，以滿足對(duì)軟件日益增長(zhǎng)的需求；如何維護(hù)數(shù)量不斷膨脹的已有軟件。典型表現(xiàn)：（1）對(duì)軟件開發(fā)成本和進(jìn)度的估計(jì)常常很不準(zhǔn)確；（2）用戶對(duì)“已完成的”軟件系統(tǒng)不滿意的現(xiàn)象經(jīng)常發(fā)生；（3）軟件產(chǎn)品的質(zhì)量往往靠不?。唬?）軟件常常是不可維護(hù)的；（5）軟件通常沒有適當(dāng)?shù)奈臋n資料；（6）軟件成本在計(jì)算機(jī)系統(tǒng)總成本中所占的比例逐年上升；（7）軟件開發(fā)生產(chǎn)率提高的速度，遠(yuǎn)遠(yuǎn)跟不上計(jì)算機(jī)應(yīng)用迅速普及深入的趨勢(shì)；原因：一方面與軟件本身的特點(diǎn)有關(guān)，另一方面也和軟件開發(fā)與維護(hù)的方法不正確有關(guān)；生命周期：一個(gè)軟件從定義、開發(fā)、使用和維護(hù)，知道最終被廢棄所經(jīng)歷的漫長(zhǎng)的時(shí)期；軟件是程序、數(shù)據(jù)及相關(guān)文檔的完整集合。其中，程序是能夠完成預(yù)定功能和性能的可執(zhí)行的指令序列；數(shù)據(jù)是使程序能夠適當(dāng)?shù)靥幚硇畔⒌臄?shù)據(jù)結(jié)構(gòu)；文檔是開發(fā)、使用和維護(hù)程序所需要的圖文資料；軟件工程的本質(zhì)特性：軟件工程關(guān)注于大型程序的構(gòu)造；軟件工程的中心課題是控制復(fù)雜性；軟件經(jīng)常變化；開發(fā)軟件的效率非常重要；和諧地合作是開發(fā)軟件的關(guān)鍵；軟件必須有效地支持它的用戶；在軟件工程領(lǐng)域中通常由具有一種文化背景的人替具有另一種文化背景的人創(chuàng)造產(chǎn)品；軟件工程方法學(xué)包含3個(gè)要素：方法、工具和過(guò)程。其中方法是完成軟件開發(fā)的各項(xiàng)任務(wù)的技術(shù)方法，回答“怎樣做”的問題；工具是為運(yùn)用方法而提供的自動(dòng)的或半自動(dòng)的軟件工程支撐環(huán)境；過(guò)程是為了獲得高質(zhì)量的軟件所需要完成的一系列任務(wù)的框架，它規(guī)定了完成各項(xiàng)任務(wù)的步驟；軟件生命周期由軟件定義、軟件開發(fā)和運(yùn)行維護(hù)3個(gè)時(shí)期組成；軟件定義時(shí)期的任務(wù)是：確定軟件開發(fā)工程必須完成的總目標(biāo)；確定工程的可行性；導(dǎo)出實(shí)現(xiàn)工程目標(biāo)應(yīng)該采用的策略及系統(tǒng)必須完成的工程；估計(jì)完成該項(xiàng)工程需要的資源和成本，并且指定工程進(jìn)度表。劃分為3個(gè)階段，即問題定義、可行性研究和需求分析；開發(fā)時(shí)期具體設(shè)計(jì)和實(shí)現(xiàn)在前一個(gè)時(shí)期定義的軟件，它由4個(gè)階段組成：總體設(shè)計(jì)，詳細(xì)設(shè)計(jì)，編碼和單元測(cè)試，綜合測(cè)試。其中前兩個(gè)階段又稱為系統(tǒng)設(shè)計(jì)，后兩個(gè)階段又稱為系統(tǒng)實(shí)現(xiàn)；維護(hù)時(shí)期的主要任務(wù)是使軟件持久地滿足用戶的需要。問題定義：必須回答的關(guān)鍵問題：“要解決的問題是什么？”，通過(guò)對(duì)客戶的訪問調(diào)查，系統(tǒng)分析員扼要地寫出關(guān)于問題性質(zhì)、工程目標(biāo)和工程規(guī)模的書面報(bào)告，經(jīng)過(guò)討論和必要的修改之后這份報(bào)告應(yīng)該得到客戶的確認(rèn)；可行性研究：回答的關(guān)鍵問題：“對(duì)于上一個(gè)階段所確定的問題有行得通的解決方法嗎？”需求分析：“為了解決這個(gè)問題，目標(biāo)系統(tǒng)必須做什么”、總體設(shè)計(jì)：“概括地說(shuō)，應(yīng)該怎樣實(shí)現(xiàn)目標(biāo)系統(tǒng)？”詳細(xì)設(shè)計(jì)：“應(yīng)該怎樣具體地實(shí)現(xiàn)這個(gè)系統(tǒng)？”編碼和單元測(cè)試：寫出正確的容易理解、容易維護(hù)的程序模塊；綜合測(cè)試：集成測(cè)試，驗(yàn)收測(cè)試；軟件維護(hù)：通過(guò)各種必要的維護(hù)活動(dòng)使系統(tǒng)持久地滿足用戶的需要；為了改正軟件系統(tǒng)中潛藏的錯(cuò)誤而進(jìn)行的維護(hù)活動(dòng)稱為：糾錯(cuò)性維護(hù)；為了適應(yīng)軟件運(yùn)行環(huán)境的變化而修改軟件的活動(dòng)稱為：適應(yīng)性維護(hù)；根據(jù)用戶在軟件使用過(guò)程中提出的建設(shè)性意見而進(jìn)行的維護(hù)活動(dòng)稱為：改善性維護(hù)；為了進(jìn)一步改善軟件系統(tǒng)的可維護(hù)性和可靠性，并為以后的改進(jìn)奠定基礎(chǔ)的軟件維護(hù)稱為：預(yù)防性維護(hù)；軟件過(guò)程：是為了獲得高質(zhì)量軟件所需要完成的一系列任務(wù)的框架，它規(guī)定了完成各項(xiàng)任務(wù)的工作步驟；瀑布模型快速原型模型增量模型螺旋模型噴泉模型螺旋模型的適應(yīng)場(chǎng)合有哪些？適應(yīng)場(chǎng)合：支持需求不明確、特別是大型軟件系統(tǒng)的開發(fā)，并支持面向規(guī)格說(shuō)明、面向過(guò)程、面向?qū)ο蟮榷喾N軟件開發(fā)方法，是一種具有廣闊前景的模型。原型法模型一般適應(yīng)哪些場(chǎng)合？它適合于那些不能預(yù)先確切定義需求的軟件系統(tǒng)的開發(fā)，更適合于那些項(xiàng)目組成員（包括分析員、設(shè)計(jì)員、程序員和用戶）不能很好交流或通信有困難的情況。人機(jī)界面的風(fēng)格大致經(jīng)過(guò)了4代的演變：第一代命令和詢問方式；第二代簡(jiǎn)單的菜單式；第三代是面向窗口的點(diǎn)選界面；第四代自然語(yǔ)言；第二章可行性研究目的：用最小的代價(jià)在盡可能短的時(shí)間內(nèi)確定問題是否能得到解決；任務(wù)：首先需要進(jìn)行概要的分析研究，初步確定項(xiàng)目的規(guī)模和目標(biāo)，確定項(xiàng)目的約束和限制，把他們清楚地列舉出來(lái)。然后，分析員進(jìn)行簡(jiǎn)要的需求分析，抽象出該項(xiàng)目的邏輯結(jié)構(gòu)，建立邏輯模型。從邏輯模型出發(fā)，經(jīng)過(guò)壓縮的設(shè)計(jì)，探索出若干種可供選擇的主要解決方法，對(duì)每種解決方法都要研究它的可行性，可從以下三個(gè)方面分析研究每種解決方法的可行性。（1）技術(shù)可行性：對(duì)要開發(fā)項(xiàng)目的功能、性能、限制條件進(jìn)行分析，確定在現(xiàn)有的資源條件下，技術(shù)風(fēng)險(xiǎn)有多大，項(xiàng)目是否能實(shí)現(xiàn)。（2）經(jīng)濟(jì)可行性：進(jìn)行開發(fā)成本的估算以及了解取得效益的評(píng)估，確定要開發(fā)的項(xiàng)目是否值得投資開發(fā)。（3）社會(huì)可行性：要開發(fā)的項(xiàng)目是否存在任何侵犯、妨礙等責(zé)任問題，要開發(fā)項(xiàng)目的運(yùn)行方式在用戶組織內(nèi)是否行得通，現(xiàn)有管理制度、人員素質(zhì)、操作方式是否可行系統(tǒng)路程圖：是概括地描繪物理系統(tǒng)的傳統(tǒng)工具。數(shù)據(jù)流圖（DFD）：描繪信息流和數(shù)據(jù)從輸入移動(dòng)到輸出的過(guò)程中所經(jīng)受的變換。是系統(tǒng)邏輯功能的圖形表示（正方形（或立方體）表示數(shù)據(jù)的原點(diǎn)或終點(diǎn)；圓角矩形（或圓形）代表變換數(shù)據(jù)的處理；開口矩形（或兩條平行橫線）代表數(shù)據(jù)存儲(chǔ)；箭頭表示數(shù)據(jù)流，即特定數(shù)據(jù)的流動(dòng)方向。）數(shù)據(jù)流圖的基本要點(diǎn)是描繪“做什么”，而不考慮“怎樣做”；目的是利用它作為交流信息的工具；另一個(gè)主要用途是作為分析和設(shè)計(jì)的工具；數(shù)據(jù)流圖簡(jiǎn)稱DFD，是SA方法中用于表示系統(tǒng)邏輯模型的一種工具。它以圖形的方式描述數(shù)據(jù)在系統(tǒng)中流動(dòng)和處理的過(guò)程，由于它只反映系統(tǒng)必須完成的邏輯功能，所以它是一種功能模型（5分）。數(shù)據(jù)流圖有四種基本圖形符號(hào)：“?”箭頭表示數(shù)據(jù)流；“O”圓或橢圓表述加工；“=”雙杠表示數(shù)據(jù)存儲(chǔ)；“口”方框表示數(shù)據(jù)的源點(diǎn)或終點(diǎn)。數(shù)據(jù)字典：是關(guān)于數(shù)據(jù)的信息的集合。數(shù)據(jù)流圖和數(shù)據(jù)字典共同構(gòu)成系統(tǒng)的邏輯模型；數(shù)據(jù)字典由下列4類元素的定義組成：數(shù)據(jù)流、數(shù)據(jù)流分量(即數(shù)據(jù)元素)、數(shù)據(jù)存儲(chǔ)和處理；數(shù)據(jù)字典(簡(jiǎn)稱DD)是用來(lái)定義數(shù)據(jù)流圖中的各個(gè)成分的具體含義的，它以一種準(zhǔn)確的、無(wú)二義性的說(shuō)明方式為系統(tǒng)的分析、設(shè)計(jì)及維護(hù)提供了有關(guān)元素的一致的定義和詳細(xì)的描述。他和數(shù)據(jù)流圖共同構(gòu)成了系統(tǒng)的邏輯模型，是需求規(guī)格說(shuō)明書的主要組成部分。數(shù)據(jù)字典是為分析人員查找數(shù)據(jù)流圖中有關(guān)名字的詳細(xì)定義而服務(wù)的，因此也像普通字典一樣，要把所有條目按一定的次序排列起來(lái)，以便查閱。數(shù)據(jù)字典有以下四類條目：數(shù)據(jù)流、數(shù)據(jù)項(xiàng)、數(shù)據(jù)存儲(chǔ)、基本加工。數(shù)據(jù)項(xiàng)是組成數(shù)據(jù)流和數(shù)據(jù)存儲(chǔ)的最小元素。源點(diǎn)、終點(diǎn)不在系統(tǒng)之內(nèi)，故一般不在字典中說(shuō)明。第三章需求分析基本任務(wù)：是要準(zhǔn)確的定義新系統(tǒng)的目標(biāo)，為了滿足用戶需要，回答系統(tǒng)必須“做什么”的問題。本階段要進(jìn)行以下幾方面的工作：(1)問題識(shí)別。雙方確定對(duì)問題的綜合需求，這些需求包括：功能需求、性能需求、環(huán)境需求、用戶界面需求，另外還有可靠性、安全性、保密性、可移植性、可維護(hù)性等方面的需求。(2)分析與綜合,導(dǎo)出軟件的邏輯模型。分析人員對(duì)獲取的需求，進(jìn)行一致性的分析檢查，在分析、綜合中逐步細(xì)化軟件功能，劃分成各個(gè)子功能。這里也包括對(duì)數(shù)據(jù)域進(jìn)行分解，并分配到各個(gè)子功能上，以確定系統(tǒng)的構(gòu)成及主要成份，并用圖文結(jié)合的形式，建立起新系統(tǒng)的邏輯模型。(3)編寫文檔。編寫“需求規(guī)格說(shuō)明書”、編寫初步用戶使用手冊(cè)、編寫確認(rèn)測(cè)試計(jì)劃、修改完善軟件開發(fā)計(jì)劃實(shí)體聯(lián)系圖(ER圖)：包含了實(shí)體(即數(shù)據(jù)對(duì)象)、關(guān)系和屬性3種基本成分，通常用矩形框代表實(shí)體，用連接相關(guān)實(shí)體的菱形框表示關(guān)系，用橢圓形或圓角矩形表示實(shí)體(或關(guān)系)的屬性，并用直線把實(shí)體(或關(guān)系)與其屬性連接起來(lái)；狀態(tài)轉(zhuǎn)換圖：通過(guò)描繪系統(tǒng)的狀態(tài)及引起系統(tǒng)狀態(tài)轉(zhuǎn)換的事件來(lái)表示系統(tǒng)的行為；狀態(tài)圖中定義的狀態(tài)主要有：初態(tài)，終態(tài)，中間狀態(tài)；初態(tài)只能有一個(gè)，終態(tài)則可有0至多個(gè)；初態(tài)用實(shí)心圓表示，終態(tài)用一對(duì)同心圓(內(nèi)圓為實(shí)心圓)表示；中間狀態(tài)用圓角矩形表示，可以用兩條水平橫線把它分成上、中、下3各部分；上面部分為狀態(tài)的名稱；這部分是必須有的。中間部分為狀態(tài)變量的名字和值，是可選的；下面部分是活動(dòng)表，是可選的；IPO圖：是輸入、處理、輸出圖的簡(jiǎn)稱。第四章形式化說(shuō)明技術(shù)按照形式化的程度，可以把軟件工程使用的方法劃分成非形式化、半形式化和形式化3類；用自然語(yǔ)言描述需求規(guī)格說(shuō)明，是典型的非形式化方法。用數(shù)據(jù)流圖或?qū)嶓w-聯(lián)系圖簡(jiǎn)歷模型，是典型的半形式化方法。所為的形式化方法，是描述系同性質(zhì)的基于數(shù)學(xué)的技術(shù)，也就是說(shuō)，如果一種方法有堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ)，那么它就是形式化的；Petri網(wǎng)：一組位置P、一組轉(zhuǎn)換T、輸入函數(shù)I以及輸出函數(shù)0第五章總體設(shè)計(jì)典型的總體設(shè)計(jì)過(guò)程包括下述9個(gè)步驟：1.設(shè)想供選擇的方案。2.選取合理的方案。3.推薦最佳方案。4.功能分解。5.設(shè)計(jì)軟件結(jié)構(gòu)。6.設(shè)計(jì)數(shù)據(jù)庫(kù)。7.制定測(cè)試計(jì)劃。8.書寫文檔。9.審查和復(fù)審。對(duì)每個(gè)合理的方案分析員都應(yīng)該準(zhǔn)備下列4份資料：(1)系統(tǒng)流程圖；(2)組成系統(tǒng)的物理元素清單；(3)成本/效益分析；(4)實(shí)現(xiàn)這個(gè)系統(tǒng)的進(jìn)度計(jì)劃。在這個(gè)階段應(yīng)該完成的文檔通常有下述幾種：(1)系統(tǒng)說(shuō)明；(2)用戶手冊(cè)；(3)測(cè)試計(jì)劃；(4)詳細(xì)的實(shí)現(xiàn)計(jì)劃；(5)數(shù)據(jù)庫(kù)設(shè)計(jì)結(jié)果；概要設(shè)計(jì)階段的基本任務(wù)：⑴設(shè)計(jì)軟件系統(tǒng)結(jié)構(gòu)(軟件結(jié)構(gòu))：①采用某種設(shè)計(jì)方法，將一個(gè)復(fù)雜的系統(tǒng)按功能劃分成模塊。②確定每個(gè)模塊的功能。③確定模塊之間的調(diào)用關(guān)系。④確定模塊之間的接口，即模塊之間傳遞的信息。⑤評(píng)價(jià)模塊結(jié)構(gòu)的質(zhì)量。⑵數(shù)據(jù)結(jié)構(gòu)及數(shù)據(jù)庫(kù)設(shè)計(jì)。⑶編寫概要設(shè)計(jì)文檔。主要有：概要設(shè)計(jì)說(shuō)明書；數(shù)據(jù)庫(kù)設(shè)計(jì)說(shuō)明書；用戶手冊(cè)；修訂測(cè)試計(jì)劃。⑷評(píng)審模塊的獨(dú)立程度由兩個(gè)定性標(biāo)準(zhǔn)度量：內(nèi)聚和耦合；耦合衡量不同模塊彼此互相依賴（連接）的緊密程度；內(nèi)聚衡量一個(gè)模塊內(nèi)部各個(gè)元素彼此結(jié)合的緊密程度；數(shù)據(jù)耦合是低耦合，控制耦合是中等程度的耦合，最高程度的耦合是內(nèi)容耦合；發(fā)生內(nèi)容耦合的情況：一個(gè)模塊訪問另一個(gè)模塊的內(nèi)部數(shù)據(jù)；一個(gè)模塊不通過(guò)正常入口而轉(zhuǎn)換到另一個(gè)模塊的內(nèi)部；兩個(gè)模塊有一部分程序代碼重疊（只可能出現(xiàn)在匯編程序中）；一個(gè)模塊有多個(gè)入口；堅(jiān)決避免使用內(nèi)容耦合；內(nèi)聚標(biāo)志著一個(gè)模塊內(nèi)各個(gè)元素彼此結(jié)合的緊密程度，設(shè)計(jì)時(shí)琉球做到高內(nèi)聚，功能內(nèi)聚是最高程度的內(nèi)聚；深度表示軟件結(jié)構(gòu)中控制的層數(shù)；寬度是軟件結(jié)構(gòu)內(nèi)同一個(gè)層次上的模塊總數(shù)的最大值；扇出是一個(gè)模塊直接控制（調(diào)用）的模塊數(shù)目；平均扇出通常是3或4；第六章詳細(xì)設(shè)計(jì)描述程序處理過(guò)程的工具稱為過(guò)程設(shè)計(jì)的工具，分為圖形、表格和語(yǔ)言3類；程序流程圖又稱為程序框圖：五種基本控制結(jié)構(gòu)：判定表：4部分組成，左上部列出所有條件，左下部是所有可能做的動(dòng)作，右上部表示各種條件組合的一個(gè)矩陣，右下部是和每種條件組合相對(duì)應(yīng)的動(dòng)作；右半部的每一列實(shí)質(zhì)是一條規(guī)則，規(guī)定了與特定的條件組合相對(duì)應(yīng)的動(dòng)作；Jackson方法和Warnier方法是最著名的兩個(gè)面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)方法；Jackson圖：數(shù)據(jù)元素彼此間的邏輯關(guān)系：順序、選擇、重復(fù)3種結(jié)構(gòu)；程序復(fù)雜度度量：McCabe方法和Halstead方法；McCabe方法：環(huán)形復(fù)雜度：V(G)=E-N+2,其中E是流圖中邊的條數(shù)，N是結(jié)點(diǎn)數(shù)；V(G)=P+1,其中P是流圖中判定結(jié)點(diǎn)的數(shù)目；程序的環(huán)形復(fù)雜度取決于程序控制流的復(fù)雜程度，即取決于程序結(jié)構(gòu)的復(fù)雜程度，實(shí)踐表明，模塊規(guī)模以V(G)小于等于10為宜；第七章實(shí)現(xiàn)實(shí)現(xiàn)：通常把編碼和測(cè)試統(tǒng)稱為實(shí)現(xiàn)；黑盒測(cè)試：測(cè)試產(chǎn)品的每個(gè)功能是否能正常使用；白盒測(cè)試：測(cè)試產(chǎn)品內(nèi)部動(dòng)作是否按照規(guī)格說(shuō)明書的規(guī)定正常進(jìn)行；白盒測(cè)試：1邏輯覆蓋：語(yǔ)句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋、點(diǎn)覆蓋、邊覆蓋、路徑覆蓋2控制結(jié)構(gòu)測(cè)試：基本路徑測(cè)試、條件測(cè)試、循環(huán)測(cè)試黑盒測(cè)試：1等價(jià)劃分2邊界值分析3錯(cuò)誤推測(cè)非漸增式測(cè)試與漸增式測(cè)試有什么區(qū)別？答：非漸增式測(cè)試與漸增式測(cè)試的測(cè)試方法有以下區(qū)別：(1)非漸增式測(cè)試方法把單元測(cè)試和集成測(cè)試分成兩個(gè)不同的階段，前一階段完成模塊的單元測(cè)試，后一階段完成集成測(cè)試。而漸增式測(cè)試往往把單元測(cè)試與集成測(cè)試和在一起，同時(shí)完成。(2)非漸增式需要更多的工作量，因?yàn)槊總€(gè)模塊都需要驅(qū)動(dòng)模塊和樁模塊，而漸增式利用已測(cè)試過(guò)的模塊作為驅(qū)動(dòng)模塊