軟件工程知識(shí)點(diǎn)

1、名詞解釋:1、軟件工程：軟件工程是應(yīng)用計(jì)算機(jī)科學(xué)、數(shù)學(xué)及管理科學(xué)等原理，以工程化 的原則和方法制作軟件的工程2、軟件生存周期：是指產(chǎn)品或軟件洗頭你那個(gè)從產(chǎn)生。投入使用到被淘汰的 全過(guò)程。軟件生存周期主要分為六個(gè)階段：計(jì)算機(jī)系統(tǒng)工程，需求分析。設(shè) 計(jì)。編碼。測(cè)試。運(yùn)行和維護(hù)。3、.軟件過(guò)程：軟件過(guò)程是軟件生存周期中的一系列相關(guān)的過(guò)程。過(guò)程是活動(dòng)的集 合，活動(dòng)是任務(wù)的集合。4、逆向工程：指在軟件生存周期中，將軟件的某種形式描述轉(zhuǎn)換成更抽象形式的 活動(dòng)。5、再工程：指在逆向工程所獲信息的基礎(chǔ)上修改或重構(gòu)已有的系統(tǒng)，產(chǎn)生 系統(tǒng)的一個(gè)新版本。6、程序設(shè)計(jì)語(yǔ)言：是指用于書(shū)寫(xiě)計(jì)算機(jī)程序的語(yǔ)言，它是一種實(shí)現(xiàn)性

2、的軟件語(yǔ)言7、計(jì)算機(jī)系統(tǒng)工程：是一個(gè)問(wèn)題求解的活動(dòng)，其目的是分析基于計(jì)算機(jī)的系統(tǒng)的 功能、性能等要求，并把它們分配到基于計(jì)算機(jī)系統(tǒng)的各個(gè)系統(tǒng)元素中，確定它 們的約束條件和接口。8、計(jì)算機(jī)軟件：指計(jì)算機(jī)系統(tǒng)中的程序，數(shù)據(jù)和文檔。軟件分類(lèi)：系統(tǒng)軟件，支撐 軟件，應(yīng)用軟件。9、可行性分析：主要從經(jīng)濟(jì)、技術(shù)、法律等方面分析所給出的解決方案是否可行， 能否在規(guī)定的資源和時(shí)間的約束下完成。經(jīng)濟(jì)可行性：主要進(jìn)行成本-效益分析，從經(jīng)濟(jì)角度，確定系統(tǒng)是否值得開(kāi)發(fā)。還有“短期-長(zhǎng)遠(yuǎn)利益”分析。技術(shù)可行性主要根據(jù)系統(tǒng)的功能、性能、約束 條件等，分析在現(xiàn)有資源和技術(shù)條件下系統(tǒng)能否實(shí)現(xiàn)。技術(shù)可行性分析通常包括： 風(fēng)險(xiǎn)分

3、析、資源分析、技術(shù)分析。法律可行性分析研究系統(tǒng)開(kāi)發(fā)過(guò)程中可能涉及 到的合同、侵權(quán)、責(zé)任以及各種與法律相抵觸的問(wèn)題。10、系統(tǒng)工程的任務(wù)：1.識(shí)別用戶(hù)的要求2.系統(tǒng)建模和模擬2.1硬件系統(tǒng)模型2.2 軟件系統(tǒng)模型2.3人機(jī)接口模型2.4數(shù)據(jù)模型3.成本估算及進(jìn)度安排4.可行性分 析5.生成系統(tǒng)規(guī)格說(shuō)明11、模塊：是數(shù)據(jù)說(shuō)明、可執(zhí)行語(yǔ)句等程序?qū)ο蟮募?，它是單?dú)命名的，并且可以通過(guò)名字來(lái)訪問(wèn)。模塊獨(dú)立性：模塊完成獨(dú)立的功能并且與其他模塊的接口簡(jiǎn)單，模塊間關(guān)聯(lián)和 依賴(lài)程度盡可能小。12、白盒盒測(cè)試：把測(cè)試對(duì)象看作一個(gè)透明的盒子，測(cè)試人員根據(jù)程序內(nèi)部的邏 輯結(jié)構(gòu)及有關(guān)信息設(shè)計(jì)測(cè)試用例，目的是檢查程序中

