華南理工大學(xué)軟件工程復(fù)習(xí)要點

1、華南理工大學(xué)軟件工程復(fù)習(xí)要點概述軟件：程序+相關(guān)文檔和配置信息通用軟件，定制產(chǎn)品軟件工程一計算機(jī)科學(xué)/系統(tǒng)工程軟件過程：1.軟件描述2.軟件開發(fā)3.軟件有效性驗證4.軟件進(jìn)化軟件過程模型：1.工作流模型2.數(shù)據(jù)流或活動模型3.角色/動作模型（從特定角度提出軟件過程的簡化描述）瀑布模型開發(fā)方法2.進(jìn)化式開發(fā)方法3.形式化轉(zhuǎn)換4.基于可復(fù)用的組件的系統(tǒng)組合 軟件成本軟件工程方法統(tǒng)一建模語言UMLCASE工具職業(yè)道德1.機(jī)密2.工作能力3.知識產(chǎn)權(quán)4.計算機(jī)濫用第三章軟件過程軟件描述軟件設(shè)計和實現(xiàn)軟件有效性驗證軟件進(jìn)化軟件過程模型瀑布模型：需求定義和分析；系統(tǒng)和軟件設(shè)計；實現(xiàn)和單元測試；集成和系統(tǒng)測

2、試；運行和維護(hù) 進(jìn)化式開發(fā)：探索式開發(fā)；拋棄式原型。存在的三個問題：過程不可見，系統(tǒng)結(jié)構(gòu)通常較差，特殊工具和技術(shù)的使用 形式化系統(tǒng)開發(fā)：用形式化數(shù)學(xué)轉(zhuǎn)換來將系統(tǒng)描述轉(zhuǎn)換成一個可執(zhí)行程序。與瀑布模型之間的本質(zhì)區(qū)別：軟件需求描述被精煉成一個用數(shù)學(xué)符號表達(dá)的詳細(xì)的形式化描述設(shè)計、實現(xiàn)和單元測試的開發(fā)過程被一個轉(zhuǎn)換的開發(fā)過程所替代，在這個轉(zhuǎn)換的開發(fā)過程 中，形式化描述經(jīng)過一系列轉(zhuǎn)換變成一個可執(zhí)行程序。面向復(fù)用的開發(fā)：1.組件分析2.需求修改3.使用復(fù)用的系統(tǒng)設(shè)計4.開發(fā)和集成過程反復(fù)混合模型增量式開發(fā)；螺旋式開發(fā)。增量式開發(fā)：瀑布模型的優(yōu)勢在于其簡單的管理模型以及設(shè)計和實現(xiàn)的分離，這使得系統(tǒng)是魯棒的、

