【正文】 軟件，在一定程度上具有容錯(cuò)能力，則稱之為容錯(cuò)軟件。實(shí)現(xiàn)容錯(cuò)技術(shù)的主要手段是冗余。通常冗余技術(shù)分為四類。(1)結(jié)構(gòu)冗余。結(jié)構(gòu)冗余是通常用的冗余技術(shù)。按其工作方式，它分為靜態(tài)、動(dòng)態(tài)和混合冗余三種。(2)信息冗余。為檢查或糾正信息在運(yùn)算或傳輸中的錯(cuò)誤須外加一部分信息，這種現(xiàn)象稱為信息冗余。(3)時(shí)間冗余。是指以重復(fù)執(zhí)行指令(指令復(fù)執(zhí))或程序(程序復(fù)算)來消除瞬時(shí)錯(cuò)誤帶來的影響。(4)冗余附加技術(shù)。是指為實(shí)現(xiàn)上述冗余技術(shù)所需的資源和技術(shù)。包括程序、指令、數(shù)據(jù)、存放和調(diào)動(dòng)它們的空間和通道等。4. 開放式工作臺(tái)有什么優(yōu)點(diǎn)?答案：(1)易將某個(gè)工具加入到開放式工作臺(tái)中，還可以用新的工具取代已有的工具。(2)可以由一個(gè)配置管理系統(tǒng)來管理由工具輸出的文件。(3)能不斷增強(qiáng)工作臺(tái)的功能，不斷發(fā)展工作臺(tái)。(4)工作臺(tái)不依賴于某個(gè)供應(yīng)商，而能從不同銷售商處購(gòu)買工具。如果一個(gè)工具開發(fā)商不提供支持了，最多只影響該工作臺(tái)的一部分工具，其余的工具還可以繼續(xù)使用。模擬2四、簡(jiǎn)答題(本大題共4小題，每小題5分，共20分)1. 非漸增式測(cè)試與漸增式測(cè)試有什么區(qū)別?漸增式測(cè)試如何組裝模塊?答案：漸增方式與非漸增方式測(cè)試的方法有以下區(qū)別：(1)非漸增式方法把單元測(cè)試和集成測(cè)試分成兩個(gè)不同的階段，前一階段完成模塊的單元測(cè)試，后一階段完成集成測(cè)試。而漸增式測(cè)試往往把單元測(cè)試與集成測(cè)試合在一起，同時(shí)完成。(2)非漸增式需要更多的工作量，因?yàn)槊總€(gè)模塊都需要驅(qū)動(dòng)模塊和樁模塊，而漸增式利用已測(cè)試過的模塊作為驅(qū)動(dòng)模塊或樁模塊，因此工作量較少。(3)漸增式可以較早地發(fā)現(xiàn)接口之間的錯(cuò)誤，非漸增式最后組裝時(shí)才發(fā)現(xiàn)。(4)漸增式有利于排錯(cuò)，發(fā)生錯(cuò)誤往往和最近加進(jìn)來的模塊有關(guān)，而非漸增式發(fā)現(xiàn)接口錯(cuò)誤推遲到最后，很難判斷是哪一部分接口出錯(cuò)。(5)漸增式比較徹底，已測(cè)試的模塊和新的模塊再測(cè)試。(6)漸增式占用的時(shí)間較多，但非漸增式需更多的驅(qū)動(dòng)模塊、樁模塊也占用一些時(shí)間。(7)非漸增式開始可并行測(cè)試所有模塊，能充分利用人力，對(duì)測(cè)試大型軟件很有意義。漸增式測(cè)試有以下兩種不同的組裝模塊的方法：(1)自頂向下組合。該方法只需編寫樁模塊，其步驟是從頂層模塊開始，沿被測(cè)程序的軟件結(jié)構(gòu)圖的控制路徑逐步向下測(cè)試，從而把各個(gè)模塊都結(jié)合進(jìn)來，它又有兩種組合策略：①深度優(yōu)先策略：先從軟件結(jié)構(gòu)中選擇一條主控制路徑，把該路徑上的模塊一個(gè)個(gè)結(jié)合進(jìn)來進(jìn)行測(cè)試，以便完成一個(gè)特定的子功能，接著再結(jié)合其它需要優(yōu)先考慮的路徑。②寬度優(yōu)先策略：逐層結(jié)合直接下屬的所有模塊。(2)自底向上結(jié)合。該方法僅需編寫驅(qū)動(dòng)模塊。其步驟為：①把低層模塊組合成實(shí)現(xiàn)一個(gè)個(gè)特定子功能的族。②為每一個(gè)族編寫一個(gè)驅(qū)動(dòng)模塊，以協(xié)調(diào)測(cè)試用例的輸入和測(cè)試結(jié)果的輸出。③對(duì)模塊族進(jìn)行測(cè)試。④按軟件結(jié)構(gòu)圖依次向上擴(kuò)展，用實(shí)際模塊替換驅(qū)動(dòng)模塊，形成一個(gè)個(gè)更大的族。⑤重覆②至④步，直至軟件系統(tǒng)全部測(cè)試完畢。2. 什么是軟件危機(jī)?其產(chǎn)生的原因是什么?答案：當(dāng)軟件開發(fā)技術(shù)的進(jìn)步不能跟上硬件技術(shù)的進(jìn)步，未能滿足發(fā)展的要求，致軟件開發(fā)中遇到的問題找不到解決的辦法，使問題積累起來，形成了尖銳的矛盾，因而導(dǎo)致了軟件危機(jī)。主要表現(xiàn)為：(1)經(jīng)費(fèi)預(yù)算經(jīng)常突破，完成時(shí)間一再拖延；(2)開發(fā)的軟件不能滿足用戶要求；(3)開發(fā)的軟件可維護(hù)性差；(4)開發(fā)的軟件可靠性差。造成軟件危機(jī)的原因是由于軟件產(chǎn)品本身的特點(diǎn)以及開發(fā)軟件的方式、方法、技術(shù)和人員引起的。其產(chǎn)生原因主要有以下幾方面：(1)軟件的規(guī)模越來越大，結(jié)構(gòu)越來越復(fù)雜；(2)軟件開發(fā)管理困難而復(fù)雜； (3)軟件開發(fā)費(fèi)用不斷增加；(4)軟件開發(fā)技術(shù)落后；(5)生產(chǎn)方式落后；(6)開發(fā)工具落后，生產(chǎn)率提高緩慢。3. 簡(jiǎn)述SA方法的優(yōu)缺點(diǎn)?答案：結(jié)構(gòu)化分析方法是軟件需求分析中公認(rèn)的、有成效的、技術(shù)成熟、使用廣泛的一種方法，它較適合于開發(fā)數(shù)據(jù)處理類型軟件的需求分析。該方法利用圖形等半形式化工具表達(dá)需求，簡(jiǎn)明、易讀，也易于使用，為后一階段的設(shè)計(jì)、測(cè)試、評(píng)價(jià)提供了有利的條件。但SA方法也存在有不足之處：(1)傳統(tǒng)的SA方法主要用于數(shù)據(jù)處理方面的問題，主要工具DFD體現(xiàn)了系統(tǒng)“做什么”的功能，但它僅是一個(gè)靜態(tài)模型，沒有反映處理的順序，即控制流程。因此，不適合描述實(shí)時(shí)控制系統(tǒng)。(2)SA方法使用DFD在分析與描述“數(shù)據(jù)要求”方面是有限的，DFD應(yīng)與數(shù)據(jù)庫技術(shù)中的實(shí)體聯(lián)系圖(ER圖)結(jié)合起來。(3)DFD不適合描述人機(jī)界面系統(tǒng)的需求。SA方法則對(duì)這一部分用自然語言作補(bǔ)充，對(duì)這類系統(tǒng)可采取其他的分析方法。(4)為了更精確地描述軟件需求，提高軟件系統(tǒng)的可靠性、安全性，也便于實(shí)現(xiàn)自動(dòng)化，SA方法可與形式化方法結(jié)合起來。4. 軟件設(shè)計(jì)的基本原理包括哪些內(nèi)容?答案：模塊化。指解決一個(gè)復(fù)雜問題時(shí)自頂向下逐層把軟件系統(tǒng)劃分成若干模塊的過程。每個(gè)模塊完成一個(gè)特定的子功能，所有的模塊按某種方法組裝起來，成為一個(gè)整體，完成整個(gè)系統(tǒng)所要求的功能。模塊化是軟件解決復(fù)雜問題所具備的手段。抽象。抽象是認(rèn)識(shí)復(fù)雜現(xiàn)象過程中使用的思維工具即抽出事物本質(zhì)的共同的特性而暫不考慮它的細(xì)節(jié)，不考慮其它因素。軟件工程過程中的每一步都可以看作是對(duì)軟件解決方法的抽象層次的一次細(xì)化。信息隱蔽。信息隱蔽指在設(shè)計(jì)和確定模塊時(shí)，使得一個(gè)模塊內(nèi)包含的信息(過程或數(shù)據(jù))，對(duì)于不需要這些信息的其它模塊來說，是不能訪問的。通過信息隱蔽，可以定義和實(shí)施對(duì)模塊的過程細(xì)節(jié)和局部數(shù)據(jù)結(jié)構(gòu)的存取限制。模塊獨(dú)立性。模塊獨(dú)立性指每個(gè)模塊只完成系統(tǒng)要求的獨(dú)立的子功能，并且與其它模塊的聯(lián)系最少且接口簡(jiǎn)單模擬1四、簡(jiǎn)答題(本大題共4小題，每小題5分，共20分)1. 可行性研究的任務(wù)是什么?答案：首先需要進(jìn)行概要的分析研究，初步確定項(xiàng)目的規(guī)模和目標(biāo)，確定項(xiàng)目的約束和限制，把它們清楚地列舉出來。然后，分析員進(jìn)行簡(jiǎn)要的需求分析，抽象出該項(xiàng)目的邏輯結(jié)構(gòu)，建立邏輯模型。從邏輯模型出發(fā)，經(jīng)過壓縮的設(shè)計(jì)，探索出若干種可供選擇的主要解決辦法，對(duì)每種解決辦法都要研究它的可行性?？蓮囊韵氯齻€(gè)方面分析研究每種解決方法可行性。 (1)技術(shù)可行性：對(duì)要開發(fā)項(xiàng)目的功能、性能、限制條件進(jìn)行分析，確定在現(xiàn)有的資源條件下，技術(shù)風(fēng)險(xiǎn)有多大，項(xiàng)目是否能實(shí)現(xiàn)。(2)經(jīng)濟(jì)可行性：進(jìn)行開發(fā)成本的估算以及了解取得效益的評(píng)估，確定要開發(fā)的項(xiàng)目是否值得投資開發(fā)。(3)社會(huì)可行性：要開發(fā)的項(xiàng)目是否存在任何侵犯、妨礙等責(zé)任問題，要開發(fā)項(xiàng)目的運(yùn)行方式在用戶組織內(nèi)是否行得通，現(xiàn)有管理制度、人員素質(zhì)、操作方式是否可行。2. 軟件工程標(biāo)準(zhǔn)化的意義是什么?都有哪些軟件工程標(biāo)準(zhǔn)?答案：積極推進(jìn)軟件工程標(biāo)準(zhǔn)化，其道理是顯而易見的。僅就一個(gè)軟件開發(fā)項(xiàng)目來說，有許多層次、不同分工的人員相互配合，在開發(fā)項(xiàng)目的各個(gè)部分以及各開發(fā)階段之間也都存在許多聯(lián)系和銜接問題。如何把這些錯(cuò)綜復(fù)雜的關(guān)系協(xié)調(diào)好，需要有一系列統(tǒng)一的約束和規(guī)定。在軟件開發(fā)項(xiàng)目取得階段成果或最后完成時(shí)，需要進(jìn)行階段評(píng)審和驗(yàn)收測(cè)試。投入運(yùn)行的軟件，其維護(hù)工作中遇到問題又與開發(fā)工作者有著密切的關(guān)系。軟件的管理工作則滲透到軟件生存期的每一個(gè)環(huán)節(jié)。所有這些都要求提供統(tǒng)一的行動(dòng)規(guī)范和衡量準(zhǔn)則，使得各種工作都有章可循。軟件工程的標(biāo)準(zhǔn)主要有以下三個(gè)：(1)FIPS 135是美國(guó)國(guó)家標(biāo)準(zhǔn)局發(fā)布的《軟件文檔管理指南》(2)NSAC——39是美國(guó)核子安全分析中心發(fā)布的《安全參數(shù)顯示系統(tǒng)的驗(yàn)證與確認(rèn)》。(3)ISO 5807是國(guó)際標(biāo)準(zhǔn)化組織公布(現(xiàn)已成為中國(guó)的國(guó)家標(biāo)準(zhǔn))的《信息處理—數(shù)據(jù)流程圖、程序流程圖、程序網(wǎng)絡(luò)圖和系統(tǒng)資源圖的文件編制符號(hào)及約定》。3. 什么是基本加工?描述表達(dá)基本加工邏輯功能的結(jié)構(gòu)化工具的特點(diǎn)?答案：數(shù)據(jù)流圖中所有不進(jìn)一步分解的加工，稱為基本加工。描述表達(dá)基本加工邏輯功能的結(jié)構(gòu)化工具主要有：(1)自然語言的文字?jǐn)⑹觥?2)結(jié)構(gòu)化語言。(3)決策樹。(4)決策表。(5)數(shù)學(xué)公式。(6)上述各工具的聯(lián)合使用。其特點(diǎn)如下所述：(1)自然語言語義豐富，語法靈活，可描述十分廣泛而復(fù)雜的問題，表達(dá)人們豐富的感情和智慧。(2)結(jié)構(gòu)化語言沒有嚴(yán)格的語法規(guī)定，使用的詞匯比形式化的計(jì)算機(jī)語言廣泛，但使用的語句類型很少，結(jié)構(gòu)規(guī)范，表達(dá)的內(nèi)容清晰、準(zhǔn)確、易理解，不易產(chǎn)生歧義。(3)決策樹清晰地表達(dá)了在什么情況下應(yīng)采取什么策略，不易產(chǎn)生邏輯上的混亂。是描述基本加工的邏輯功能的有效工具。(4)決策表將比較復(fù)雜的決策問題簡(jiǎn)潔、明確、一目了然地描述出來。它是描述條件比較多的決策問題的有效工具。4. 增量模型的基本思想是什么?答案：為了克服瀑布模型的局限性，使開發(fā)過程具有一定的靈活性和可修改性，于是產(chǎn)生了增量模型。它是在瀑布模型的基礎(chǔ)上加以修改而形成的。增量模型和瀑布模型之間的本質(zhì)區(qū)別是：瀑布模型屬于整體開發(fā)模型，它規(guī)定在開始下一個(gè)階段的工作之前，必須完成前一階段的所有細(xì)節(jié)。而增量模型屬于非整體開發(fā)模型，它推遲某些階段或所有階段中的細(xì)節(jié)，從而較早的產(chǎn)生工作軟件。增量模型是在項(xiàng)目的開發(fā)過程中以一系列的增量方式開發(fā)系統(tǒng)。增量方式包括增量開發(fā)和增量提交。增量開發(fā)是指在項(xiàng)目開發(fā)周期內(nèi)，以一定的時(shí)間間隔開發(fā)部分工作軟件；增量提交是指在項(xiàng)目開發(fā)周期內(nèi)，以一定的時(shí)間間隔增量方式向用戶提交工作軟件及相應(yīng)文檔。增量開發(fā)和增量提交可以同時(shí)使用，也可單獨(dú)使用。17 / 1