4、所有邏輯路徑是否都按預(yù)定 的要求正確地工作。程序設(shè)計(jì)語(yǔ)言：是指用于書(shū)寫(xiě)計(jì)算機(jī)程序的語(yǔ)言，它是一種實(shí)現(xiàn)性的軟件語(yǔ) 言3、黑盒測(cè)試：把測(cè)試對(duì)象看做一個(gè)黑盒子，在測(cè)試時(shí)完全不考慮程序內(nèi)部的邏輯 結(jié)構(gòu)和內(nèi)部特性，依據(jù)程序的需求規(guī)格說(shuō)明書(shū)，檢查程序的功能是否符合它的功 能需求.4、軟件演化：是指軟件在交付以后，對(duì)軟件進(jìn)行的一系列活動(dòng)的總稱(chēng)。5、軟件需求規(guī)約：是分析任務(wù)的最終產(chǎn)物，通過(guò)建立完整的信息描述、詳細(xì)的 功能和行為描述、性能需求和設(shè)計(jì)約束的說(shuō)明、合適的驗(yàn)收標(biāo)準(zhǔn)，給出對(duì)目標(biāo)軟 件的各種需求。1、可移植性：指與軟件從某一環(huán)境轉(zhuǎn)移到另一環(huán)境下的難易程度2、軟件維護(hù)：指軟件系統(tǒng)交付使用后，為了改正錯(cuò)誤或滿(mǎn)

5、足新的需要而修改軟 件的過(guò)程。3、多態(tài)性：同一個(gè)操作作用于不同的對(duì)象上可以有不同的解釋?zhuān)a(chǎn)生不同的 執(zhí)行結(jié)果；5、軟件項(xiàng)目管理：通過(guò)項(xiàng)目經(jīng)理和項(xiàng)目組織的努力，運(yùn)用系統(tǒng)理論的方法對(duì)項(xiàng) 目及其資源進(jìn)行計(jì)劃、組織、協(xié)調(diào)、控制，旨在實(shí)現(xiàn)項(xiàng)目的特定目標(biāo)的管理方法 的體現(xiàn)。重構(gòu)：是指在同一抽象級(jí)別上轉(zhuǎn)換系統(tǒng)的描述形式。構(gòu)件的分類(lèi)枚舉分類(lèi)(Enumerated Classification)屬性一值分類(lèi)(Attribute_Value Classification)刻面分類(lèi)(Faceted Classification)1）主要功能:構(gòu)件的分類(lèi)存儲(chǔ)（即添加構(gòu)件）：根據(jù)構(gòu)件庫(kù)的分類(lèi)模型將入庫(kù)的構(gòu)件儲(chǔ)存在構(gòu)件

6、庫(kù)中。構(gòu)件檢索：從構(gòu)件庫(kù)中檢索出滿(mǎn)足用戶(hù)要求或接近用戶(hù)要求的構(gòu)件。構(gòu)件庫(kù)瀏覽：瀏覽庫(kù)中的全部或部分構(gòu)件。刪除構(gòu)件：將不再使用的構(gòu)件從構(gòu)件庫(kù)中刪去。構(gòu)件使用情況評(píng)價(jià)：根據(jù)用戶(hù)使用和檢索構(gòu)件的反饋意見(jiàn)對(duì)構(gòu)件作出評(píng)價(jià)，為進(jìn)一步的改進(jìn)提供依據(jù)構(gòu)件檢索方法常用的構(gòu)件檢索方法規(guī)約匹配型構(gòu)（signature）匹配術(shù)語(yǔ)輪廓匹配行為采樣匹配風(fēng)險(xiǎn)管理就是識(shí)別評(píng)估風(fēng)險(xiǎn)，建立、選擇、管理和解決風(fēng)險(xiǎn)的可選方案和組織方法。包括了風(fēng)險(xiǎn)標(biāo)識(shí)、風(fēng)險(xiǎn)預(yù)測(cè)、風(fēng)險(xiǎn)評(píng)估和風(fēng)險(xiǎn)管理與監(jiān)控四個(gè)活動(dòng)。1、簡(jiǎn)述軟件生存周期及其每一階段的主要任務(wù)？解答：6個(gè)階段：計(jì)算機(jī)系統(tǒng)工程、需求分析、設(shè)計(jì)、編碼、測(cè)試、運(yùn)行和維護(hù)。計(jì)算機(jī)系統(tǒng)工程的任務(wù)：確

