【正文】 縮了的需求分析、設(shè)計(jì)過程。軟件工具的商品化推動(dòng)了軟件產(chǎn)業(yè)的發(fā)展，而軟件產(chǎn)業(yè)的發(fā)展，又增加了對(duì)軟件工具的需求，促進(jìn)了軟件工具的商品化進(jìn)程。 　　軟件工具的發(fā)展特點(diǎn)是軟件工具有單一工具向多個(gè)工具集成化方向發(fā)展。 　　判定樹較判定表直觀易讀，判定表進(jìn)行邏輯驗(yàn)證較嚴(yán)格，能把所有的可能性全部都考慮到。 　　可行性研究需要從以下三個(gè)方面分析研究每種解決方法的可行性：技術(shù)可行性、經(jīng)濟(jì)可行性、社會(huì)可行性。 　　噴泉模型是一種以需求分析為動(dòng)力，以對(duì)象為驅(qū)動(dòng)的模型。 軟件工程試題整理_填空題　　可行性研究的目的是用最小的代價(jià)，在盡可能短的時(shí)間內(nèi)，確定該項(xiàng)目是否能夠開發(fā)。 　　4程序圖：是退化的程序流程圖。 　　4原型模型：又稱快速原型模型，它是在開發(fā)真實(shí)系統(tǒng)之前，構(gòu)造一個(gè)原型，在該原型的基礎(chǔ)上，逐漸完成整個(gè)系統(tǒng)的開發(fā)工作。 　　4條件覆蓋：是指設(shè)計(jì)足夠的測(cè)試用例，使得判定表達(dá)式中每個(gè)條件的各種可能的值至少出現(xiàn)一次。 　　4判定/條件覆蓋：指設(shè)計(jì)足夠的測(cè)試用例，使得判定表達(dá)式中的每個(gè)條件的所有可能取值至少出現(xiàn)一次，并使每個(gè)判定表達(dá)式所有可能的結(jié)果也至少出現(xiàn)一次。 　　4JSD方法：主要以活動(dòng)事件為中心，通過有一串活動(dòng)順序組合構(gòu)成的進(jìn)程，建立系統(tǒng)模型，最后實(shí)現(xiàn)該模型。 　　風(fēng)險(xiǎn)分析：實(shí)際上就是貫穿在軟件工程上的一系列風(fēng)險(xiǎn)管理步驟，其中包括風(fēng)險(xiǎn)識(shí)別、風(fēng)險(xiǎn)估計(jì)、風(fēng)險(xiǎn)管理策略、風(fēng)險(xiǎn)解決和風(fēng)險(xiǎn)監(jiān)督，它能讓人們主動(dòng)“攻擊”風(fēng)險(xiǎn)。 　　3多態(tài)性：指相同的操作或函數(shù)、過程可作用于多種類型的對(duì)象上并獲得不同結(jié)果。 　　3對(duì)象：是人們要進(jìn)行研究的任何事物，從最簡(jiǎn)單的整數(shù)到復(fù)雜的飛機(jī)等均可看作對(duì)象，它不僅能表示具體的事物，還能表示抽象的規(guī)則、計(jì)劃或事件。這是效益分析的最基本公式。反過來，若n年后能收入的本金和利息為F,則將來F元的現(xiàn)在價(jià)值(本金)P為：P=F/(1+n*i)。設(shè)年利率為I，現(xiàn)存入p元，n年后得到本金和利息為F。 　　3對(duì)象模型：表示了靜態(tài)的、結(jié)構(gòu)化的系統(tǒng)數(shù)據(jù)性質(zhì)，描述了系統(tǒng)的靜態(tài)結(jié)構(gòu)，它是從客觀世界實(shí)體的對(duì)象關(guān)系角度來描述，表現(xiàn)了對(duì)象的相互關(guān)系。它關(guān)心的是系統(tǒng)的控制，操作的執(zhí)行順序。 　　3動(dòng)態(tài)模型：是與時(shí)間和變化有關(guān)的系統(tǒng)性質(zhì)。 　　3功能模型：描述了系統(tǒng)的所有計(jì)算，它表明一個(gè)計(jì)算如何從輸入值得到輸出值，他不考慮所計(jì)算的次序。系統(tǒng)某些部分常常重復(fù)工作多次，相關(guān)功能在每次迭代中隨之加入演化的系統(tǒng)。他克服了瀑布模型不支持軟件重用和多項(xiàng)開發(fā)活動(dòng)集成的局限性。增量開發(fā)和增量提交可以同時(shí)使用，也可單獨(dú)使用。增量方式包括增量開發(fā)和增量提交。它規(guī)定了由前至后，相互銜接的固定次序，如同瀑布流水，逐級(jí)下落。 　　瀑布模型：是將軟件生存各個(gè)活動(dòng)規(guī)定為依線性順序聯(lián)接的若干階段的模型。 　　2JSP方法：定義了一組以數(shù)據(jù)結(jié)構(gòu)為指導(dǎo)的映射過程，它根據(jù)輸入、輸出的數(shù)據(jù)結(jié)構(gòu)，按一定的規(guī)則映射成軟件的過程描述，即程序結(jié)構(gòu)，而不是軟件的體系結(jié)構(gòu)，因此該方法適于詳細(xì)設(shè)計(jì)階段。這里須有檢測(cè)、切換和恢復(fù)過程，故稱其為動(dòng)態(tài)冗余。它是某事情發(fā)生的信號(hào)，它沒有持續(xù)時(shí)間，它是一種相對(duì)性的快速事件。軟件開發(fā)中的原型是軟件的一個(gè)早期可運(yùn)行的版本，它反映了最終系統(tǒng)的重要特征。 　　2靜態(tài)測(cè)試：指被測(cè)試程序不在機(jī)器上運(yùn)行，而是采用人工檢測(cè)和計(jì)算機(jī)輔助靜態(tài)分析的手段對(duì)程序進(jìn)行檢測(cè)。 　　2抽象：是認(rèn)識(shí)復(fù)雜現(xiàn)象過程中使用的思維工具，即抽出事物本質(zhì)的共同的特征而暫不考慮它的細(xì)節(jié)，不考慮其它因素。 　　1附加策略：是將原型用于開發(fā)的全過程，原型由最基本的核心開始，逐步增加新的功能和新的需求，反復(fù)修改反復(fù)擴(kuò)充，最后發(fā)展為用戶滿意的最終系統(tǒng)。它表達(dá)了系統(tǒng)中各個(gè)元素之間的信息流動(dòng)的情況。 　　1信息隱蔽：指在設(shè)計(jì)和確定模塊時(shí)，使得一個(gè)模塊內(nèi)包含的信息（過程或數(shù)據(jù)），對(duì)于不需要這些信息的其它模塊來說，是不能訪問的。 　　1JSP方法：定義了一組以數(shù)據(jù)結(jié)構(gòu)為指導(dǎo)的映射過程，他根據(jù)輸入、輸出的數(shù)據(jù)結(jié)構(gòu)，按一定的規(guī)則映射成軟件的過程描述，即程序結(jié)構(gòu)，而不是軟件的體系結(jié)構(gòu)，因此該方法適于詳細(xì)設(shè)計(jì)階段。一個(gè)腳本將模擬在系統(tǒng)運(yùn)行期間用戶經(jīng)歷的事件，它提供了輸入、處理、輸出的屏蔽，以及有關(guān)對(duì)話的一個(gè)模型，開發(fā)者能夠給用戶顯示一個(gè)系統(tǒng)的逼真視圖。 　　1結(jié)構(gòu)化分析：是根據(jù)分解與抽象的原則，按照系統(tǒng)中數(shù)據(jù)處理的流程，用數(shù)據(jù)圖來建立系統(tǒng)的功能模型，從而完成需求分析工作。或者說，面向?qū)ο笤O(shè)計(jì)就是用面向?qū)ο笥^點(diǎn)建立求解域模型的過程。 　　系統(tǒng)設(shè)計(jì)說明書：是從系統(tǒng)總體的角度出發(fā)對(duì)系統(tǒng)建設(shè)中各主要技術(shù)方面的設(shè)計(jì)進(jìn)行說明，是系統(tǒng)設(shè)計(jì)階段的產(chǎn)物，其著重點(diǎn)在于闡述系統(tǒng)設(shè)計(jì)的指導(dǎo)思想以及所采用的技術(shù)路線和方法，編寫系統(tǒng)設(shè)計(jì)說明書將為后續(xù)的系統(tǒng)開發(fā)工作從技術(shù)和指導(dǎo)思想上提供必要的保證。 　　可執(zhí)行的規(guī)格說明：這是一種使要求說明過程自動(dòng)化的技術(shù)，通過可執(zhí)行的規(guī)格說明語(yǔ)言來描述預(yù)期的行為“做什么”，人們可以從直接觀察中用規(guī)格說明語(yǔ)言來規(guī)定任何系統(tǒng)行為。每加入一個(gè)新模塊進(jìn)行一次集成測(cè)試，重復(fù)此過程直至程序組裝完畢。因此，黑盒測(cè)試又稱為功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試。白盒法也不可能進(jìn)行窮舉測(cè)試。軟件工程試題整理_詞語(yǔ)解釋題 　 需求分析：需求分析是指開發(fā)人員要準(zhǔn)確理解用戶的需求，進(jìn)行細(xì)致的調(diào)查分析，將用戶非形式的需求陳述轉(zhuǎn)化成完整的需求定義，再由需求定義轉(zhuǎn)換到相應(yīng)的形式功能規(guī)約（需求規(guī)格說明）的過程。　　白盒法：該方法把測(cè)試對(duì)象看作一個(gè)打開的盒子，測(cè)試人員須了解程序的內(nèi)部結(jié)構(gòu)和處理過程，以檢查處理過程的細(xì)節(jié)為基礎(chǔ)，對(duì)程序中盡可能多的邏輯路徑進(jìn)行測(cè)試，檢查內(nèi)部控制結(jié)構(gòu)和數(shù)據(jù)結(jié)構(gòu)是否有錯(cuò)，實(shí)際的運(yùn)行狀態(tài)與預(yù)期的狀態(tài)是否一致。 　　黑盒法：該方法把被測(cè)試對(duì)象看成一個(gè)黑盒子，測(cè)試人員完全不考慮程序的內(nèi)部結(jié)構(gòu)和處理過程，只在軟件接口處進(jìn)行測(cè)試，依照需求規(guī)格說明書，檢查程序是否滿足功能要求。 　　漸增式測(cè)試：逐個(gè)把未經(jīng)過測(cè)試的模塊組裝到已經(jīng)過測(cè)試的模塊上去，進(jìn)行集成測(cè)試。 　　非漸增式測(cè)試：首先對(duì)每個(gè)模塊分別進(jìn)行單元測(cè)試，然后再把所有的模塊按設(shè)計(jì)要求組裝在一起進(jìn)行測(cè)試。 　　經(jīng)濟(jì)可行性：對(duì)組織的經(jīng)濟(jì)狀況和投資能力進(jìn)行分析，對(duì)系統(tǒng)建設(shè)，運(yùn)行和維護(hù)費(fèi)用進(jìn)行估算，對(duì)系統(tǒng)建成后可能取得的社會(huì)及經(jīng)濟(jì)效益進(jìn)行估計(jì)。 　　面向?qū)ο笤O(shè)計(jì)：是把分析階段得到的需求轉(zhuǎn)變成符合成本和質(zhì)量要求的、抽象的系統(tǒng)實(shí)現(xiàn)方案的過程。 　　結(jié)構(gòu)化設(shè)計(jì)：面向數(shù)據(jù)流的設(shè)計(jì)是以需求分析階段產(chǎn)生的數(shù)據(jù)流圖為基礎(chǔ)，按一定的步驟映射成軟件結(jié)構(gòu)，因此又稱結(jié)構(gòu)化設(shè)計(jì)（SD）。 　　1基于腳本的設(shè)計(jì)：此方法主要用于解決要求的驗(yàn)證問題。 　　1IDEF方法：是美國(guó)空軍在1981年針對(duì)集成化計(jì)算機(jī)輔助制造（簡(jiǎn)稱ICAM）工程項(xiàng)目中用于進(jìn)行復(fù)雜系統(tǒng)分析和設(shè)計(jì)的方法，是在結(jié)構(gòu)化分析與設(shè)計(jì)技術(shù)的基礎(chǔ)上提出來的。 　　1軟件概要設(shè)計(jì)：進(jìn)入了設(shè)計(jì)階段，要把軟件“做什么”的邏輯模型變換為“怎么做”的物理模型，即著手實(shí)現(xiàn)軟件的需求，并將設(shè)計(jì)的結(jié)果反應(yīng)在“設(shè)計(jì)規(guī)格說明書”文檔中，所以軟件設(shè)計(jì)是一個(gè)把軟件需求轉(zhuǎn)換為軟件表示的過程，最初這種表示只是描述了軟件的總的體系結(jié)構(gòu)，稱為軟件的概要設(shè)計(jì)或結(jié)構(gòu)設(shè)計(jì)。 　　1系統(tǒng)流程圖：是描述物理系統(tǒng)的傳統(tǒng)工具，它用圖形符號(hào)來表示系統(tǒng)中的各個(gè)元素，例如人工處理、數(shù)據(jù)處理、數(shù)據(jù)庫(kù)、文件、設(shè)備等。 　　1集成測(cè)試：是指在單元測(cè)試的基礎(chǔ)上，將所有模塊按照設(shè)計(jì)要求組裝成一個(gè)完整的系統(tǒng)進(jìn)行的測(cè)試，故也稱組裝測(cè)試或聯(lián)合測(cè)試。 　　拋棄策略：是將原型用于開發(fā)過程的某一階段，促使該階段的開發(fā)結(jié)果更加完整、準(zhǔn)確、一致、可靠，該階段結(jié)束后，原型隨之作廢。 　　2參數(shù)化抽象：所謂參數(shù)化抽象，它是指當(dāng)描述類的規(guī)格說明時(shí)并不具體指定所要操作的數(shù)據(jù)類型，而是把數(shù)據(jù)類型作為參數(shù)。 　　2原型：是指模擬某種產(chǎn)品的原型模型。 　　2事件：是指定時(shí)刻發(fā)生的某件事情。 　　2動(dòng)態(tài)冗余：動(dòng)態(tài)冗余的主要方式是多種模塊待機(jī)儲(chǔ)備，當(dāng)系統(tǒng)檢測(cè)到某工作模塊出現(xiàn)錯(cuò)誤時(shí)，就用一個(gè)備用的模塊來頂替它并重新運(yùn)行。 　　2模塊化：是指解決一個(gè)復(fù)雜問題是自頂向下逐層把軟件系統(tǒng)劃分成若干模塊的過程，每個(gè)模塊完成一個(gè)特定的子功能，所有的模塊按某種方法組裝起來，成為一個(gè)整體，完成整個(gè)系統(tǒng)所要求的功能。 　　2模型：是為了理解事務(wù)而對(duì)事物做出一種抽象，它忽略不必要的細(xì)節(jié)，它也是事物的一種抽象形式，一個(gè)規(guī)劃，一個(gè)程式。它包括可行性分析、項(xiàng)目開發(fā)計(jì)劃、需求分析、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)、編碼、測(cè)試和維護(hù)。 　　3增量模型：是在項(xiàng)目的開發(fā)工程中以一系列的增量方式開發(fā)系統(tǒng)。增量開發(fā)是指在項(xiàng)目開發(fā)過程中以一定的時(shí)間間隔開發(fā)部分工作軟件；增量提交是指在開發(fā)周期內(nèi)，以一定的時(shí)間間隔增量方式向用戶提交工作軟件及相應(yīng)穩(wěn)當(dāng)。 　　3噴泉模型：是一種以用戶需求為動(dòng)力，以對(duì)對(duì)象作為驅(qū)動(dòng)的模型，適合于面向?qū)ο蟮拈_發(fā)方法。噴泉模型使開發(fā)過程具有迭代性和無(wú)間隙性。無(wú)間隙是指在分析、設(shè)計(jì)、實(shí)現(xiàn)等開發(fā)活動(dòng)之間不存在明顯的邊界。功能模型說明對(duì)象模型中操作的涵義、動(dòng)態(tài)模型中動(dòng)作的意義以及對(duì)象模型中約束的意義。該模型描述了系統(tǒng)的控制結(jié)構(gòu)，他表示了瞬時(shí)的、行為化的系統(tǒng)控制性質(zhì)。它從對(duì)象的事件和狀態(tài)的角度出發(fā)，表現(xiàn)了對(duì)象的相互行為。 　　3貨幣的時(shí)間價(jià)值：通常利用銀行的存款利息來表示貨幣的時(shí)間價(jià)值。若不計(jì)復(fù)利，則P元在n年后的價(jià)值為：F=P*(1+n*i)?？捎眠@個(gè)公式來計(jì)算將來收入的現(xiàn)在價(jià)值。 　　3類：具有相同或相似性質(zhì)的對(duì)象的抽象就是類。類的具體化就是對(duì)象，也可以說類的實(shí)例是對(duì)象。不同的對(duì)象，收到同一消息可以產(chǎn)生不同的結(jié)果，這種現(xiàn)象稱為多態(tài)性。 　　4模塊：模塊在程序重視數(shù)據(jù)說明、可執(zhí)行語(yǔ)句等程序?qū)ο蟮募希蛘呤菃为?dú)命名和編址的元素，如高級(jí)語(yǔ)言中的過程、函數(shù)、子程序等等。 　　4路徑覆蓋：指設(shè)計(jì)足夠的測(cè)試用例，覆蓋被測(cè)程序中所有可能的路徑。 　　4條件組合覆蓋：是指設(shè)計(jì)足夠的測(cè)試用例，使的每個(gè)判定表達(dá)式中條件的各種可能的值的組合都至少出現(xiàn)一次，條件組合覆蓋是比較強(qiáng)的覆蓋標(biāo)準(zhǔn)。滿足條件覆蓋并不一定滿足判定覆蓋。 　　4軟件工程環(huán)境：美國(guó)國(guó)防部在STARS計(jì)劃中定義如下：“軟件工程環(huán)境是一組方法、過程及計(jì)算機(jī)程序（計(jì)算機(jī)化的工具）的整體化構(gòu)件，他支持從需求定義、程序生成知道維護(hù)的整個(gè)軟件生存期”