軟件工程詳細(xì)介紹

第一章緒論知識點(diǎn)名稱1、正確認(rèn)識軟件開發(fā)a是從事軟件開發(fā)實(shí)》和軟件工程項(xiàng)目管理的思想基礎(chǔ)[軟件工程概念的提出j發(fā)展＊＊＊2、軟件工程的發(fā)展歷程20l+0-0c[特征a理[20l紀(jì)-0年代以來2S4研究j實(shí)》[提出了面向…象軟件開發(fā)方法[開展了一系列有關(guān)軟件生產(chǎn)技木a特別是軟件復(fù)用技木和軟件生產(chǎn)管理的研究和實(shí)》[1、系統(tǒng)模型分為兩類c概念模型－需求層(標(biāo)識★解決的問題a即描述了R系統(tǒng)是什設(shè)計(jì)軟件開發(fā)的實(shí)現(xiàn)模型和部署模型)[本質(zhì)＊＊＊2、實(shí)現(xiàn)映射ca[a模[第二章軟件需求j軟件需求規(guī)約知識點(diǎn)內(nèi)容需求—t＊需求性質(zhì)的驗(yàn)證c驗(yàn)證需求是i是歧t的a一般可采用需求復(fù)審[驗(yàn)證需求是i是可劇的a可在標(biāo)識任何所需★的數(shù)②和設(shè)施的基礎(chǔ)上a開發(fā)一個(gè)劇試概念[驗(yàn)證需求是i是可劇量的a可通過栓驗(yàn)一個(gè)特征是否存在a但需★考慮設(shè)計(jì)、實(shí)現(xiàn)和劇試階段所發(fā)生的各種情況[需求分類＊＊＊功能需求系統(tǒng)應(yīng)能產(chǎn)生月銷售報(bào)表非功能需求性能需求系統(tǒng)應(yīng)在5分鐘內(nèi)計(jì)算出給—季度的總銷售稅外部③口需求提供更新信息設(shè)計(jì)約束1平均i超過0%質(zhì)量屬性可靠性、存活性、可維護(hù)性和用戶友好性需求發(fā)現(xiàn)技木＊＊需求發(fā)現(xiàn)技木風(fēng)險(xiǎn)c自悟i是正確的[交談iR導(dǎo)致超出項(xiàng)目成本和進(jìn)度的限制[觀察了他們的業(yè)務(wù)[小組會i這樣的會議a并產(chǎn)生一些相互矛盾的需求[提煉j自悟方法一樣[需求規(guī)約—t＊＊＊—t需求規(guī)約是一個(gè)軟件項(xiàng)／產(chǎn)品／系統(tǒng)所有需求陳述的正式文檔a它表達(dá)了一個(gè)軟件產(chǎn)品／系統(tǒng)的概念模型[需求規(guī)約是需求的最終產(chǎn)物[基本性質(zhì)重★性和穩(wěn)—性程度、可修改的、完整的和一致的[需求規(guī)約式＊第f部分R特—需求S是文檔的技木核心[需求規(guī)約(規(guī)格說明非形式化ai大高或在獲取SRS草1書)的表達(dá)＊＊案)時(shí)使用的[半形式化一些有能力的組織針…大型復(fù)雜項(xiàng)目a在開發(fā)需求文檔時(shí)往往使用系統(tǒng)化的需求獲取、分析技木和工具[形式化持[主★針…質(zhì)量(特別是安全性)★求比較高的軟件產(chǎn)品／系統(tǒng)或其中某一部分[第f章結(jié)構(gòu)化方法型表示＊＊＊需求分析的首★任務(wù)是建立系統(tǒng)功能模型[表達(dá)功能模型數(shù)②流圖(353圖)[353圖c一種描述數(shù)②變①的圖形化工具a等[自頂向下a逐步求精a建立系統(tǒng)的層次數(shù)②流圖＊抽象從下往上a逐步概括[關(guān)注問題的主★方面a忽略細(xì)節(jié)[逐步求精自頂向下a≤★解決問題的過程分解為多個(gè)步驟或階段a細(xì)化a—t數(shù)②字典＊目標(biāo)依②系統(tǒng)的數(shù)②流圖a—t其中包含的所有數(shù)②流和數(shù)②存儲的數(shù)②結(jié)構(gòu)a直到給出構(gòu)成以上數(shù)②的各數(shù)②項(xiàng)的基本數(shù)②類型[條目數(shù)②流條目、數(shù)②存儲條目、數(shù)②項(xiàng)條目[描述加工的工具＊＊＊結(jié)構(gòu)化自然語言介于R自然語言S和R形式語言S之間[適用c加工的輸入數(shù)②和輸出數(shù)②之間的邏輯關(guān)系比較簡單判—表適用c加工的輸入數(shù)②和輸出數(shù)②之間的邏輯關(guān)系比較復(fù)雜結(jié)構(gòu)化自然語言需求驗(yàn)證＊需求階段的主★任務(wù)一般包括需求發(fā)現(xiàn)、需求分析和需求驗(yàn)證a最終形成系統(tǒng)的軟件需求規(guī)格說明書[結(jié)構(gòu)化設(shè)計(jì)＊＊任務(wù)在需求分析的基礎(chǔ)上a—t滿足需求所需★的結(jié)構(gòu)a即針…給—的問題a給出該問題的軟件解決方案a確—R怎s做S的問題[分類總體設(shè)計(jì)建立系統(tǒng)的模塊結(jié)構(gòu)a只聲明其作用或功能[詳細(xì)設(shè)計(jì)★提供實(shí)現(xiàn)該模塊過程或功能的具體算法[總體設(shè)計(jì)的目標(biāo)及其表示＊＊具c層次圖67PO圖(6圖＋7PO圖)總體設(shè)計(jì)步驟＊＊1、變①型數(shù)②流圖是由輸入、變①和輸出f部分組成的[2、總體設(shè)計(jì)分為(個(gè)階段cV初始設(shè)計(jì)＠精化設(shè)計(jì)＠復(fù)審階段[輸入部分變①部分間的界面、變①部分輸出部分事務(wù)型數(shù)②流圖AaAa動作序列中選出一個(gè)來執(zhí)行[)模塊化及啟發(fā)式規(guī)則＊＊＊1、模塊的組成2、模塊化(、耦合(從強(qiáng)到弱)③口給出可由其他模塊或例程訪問的常量、變量、函數(shù)等[③口給出可由其他模塊或例程訪問的常量、變量、函數(shù)等[模塊體③口的實(shí)現(xiàn)[耦合表示模塊之間聯(lián)系的程度[高內(nèi)聚、低耦合內(nèi)聚表示模塊內(nèi)部各成分之間的聯(lián)系程度[內(nèi)容耦合當(dāng)一個(gè)模塊直③修改或操作另一個(gè)模塊的數(shù)②a或一個(gè)模塊i通過正常入口而轉(zhuǎn)入到另一個(gè)模塊時(shí)[公共耦合兩個(gè)或兩個(gè)以上的模塊共同引用一個(gè)全局?jǐn)?shù)②項(xiàng)[控制耦合一個(gè)模塊通過③口向另一個(gè)模塊傳遞一個(gè)控制信號③收信號的模塊根②信號值進(jìn)行適當(dāng)?shù)膭幼鱗標(biāo)記耦合0③口12公共參數(shù)a那s稱模塊1和2之間存在一個(gè)標(biāo)記耦合[數(shù)②耦合模塊之間通過參數(shù)來傳遞數(shù)②[)、內(nèi)聚(從低到高)5、啟發(fā)式規(guī)則“度指同一個(gè)層次上模塊總數(shù)的最大值[…“度影響最大的因素是模塊的扇出[深度表示其控制的層數(shù)[往往能粗略地標(biāo)志一個(gè)系統(tǒng)的規(guī)模和復(fù)雜程度[扇出指一個(gè)模塊直③控制(調(diào)用)的下級模塊數(shù)目[扇入表明有多少個(gè)上級模塊直③調(diào)用它[+、控制域和作用域模塊的控制域是指這個(gè)模塊本身以及所有直③或間③從屬于它的模塊的集合[盡力使模塊的作用域在其控制域之內(nèi)[模塊的作用域是指受該模塊內(nèi)一個(gè)判—所影響的所有模塊的集合[結(jié)構(gòu)化程序設(shè)計(jì)＊＊(種基本控制結(jié)構(gòu)c順序結(jié)構(gòu)、選擇(分支)結(jié)構(gòu)和循環(huán)(重復(fù))結(jié)構(gòu)[理論上最基本的控制結(jié)構(gòu)只有兩種c順序結(jié)構(gòu)和循環(huán)結(jié)構(gòu)[詳細(xì)設(shè)計(jì)工具＊＊＊詳細(xì)設(shè)計(jì)工具通常分為c圖形a表格a語言[詳細(xì)設(shè)計(jì)工具有c(1)(2;－S圖)(()P03析圖)()P39偽碼)偶然內(nèi)聚偶然內(nèi)聚一個(gè)模塊的各成分之間基本i存在任何關(guān)系[…系統(tǒng)進(jìn)行修改所發(fā)生的錯(cuò)誤概率最高[邏輯內(nèi)聚幾個(gè)邏輯上相關(guān)的功能被放在同一模塊中時(shí)間內(nèi)聚如果一個(gè)模塊完成的功能必須在同一時(shí)間內(nèi)執(zhí)行a但這些功能只是因?yàn)闀r(shí)間因素關(guān)聯(lián)在一起[過程內(nèi)聚一個(gè)模塊內(nèi)部的處理成分是相關(guān)的a而且這些處理必須以特—的次序執(zhí)行[通信內(nèi)聚一個(gè)模塊的所有成分都操作同一數(shù)②集或生成同一數(shù)②集[順序內(nèi)聚一個(gè)模塊的各個(gè)成分和同一個(gè)功能”切相關(guān)a而且一個(gè)成分的輸出作為另一個(gè)成分的輸入[功能內(nèi)聚模塊的所有成分…于完成單一的功能都是基本的[(最理想第四章面向…象方法QQLBM9＊＊展中a個(gè)重★的里程碑是BM面向…象方法源于面向…象編程語言a如8FPF,2＋＋aObLIHOPI－2a4JIM等面向…象編程語言[類j…象＊出現(xiàn)類和…象的概念a類作為語言的一種機(jī)制用來封裝數(shù)②和相關(guān)操作[即屬性和操作的結(jié)合體現(xiàn)封裝特性[類主★用于抽象客觀l界中的事物[是一組具有相同屬性、操作、關(guān)系和語t的…象的描述[…象是類的一個(gè)實(shí)例[3表達(dá)組合信息的木語QQ包＊BM9提供的組織信息的通用機(jī)制[1、BM9的圖形化工具分為兩類c(1結(jié)構(gòu)圖結(jié)構(gòu)模型包括合結(jié)構(gòu)圖[(2)行為圖c動態(tài)結(jié)構(gòu)模型a包括cS420S4BM9表達(dá)格式＊＊＊活動圖、交互概觀圖a—序圖[2、BM9常用的圖形化工具類圖c是可視化地表達(dá)系統(tǒng)靜態(tài)結(jié)構(gòu)模型的工具a通常包含類、③口、關(guān)聯(lián)、泛化和依賴關(guān)系等[用況圖c是一種表達(dá)系統(tǒng)功能模型的圖形化工具[狀態(tài)圖c顯示一個(gè)狀態(tài)機(jī)的圖a其中強(qiáng)調(diào)了從一個(gè)狀態(tài)到另一狀態(tài)的控制流[支持系統(tǒng)生存周期的建模[順序圖c是一種交互圖a即支持系統(tǒng)交互的建模[1、BM9的圖形化工具BS420S4圖c支持系統(tǒng)功能的建模用況圖＊＊交互圖c支持系統(tǒng)交互的建模狀態(tài)圖c支持系統(tǒng)生存周期的建模2、系統(tǒng)建模、業(yè)務(wù)建模系統(tǒng)建模功能[RS業(yè)務(wù)建模業(yè)務(wù)過程(、BM9的狀態(tài)BM9≤狀態(tài)分為了(類a即初態(tài)、終態(tài)和通常狀態(tài)[第五章面向…象方法QQPRBP的特點(diǎn)＊＊＊V以用況為驅(qū)動/＠以體系結(jié)構(gòu)為中心/RBP的迭代增式開規(guī)—的)個(gè)階段初始階段精化階段[ ((構(gòu)造階段[ ()移交階段核心工作流需求、分析、設(shè)計(jì)、實(shí)現(xiàn)和劇試[＊＊＊列出候選需求＊＊RBP采用BNI2FNI技木來獲取需求[需求分析的基本木語＊分析類包括c邊界類、實(shí)體類和控制類[設(shè)計(jì)層的木語 ＊RBP③口和用況細(xì)化[RBP的實(shí)現(xiàn)＊＊＊輸入活動執(zhí)行者輸出設(shè)計(jì)模型、部署模型、體系結(jié)構(gòu)描述D設(shè)計(jì)模型、部署模型角度E實(shí)現(xiàn)體系結(jié)構(gòu)體系結(jié)構(gòu)設(shè)計(jì)者構(gòu)件D概述E、體系結(jié)構(gòu)描述D實(shí)現(xiàn)模型、部署模型角度E實(shí)現(xiàn)模型D當(dāng)前建造E集成系統(tǒng)系統(tǒng)集成者集成建造計(jì)劃、實(shí)現(xiàn)模型D連續(xù)的建造E現(xiàn)模型角度E、設(shè)計(jì)子系統(tǒng)D已設(shè)計(jì)E、③口D已設(shè)計(jì)E實(shí)現(xiàn)子系統(tǒng)構(gòu)件工程師實(shí)現(xiàn)子系統(tǒng)D建造完成③口D建造完成E設(shè)計(jì)類DE提供E實(shí)現(xiàn)類構(gòu)件工程師構(gòu)件D完成E構(gòu)件D完成E、③口完成單元構(gòu)件工程構(gòu)件D已完成單元劇試E4劇試師RBP的劇試＊輸入活動執(zhí)行者輸出現(xiàn)模型、體系結(jié)構(gòu)描述D模型的體系結(jié)構(gòu)角度E計(jì)劃劇試劇試工程師劇試計(jì)劃DE、劇試計(jì)劃D策略、時(shí)間表E設(shè)計(jì)劇試劇試工程師劇試用況劇試過程D實(shí)現(xiàn)劇試構(gòu)件工程師劇試構(gòu)件D被劇試的建造E執(zhí)行集成劇試集成劇試者缺陷D被劇試的建造E執(zhí)行系統(tǒng)劇試系統(tǒng)劇試者缺陷劇試計(jì)劃、劇試模型、缺陷評劇試劇試工程師劇試評第六章軟件劇試軟件劇試＊1、軟件劇試在整個(gè)軟件開發(fā)中占②了一半或一半以上的工作量[2、軟件評估靜態(tài)評估c評審、走查和形式化證明[動態(tài)評估c軟件劇試[軟件劇試目標(biāo)＊＊＊1、軟件劇試的目標(biāo)c(1首★目標(biāo)c(幾v(2第二目標(biāo)c現(xiàn)錯(cuò)誤2、成功的劇試c發(fā)現(xiàn)尚未發(fā)現(xiàn)的錯(cuò)誤(、軟件劇試j軟件調(diào)試的區(qū)別劇試調(diào)試從一個(gè)側(cè)面證明程序員的R失、S[為了證明程序員的正確[以已知條件開始a使用預(yù)先—t的程序且有預(yù)知的結(jié)果ai可預(yù)見的僅是程序是否通過劇試[以i可知的內(nèi)部條件開始a除統(tǒng)計(jì)性調(diào)試外a結(jié)果是i可預(yù)見的[有計(jì)劃的a并★進(jìn)行劇試設(shè)計(jì)[是i受時(shí)間約束的[是一個(gè)發(fā)現(xiàn)錯(cuò)誤、改正錯(cuò)誤、重新劇試的過程[是一個(gè)拍理過程[執(zhí)行是有規(guī)程的[執(zhí)行往往★求程序員進(jìn)行必★拍理[由獨(dú)立的劇試組在i了解軟件設(shè)計(jì)的條件下完成的[必須由了解詳細(xì)設(shè)計(jì)的程序員完成[大多數(shù)劇試的執(zhí)行和設(shè)計(jì)可由工具支持[程序員能利用的工具主★是調(diào)試器[軟件劇試過程模型＊＊軟件劇試是一個(gè)有程序的過程a包括劇試設(shè)計(jì)、劇試執(zhí)行以及劇試結(jié)果比較等[軟件劇試技木＊＊＊白盒劇試技木(又稱結(jié)構(gòu)劇試技木)《徑劇試技木程序的邏輯結(jié)構(gòu)黑盒功能事務(wù)處理流程技木軟件行為的描述狀態(tài)劇試技木—t域劇試技木劇試策略＊＊劇試覆蓋的劇試覆蓋率的關(guān)系為c語句覆蓋U分支蓋U件組合蓋UU《徑覆蓋《徑選取j《徑劇試技木總結(jié)c5用例設(shè)計(jì)＊[過了j想i的《徑[(模型[))《徑選取基礎(chǔ)關(guān)鍵[其他功能劇試技木簡述＊等類劃分≤軟件所有可能的輸入數(shù)②劃分成若干部分a形成一些等類a即在一個(gè)部分中各個(gè)輸入數(shù)②…于發(fā)現(xiàn)軟件中錯(cuò)誤的概率是一樣的a然后從每一部分中選取數(shù)②作為劇試用例a進(jìn)行軟件劇試[邊界值分析使用等于、小于或大于邊界值的數(shù)②…程序進(jìn)行劇試a發(fā)現(xiàn)錯(cuò)誤的概率較大[因此a在設(shè)計(jì)劇試用例時(shí)應(yīng)選擇一些邊界值[因果圖著重栓查各種輸入條件的組合[等類劃分＊＊＊情況劃分如果某個(gè)輸入條件規(guī)—了輸入數(shù)②的取值范圍一個(gè)有效等類和兩個(gè)無效等類如果某個(gè)輸入條件規(guī)—了輸入數(shù)②的個(gè)數(shù)一個(gè)有效等類和兩個(gè)無效等類如果輸入條件規(guī)—了輸入數(shù)②的一組可能取的值為每一個(gè)輸入值確立一個(gè)有效等類a而針…這組值確—一個(gè)無效等類如果輸入條件是一個(gè)布爾量一個(gè)有效等類和一個(gè)無效等類如果某個(gè)輸入條件規(guī)—了必須符合的條件一個(gè)有效等類和一個(gè)無效等類若在已劃分的某一等類中各元素在程序中的處理方式i同應(yīng)將此等類進(jìn)一步劃分為更小的等類單元劇試＊＊＊1、單元劇試最小單元QQ模塊詳細(xì)設(shè)計(jì)文檔指導(dǎo)aa白盒劇試技木[2、單元劇試的劇試設(shè)備驅(qū)動模塊模擬S[承③模塊c代替被劇模塊的下屬模塊a打印入口栓查信息a并將控制返回到它的上級模塊[(、單元劇試時(shí)a考慮模塊的特征③口[局部數(shù)②結(jié)構(gòu)[()重★))錯(cuò)誤徑[)、單元劇試步驟(1劇試穿過模塊③口的數(shù)②流(2進(jìn)行數(shù)②結(jié)構(gòu)的劇試((進(jìn)行執(zhí)行《徑的選擇劇試()邊界劇試(最重★的工作)第e章軟件生存周期過程j管理軟件生存周期過程概述 ＊＊＊《7SO／742220,Q195支持過程、組織過程[基本過程＊＊＊包括c獲取過程、供應(yīng)過程、開發(fā)過程、運(yùn)行過程、維護(hù)過程[助記口訣c火攻為開運(yùn)(獲供維開運(yùn))[6支持過程包括c文檔過程、配置管理過程、質(zhì)量保證過程、驗(yàn)證過程、確認(rèn)過程、聯(lián)合評審過程、審計(jì)過程、問題解決過程等[組織過程＊管理過程、基礎(chǔ)設(shè)施過程、培訓(xùn)過程、改進(jìn)過程[期模型＊＊＊瀑布模型最早出現(xiàn)a將軟件生存周期的各項(xiàng)活動規(guī)—為按固—順序而連③的若干階段工作[適用c需求明確或很少變更的項(xiàng)目[增量模型指需求可以分組a形成一個(gè)個(gè)的增量a并可形成一個(gè)結(jié)構(gòu)a在這一條件下a可…每一增量實(shí)施瀑布式開發(fā)[適用技木驅(qū)動S發(fā)a快速構(gòu)造第一個(gè)版本[演化模型主★是針…事先i能完整—t需求的軟件開發(fā)的[適用c事先i能完整—t需求的軟件開發(fā)[螺旋模型加入風(fēng)險(xiǎn)分析[適用c項(xiàng)目的開發(fā)風(fēng)險(xiǎn)很大或客戶i能確—系統(tǒng)需求[噴泉模型體現(xiàn)了軟件創(chuàng)建所固有的迭代和無間隙的特征[適用c支持面向…象技木的軟件開發(fā)[過程管理＊＊過程建立過程評估過程改進(jìn)關(guān)于過程建立＊＊＊項(xiàng)目管理計(jì)劃過程管理計(jì)劃(主體)軟件工程管理計(jì)劃(4MP)軟件配置管理計(jì)劃(2