7、定待開(kāi)發(fā)軟件的總體要求和范圍，以及它與其它計(jì)算機(jī)系統(tǒng)元素之間的關(guān)系 進(jìn)行成本估算， 做出進(jìn)度安排進(jìn)行可行性分析，即從經(jīng)濟(jì)、技術(shù)、法律等方面分析待開(kāi)發(fā)的軟 件是否有可行的解決方案，并在若干個(gè)可行的解決方案中作出選擇。需求分析：主要解決待開(kāi)發(fā)軟件要“做什么”的問(wèn)題。確定軟件的功能、性能、數(shù)據(jù)、界面等要求，生成軟件需求規(guī)約。軟件設(shè)計(jì)：主要解決待開(kāi)發(fā)軟件“怎么做”的問(wèn)題。軟件設(shè)計(jì)分系統(tǒng)設(shè)計(jì)（概要設(shè)計(jì)）和詳細(xì)設(shè)計(jì)。系統(tǒng)設(shè)計(jì)的任務(wù)是設(shè)計(jì)軟件系統(tǒng)的體系結(jié)構(gòu)，包括軟件系統(tǒng)的組成成分、各成分的功能和接口、成分間的連 接和通信，同時(shí)設(shè)計(jì)全局?jǐn)?shù)據(jù)結(jié)構(gòu)；詳細(xì)設(shè)計(jì)的任務(wù)是設(shè)計(jì)各個(gè)組成成分的實(shí)現(xiàn)細(xì)節(jié)，包括局部數(shù)據(jù)結(jié)構(gòu)和算

8、法等。編碼用某種程序設(shè)計(jì)語(yǔ)言，將設(shè)計(jì)的結(jié)果轉(zhuǎn)換為可執(zhí)行的程序代碼。測(cè)試發(fā)現(xiàn)并糾正軟件中的錯(cuò)誤和缺陷。測(cè)試主要包括單元測(cè)試、集成測(cè)試、確認(rèn)測(cè)試和系統(tǒng)測(cè)試。運(yùn)行和維護(hù)在軟件運(yùn)行期間，當(dāng)發(fā)現(xiàn)了軟件中潛藏的錯(cuò)誤或需要增加新的功能或使軟件適應(yīng)外界環(huán)境的變化等情況出現(xiàn)時(shí)對(duì)軟件進(jìn)行修改。2、請(qǐng)給出5種軟件過(guò)程模型，并簡(jiǎn)單說(shuō)明每種模型的特點(diǎn)。解答：瀑布模型、V模型、原型模型、增量式模型、螺旋式模型。解答：瀑布模型：它給出了軟件生存周期活動(dòng)的固定順序，上以階段的活動(dòng)完成后想下一階段的活動(dòng)過(guò)渡，最終得到開(kāi)發(fā)產(chǎn)品增量模型：將軟件的開(kāi)發(fā)過(guò)程分成若干個(gè)日程時(shí)間交錯(cuò)的線性序列，每個(gè)線性序列產(chǎn)生軟件的一個(gè)可發(fā)布的“增量版本

9、”，后一個(gè)版本是對(duì)前一個(gè)版本的修改和補(bǔ)充，重復(fù)增量模型的發(fā)布過(guò)程，直至產(chǎn)生最終的完善產(chǎn)品原型模型：從軟件工程師和客戶(hù)交流開(kāi)始，快速制定原型開(kāi)發(fā)的計(jì)劃，確定原型的目標(biāo)和范圍，采用快速 設(shè)計(jì)的方法對(duì)其建模，并構(gòu)建原型。典型的演化模型有：增量模型、原型模型、螺旋模型。原型（prototype） 是預(yù)期系統(tǒng)的一個(gè)可執(zhí)行版本，它反映了系統(tǒng)性質(zhì)（如功能、計(jì)算結(jié)果等）的一個(gè)選定的子集。一個(gè)原型 不必滿(mǎn)足目標(biāo)軟件的所有約束，其目的是能快速、低成本地構(gòu)建原型。螺旋式模型：它將原型實(shí)現(xiàn)的迭代特征與瀑布模型中控制的和系統(tǒng)化的方面結(jié)合起來(lái)，不僅體現(xiàn)了這兩種 模型的優(yōu)點(diǎn)，而且增加了風(fēng)險(xiǎn)分析。（主要包括四個(gè)方面的活動(dòng)：制