3、容易 修改的。進(jìn)化式開發(fā)允許需求和設(shè)計決策的延遲，但是也導(dǎo)致了軟件的較差結(jié)構(gòu)和難以理解 和維護(hù)。增量式開發(fā)是一個結(jié)合這兩個模型的優(yōu)點的綜合方法。目的：減少返工好處：客戶無需等到整個系統(tǒng)的實現(xiàn)。（就可以使用）客戶可以將早期的增量作為原型，從中獲得對后面系統(tǒng)增量的需求經(jīng)驗。項目總體失敗的風(fēng)險比較低。重要的系統(tǒng)服務(wù)肯定接受了最多的測試，客戶不太可能遇到失敗。螺旋式開發(fā)：每個回路被分成四個部分 目標(biāo)設(shè)置風(fēng)險評估和規(guī)避開發(fā)和有效性驗證規(guī)劃特點：明確的風(fēng)險考慮軟件描述軟件設(shè)計和實現(xiàn)據(jù)流模型2.實體-關(guān)系模型 3.結(jié)構(gòu)化模型 4.面向?qū)ο蠓椒ㄕ{(diào)試過程：錯位定位，設(shè)計錯誤修復(fù)，程序錯誤修復(fù)，程序重測軟件有效性

4、驗證統(tǒng)上下文是一個靜態(tài)模型，描述環(huán)境中的其他系統(tǒng)。系統(tǒng)使用模型是一個動態(tài)模型，描述系統(tǒng)實際上是如何與環(huán)境交互的。體系結(jié)構(gòu)的設(shè)計實例：氣象臺體系軟件三個層：接口，數(shù)據(jù)采集，儀器。對象識別設(shè)計模型：靜態(tài)模型，動態(tài)模型；子系統(tǒng)模型，序列模型，狀態(tài)機(jī)模型；接口對象描述設(shè)計進(jìn)化第十九章檢驗和有效性驗證有效性驗證：我們是否在建立一個正確的產(chǎn)品？檢驗：我們是否在正確的建立一個產(chǎn)品？V&V過程軟件檢查（靜態(tài)）軟件測試（動態(tài)）缺陷測試，統(tǒng)計性測試系統(tǒng)需要的信任程度依賴于系統(tǒng)的設(shè)計目標(biāo)、系統(tǒng)用戶對它的期望和目前的市場環(huán)境。測試和調(diào)試的區(qū)別：前者是證明一個軟件系統(tǒng)中存在缺陷的過程，后者是一個對缺陷定位和 修改的過程

5、。檢驗和有效性驗證規(guī)劃V&V過程的規(guī)劃應(yīng)該在開發(fā)過程的早期就開始著手。軟件測試計劃的結(jié)構(gòu):需求跟蹤 測試項目 測試時間安排 測試記錄程序 硬件和軟件需 求約束軟件檢查程序檢查：數(shù)據(jù)缺陷，控制缺陷，輸入/輸出缺陷，接口缺陷，存儲管理缺陷，異常管理缺 陷自動靜態(tài)分析控制流分析數(shù)據(jù)使用分析接口分析信息流分析路徑分析凈室軟件開發(fā)方法形式化描述增量式的開發(fā)結(jié)構(gòu)化程序設(shè)計靜態(tài)檢驗系統(tǒng)統(tǒng)計性測試使用凈室過程作為大型系統(tǒng)開發(fā)時，需要：描述團(tuán)隊，開發(fā)團(tuán)隊，認(rèn)證團(tuán)隊 第二十章軟件測試缺陷測試目標(biāo)是找出潛伏的缺陷。（讓系統(tǒng)暴露其不正確的一面）軟件測試的一個特性就是要證明有 錯，而不是證明沒錯。黑盒測試（功能性測試）

6、：適用于由功能構(gòu)成的和由對象構(gòu)成的系統(tǒng)。等價劃分：找出程序必須處理的所有輸入類型，然后做等價劃分。邊界？結(jié)構(gòu)化測試（白盒測試）：適用于相對較小的程序，從函數(shù)所用的算法可以找出等價劃分。路徑測試：屬于一種結(jié)構(gòu)化測試策略。實例：二分搜索流圖集成測試這里的測試是要發(fā)現(xiàn)組件交互中的問題。測試根據(jù)系統(tǒng)描述來做，在一些系統(tǒng)組件一完成就開始進(jìn)行。自頂向下：樁到樁的測試。自底向上：不需要系統(tǒng)體系結(jié)構(gòu)設(shè)計的完成就可以進(jìn)行。比較：1.體系結(jié)構(gòu)的有效性2.系統(tǒng)演示3.測試的執(zhí)行4.測試的觀察）接口測試接口類型：1.參數(shù)接口 2.共享內(nèi)存接口 3.程序接口 4.消息傳遞接口錯誤：接口誤用，接口誤解，計時錯誤測試的一般準(zhǔn)則測試強度：在超過設(shè)計極限負(fù)荷的情況下，連續(xù)用例繼續(xù)測試直至失敗為止。對于基于網(wǎng)絡(luò)的分布式系統(tǒng)特別有用。面向?qū)ο蟮臏y試測試的四個層次：1.測試與對象關(guān)聯(lián)的單個操作2.測試單個對象類3.測試對象群4.測試面向?qū)ο笙到y(tǒng)對象類調(diào)試：1.對象中所有操作被單獨隔離測試2.對象所有屬性的設(shè)置和訪問的測試。對象的所有可能狀態(tài)的測試。集成測試的3個可用的方法：1.用例或基于場景的測試2.線程測試3.對象交互測試 閱讀以下兩章，適當(dāng)掌握。第二十二章人員管理人員能力成熟度模型（能夠分辨幾個模型）其中的一部分是軟件過程成熟度模型（CMM）P-CMM有5個層級的模型。初始級