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

1、華南理工大學(xué)軟件工程復(fù)習(xí)要點(diǎn)概述軟件：程序+相關(guān)文檔和配置信息通用軟件，定制產(chǎn)品軟件工程一計(jì)算機(jī)科學(xué)/系統(tǒng)工程軟件過程：1.軟件描述2.軟件開發(fā)3.軟件有效性驗(yàn)證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ì)算機(jī)濫用第三章軟件過程軟件描述軟件設(shè)計(jì)和實(shí)現(xiàn)軟件有效性驗(yàn)證軟件進(jìn)化軟件過程模型瀑布模型：需求定義和分析；系統(tǒng)和軟件設(shè)計(jì)；實(shí)現(xiàn)和單元測試；集成和系統(tǒng)測

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

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

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

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

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