10、定目標(biāo)，風(fēng)險(xiǎn)分析，工程實(shí)施，客戶(hù)評(píng) 估）噴泉模型：是一種支持面向?qū)ο箝_(kāi)發(fā)的過(guò)程模型，包括：分析、設(shè)計(jì)、編碼、測(cè)試、集成、演化。3、軟件過(guò)程能力成熟度CMM提供了一個(gè)成熟度等級(jí)框架：1級(jí)-初始級(jí)、2級(jí)-可重復(fù)級(jí)、3級(jí)-巳定義級(jí)、4級(jí)-巳管理級(jí) 5級(jí)-優(yōu)化級(jí)。初始（initial）級(jí)：軟件過(guò)程的特點(diǎn)是無(wú)秩序的，甚至是混亂的。幾乎沒(méi)有什么過(guò)程是經(jīng)過(guò)妥善定義的，成功往往依賴(lài)于個(gè)人 或小組的努力?？芍貜?fù)（repeatable）級(jí)：建立了基本的項(xiàng)目管理過(guò)程來(lái)跟蹤成本、進(jìn)度和功能特性。制定了必要的過(guò)程紀(jì)律，能重復(fù)早先類(lèi)似應(yīng)用項(xiàng)目取得的成功。巳定義（defined）級(jí)：己將管理和工程活動(dòng)兩方面的軟件過(guò)程文檔化

11、、標(biāo)準(zhǔn)化，并綜合成該機(jī)構(gòu)的標(biāo)準(zhǔn)軟件過(guò)程。所有項(xiàng)目均使 用經(jīng)批準(zhǔn)、剪裁的標(biāo)準(zhǔn)軟件過(guò)程來(lái)開(kāi)發(fā)和維護(hù)軟件。巳管理（managed）級(jí)：收集對(duì)軟件過(guò)程和產(chǎn)品質(zhì)量的詳細(xì)度量值，對(duì)軟件過(guò)程和產(chǎn)品都有定量的理解和控制。優(yōu)化（optimizing）級(jí)：整個(gè)組織關(guān)注軟件過(guò)程改進(jìn)的持續(xù)性、預(yù)見(jiàn)及增強(qiáng)自身，防止缺陷及問(wèn)題的發(fā)生。過(guò)程的量化反饋和先進(jìn) 的新思想、新技術(shù)促使過(guò)程不斷改進(jìn)。軟件需求工程分為：需求獲取、需求分析與協(xié)商、系統(tǒng)建模、需求規(guī)約、需求驗(yàn)證和需求管理6個(gè)階段。-需求獲取方法與策略1.建立順暢的通信途徑2.訪談與調(diào)查3.觀察用戶(hù)操作流程4.組成聯(lián)合小組5.用況（Use Case）2、軟件需求規(guī)約是分析任

12、務(wù)的最終產(chǎn)物，通過(guò)建立完整的信息描述、詳細(xì)的功能和行為描述、性能需求和設(shè) 計(jì)約束的說(shuō)明、合適的驗(yàn)收標(biāo)準(zhǔn)，給出對(duì)目標(biāo)軟件的各種需求。第四章軟件設(shè)計(jì)是把軟件需求變換成軟件表示的過(guò)程，它主要包含兩個(gè)階段：軟件體系結(jié)構(gòu)設(shè)計(jì)和部件級(jí)設(shè)計(jì)。軟件設(shè)計(jì)分兩步完成；分為概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)兩個(gè)階段。軟件設(shè)計(jì)原則抽象化與逐步求精 模塊化信息隱藏 模塊獨(dú)立模塊：是數(shù)據(jù)說(shuō)明、可執(zhí)行語(yǔ)句等程序?qū)ο蟮募?，它是單?dú)命名的，并且可以通過(guò)名字來(lái)訪問(wèn)。模塊完成獨(dú)立的功能并且與其他模塊的接口簡(jiǎn)單，模塊間關(guān)聯(lián)和依賴(lài)程度盡可能小。模塊的獨(dú)立性：模塊完成獨(dú)立的功能并且與其他模塊的接口簡(jiǎn)單，模塊間關(guān)聯(lián)和依賴(lài)程度盡可能小.模塊化把軟件按照規(guī)

13、定原則，劃分為一個(gè)個(gè)較小的，相互獨(dú)立的但又相互關(guān)聯(lián)的部件，實(shí)際上是系統(tǒng)分解 和抽象的過(guò)程。模塊的獨(dú)立性可以由兩項(xiàng)指標(biāo)來(lái)衡量： 內(nèi)聚度與耦合度模塊獨(dú)立性比較強(qiáng)的模塊應(yīng)是高內(nèi)聚低耦合的模塊5、結(jié)構(gòu)化程序設(shè)計(jì)方法圖形/表表示法1.程序流程圖2.N-S圖3.PAD圖4.E-R圖5.判定表PDL(Program Design Language)是一種用于描述功能部件的算法設(shè)計(jì)和處理細(xì)節(jié)的語(yǔ)言，稱(chēng)為 設(shè)計(jì)性語(yǔ)言。第五章一：結(jié)構(gòu)化方法1、一種面向數(shù)據(jù)流的傳統(tǒng)軟件開(kāi)發(fā)方法2、以數(shù)據(jù)流為中心構(gòu)建軟件的分析和設(shè)計(jì)模型分為：3、結(jié)構(gòu)化分析(Structured Analysis,SA)4、結(jié)構(gòu)化設(shè)計(jì)(Structu

14、resd Design,SD)5、結(jié)構(gòu)化程序設(shè)計(jì)(Structured Programming,SP)二：用于描述基本加工的小說(shuō)明的三種描述工具是結(jié)構(gòu)化語(yǔ)言、判定表和判定樹(shù)。3、在模塊化設(shè)計(jì)過(guò)程中，必須遵循的設(shè)計(jì)原則是什么？為了實(shí)現(xiàn)有效的模塊化，采用的啟發(fā)設(shè)計(jì)策略師什在模塊化設(shè)計(jì)過(guò)程中，必須遵循的設(shè)計(jì)原則：抽象與逐步求精、信息隱藏、模塊化、高內(nèi)聚低耦合。按照模塊化設(shè)計(jì)原則，相應(yīng)的啟發(fā)式設(shè)計(jì)策略(6條)：改造程序結(jié)構(gòu)圖，降低耦合度，提高內(nèi)聚度避免高扇出，并隨著深度的增加，力求高扇入模塊的影響范圍應(yīng)限制在該模塊的控制范圍內(nèi)降低模塊接口的復(fù)雜程度和冗余程度，提高一致性模塊的功能應(yīng)是可預(yù)測(cè)的，避免對(duì)模

15、塊施加過(guò)多的限制盡可能設(shè)計(jì)單入口和單出口的模塊1、OOA包括哪些活動(dòng)?解答:面向?qū)ο蠓治霭ɑ顒?dòng)：解答：面向?qū)ο蠓治霭ɑ顒?dòng)：(1)獲取客戶(hù)對(duì)系統(tǒng)的需求：包括標(biāo)識(shí)場(chǎng)景(scenario)和用況(use case， 也稱(chēng)用例)，以及建造需求模型(2)用基本的需求為指南，來(lái)選擇類(lèi)和對(duì)象(包括屬性和操作)。(3)定義 類(lèi)的結(jié)構(gòu)和層次。(4)建造對(duì)象一關(guān)系模型。(5)建造對(duì)象一行為模型。(6)利用用況/場(chǎng)景來(lái)復(fù)審分析模 型。2、說(shuō)明軟件測(cè)試和調(diào)試的目的有何區(qū)別？解答:軟件測(cè)試是設(shè)計(jì)合適的測(cè)試用例，用盡可能少的測(cè)試用例，來(lái)發(fā)現(xiàn)盡可能多的軟件錯(cuò)誤。調(diào)試的目是確定錯(cuò)誤的原因和準(zhǔn)確位置，并加以糾正。3、結(jié)構(gòu)化

16、程序設(shè)計(jì)方法的基本要點(diǎn)是什么？解答:結(jié)構(gòu)化設(shè)計(jì)是將結(jié)構(gòu)化分析得到的數(shù)據(jù)流圖映射成軟件體系結(jié)構(gòu)的一種設(shè)計(jì)方法。強(qiáng)調(diào)模塊化、自頂向下逐 步求精、信息隱蔽、高內(nèi)聚低耦合等設(shè)計(jì)準(zhǔn)則；分為概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)兩大步驟。5、簡(jiǎn)述單元測(cè)試的內(nèi)容，什么是白盒測(cè)試法？常用的白盒測(cè)試方法有哪些？解答：把測(cè)試對(duì)象看作一個(gè)透明的盒子，測(cè)試人員根據(jù)程序內(nèi)部的邏輯結(jié)構(gòu)及有關(guān)信息設(shè)計(jì)測(cè)試用例，檢查程序中 所有邏輯路徑是否都按預(yù)定的要求正確地工作常用的白盒測(cè)試方法有：邏輯覆蓋測(cè)試、基本路徑覆蓋測(cè)試、數(shù)據(jù)流測(cè)試、循環(huán)測(cè)試。6、簡(jiǎn)述面向?qū)ο蟮奶卣?。解答：繼承、多態(tài)、封閉、抽象。4、什么是黑盒測(cè)試法？常用的黑盒測(cè)試方法有哪些？解答：

17、黑盒測(cè)試法把被測(cè)試對(duì)象看成是一相黑盒子，測(cè)試人員完全不考慮程序的內(nèi)部結(jié)構(gòu)和處理過(guò)程，只在軟件接 口處進(jìn)行測(cè)試，依據(jù)需求規(guī)格說(shuō)明書(shū)，檢查程序是否滿(mǎn)足功能要求。采用黑盒技術(shù)測(cè)試用例的方法有：等價(jià)類(lèi)的劃分、邊界值分析、錯(cuò)誤推測(cè)和因果圖。5、IIML統(tǒng)一建模語(yǔ)言有哪幾種圖形？各種圖形主要功能是什么？解答：題域視圖（view）圖(diagram)構(gòu)化靜設(shè)用態(tài)視圖 類(lèi)圖（class）計(jì)視圖 內(nèi)協(xié)構(gòu)部結(jié)構(gòu)(internal structure)作圖(collaboration)件圖（。omponent）況視圖 用況圖（use case）態(tài)的狀活交態(tài)機(jī)視圖狀態(tài)機(jī)圖（state machine）動(dòng)視圖 活動(dòng)圖（

18、activity）互視圖 順通序圖（sequence）信圖（。ommunication）理的部署視圖 部署圖（deployment）型管理模型管理視圖包HE(package)6、簡(jiǎn)述面向?qū)ο蟮脑O(shè)計(jì)過(guò)程。解答：（1）系統(tǒng)設(shè)計(jì)將子系統(tǒng)分配到處理器、選擇實(shí)現(xiàn)數(shù)據(jù)管理、界面支持和任務(wù)管理的設(shè)計(jì)策略、為系統(tǒng)設(shè)計(jì)合適的控制機(jī)制；（2）對(duì)象設(shè)計(jì)在過(guò)程級(jí)別（procedural lavel）設(shè)計(jì)每個(gè)操作，即設(shè)計(jì)每個(gè)操作的實(shí)現(xiàn)細(xì)節(jié)、定義內(nèi)部類(lèi)、為類(lèi)屬性設(shè)計(jì)內(nèi)部 數(shù)據(jù)結(jié)構(gòu)；（3）消息設(shè)計(jì)：使用對(duì)象間的協(xié)作和對(duì)象-關(guān)系模型，設(shè)計(jì)消息模型（4）復(fù)審：復(fù)審設(shè)計(jì)模型并在需要時(shí)迭代。1、程序設(shè)計(jì)語(yǔ)言：是指用于書(shū)寫(xiě)計(jì)算機(jī)程序的語(yǔ)言，它是一種實(shí)現(xiàn)性的軟件語(yǔ)言2、模塊的獨(dú)立性：模塊完成獨(dú)立的功能并且與其他模塊的接口簡(jiǎn)單，模塊間關(guān)聯(lián)和依賴(lài)程度盡可能小.3、黑盒測(cè)試：把測(cè)試對(duì)象看做一個(gè)黑盒子，在測(cè)試時(shí)完全不考慮程序內(nèi)部的邏輯結(jié)構(gòu)和內(nèi)部特性，依據(jù)程序 的需求規(guī)格說(shuō)明書(shū)，檢查程序的功能是否符合它的功能需求.4、軟件演化：是指軟件在交付以后，對(duì)軟件進(jìn)行的一系列活動(dòng)的總稱(chēng)。5、軟件需求規(guī)約是分析任務(wù)的最終產(chǎn)物，通過(guò)建立完整的信息描述、詳細(xì)的功能和行為描述、性能需求和設(shè) 計(jì)約束的說(shuō)明、合適的驗(yàn)收標(biāo)準(zhǔn)，給出對(duì)目標(biāo)軟件的各種需求。1、軟件工程：軟件工程是應(yīng)用計(jì)算機(jī)科學(xué)、數(shù)學(xué)及管理科學(xué)等原理，以