北郵信息安全專業(yè)容錯計算技術(shù)第6章

第六章軟件容錯技術(shù)—軟件冗余軟件容錯技術(shù)概述軟件可靠性的根本概念軟件避錯技術(shù)軟件容錯技術(shù)軟件N版本設(shè)計技術(shù)軟件恢復(fù)技術(shù)軟件可靠性模型概述軟件危機(jī)的產(chǎn)生軟件老化問題軟件可靠性技術(shù)的興起軟件危機(jī)1962年，“水手1號〞因其機(jī)艙計算機(jī)導(dǎo)航程序過失未能到達(dá)進(jìn)展，這是早期人類從軟件過失中得到的艱苦教訓(xùn)20世紀(jì)60年代后期，計算機(jī)用戶首先認(rèn)識到了軟件危機(jī)：軟件產(chǎn)品遲遲不能交付、軟件質(zhì)量低劣、維護(hù)代價高昂；軟件開發(fā)人員感到力不從心，對軟件的正確性缺乏自信心；高軟件需求和低消費(fèi)效率導(dǎo)致軟件費(fèi)用急劇上漲1998年的軟件工程N(yùn)ATO會議上，科學(xué)界和實業(yè)界終于一致成認(rèn)了軟件危機(jī)的存在軟件缺點(diǎn)的根源軟件錯誤導(dǎo)致產(chǎn)生含有缺陷的軟件的人為行動(國標(biāo)GB/T11457-1995)軟件誤差存在于軟件〔文檔、數(shù)據(jù)、程序〕之中的那些不希望或不可接受的偏向人為操作失誤軟件運(yùn)轉(zhuǎn)過程中的非法輸入軟件老化(Softwareaging)軟件老化是指軟件系統(tǒng)運(yùn)轉(zhuǎn)速度的降低，或者是由于操作系統(tǒng)資源的耗盡、碎片以及錯誤的積累導(dǎo)致的程序忽然解體主要是由于軟件系統(tǒng)資源的損耗因其的，緣由包括內(nèi)存泄露、未釋放的文件操作符、數(shù)字舍入錯誤、操作環(huán)境的數(shù)據(jù)損壞等軟件的缺陷等要素都會導(dǎo)致軟件老化景象的產(chǎn)生，有效地方式是自動式容錯戰(zhàn)略，比如軟件再生技術(shù)軟件再生技術(shù)：定期自動停頓運(yùn)轉(zhuǎn)程序，清理程序的內(nèi)部環(huán)境，去除積累錯誤，然后重新啟動軟件使之進(jìn)入一個正常的初始形狀，從而防止因軟件老化引起的突發(fā)性失效，提高軟件系統(tǒng)的可靠性和可用性軟件可靠性的興起管理技術(shù)程序設(shè)計方法學(xué)驗證技術(shù)管理技術(shù)軟件行業(yè)管理包括有關(guān)軟件的政策、法律和規(guī)范化等問題工程管理針對一個詳細(xì)軟件開發(fā)工程進(jìn)展過程包括：制定開發(fā)目的和驗收規(guī)范，以及階段目的。根據(jù)軟件生存周期〔要求、闡明、設(shè)計、實現(xiàn)、驗證、運(yùn)轉(zhuǎn)和維護(hù)〕，在每一階段具有規(guī)范文件，經(jīng)過對文件的管理控制工程的管理組織管理經(jīng)過合理分配工程成員的任務(wù)，使每個成員能動性充分發(fā)揚(yáng)并使乘員減到達(dá)良好的協(xié)調(diào)組織管理主程序員擔(dān)任制主程序員擔(dān)任指揮整個工程開發(fā)組。主程序員擔(dān)任設(shè)計義務(wù)和關(guān)鍵代碼、對外交流等。后備主程序員，負(fù)指摘選方案。同時參與方案、設(shè)計、編碼和測試等任務(wù)其他成員是編程人員，擔(dān)任管理程序庫、文件、測試數(shù)據(jù)和測試結(jié)果實際闡明，主程序員擔(dān)任制是消費(fèi)高可靠軟件產(chǎn)品的合理體制編程秘書制集體編程制軟件可靠性的興起管理技術(shù)程序設(shè)計方法學(xué)包括構(gòu)造程序設(shè)計、程序綜合、程序推導(dǎo)、函數(shù)程序設(shè)計、遞歸程序設(shè)計以及有關(guān)的方式闡明和程序變換技術(shù)這些技術(shù)是程序具有易于了解和驗證的良好構(gòu)造，但以運(yùn)轉(zhuǎn)效率為代價為此，可以先設(shè)計一個良好構(gòu)造的程序作為了解和驗證的文本，然后用程序變換技術(shù)把它變換成一個高效運(yùn)轉(zhuǎn)的程序，最后運(yùn)轉(zhuǎn)驗證技術(shù)軟件可靠性的興起管理技術(shù)程序設(shè)計方法學(xué)驗證技術(shù)程序測試：以發(fā)現(xiàn)過失為目的的過程，經(jīng)過對被測試的構(gòu)造分析〔靜態(tài)測試〕或?qū)嵺`運(yùn)轉(zhuǎn)〔動態(tài)測試〕來實現(xiàn)程序正確性證明：在不思索程序運(yùn)轉(zhuǎn)環(huán)境條件下確實認(rèn)程序正確性。方法包括Floyd-Manner的不變式推理方法、MchMarchy的遞歸歸納法、Horare的公理化方法和Dijkstra的弱謂詞變換方法軟件容錯技術(shù)概述軟件可靠性的根本概念軟件避錯技術(shù)軟件容錯技術(shù)軟件N版本設(shè)計技術(shù)軟件恢復(fù)技術(shù)軟件可靠性模型軟件可靠性的根本概念軟件可靠性主要目的軟件缺點(diǎn)、失效和錯誤軟件可靠性1983年，IEEE對出如下定義：在規(guī)定的條件下，在規(guī)定的時間內(nèi)，軟件不引起系統(tǒng)失效的概率在規(guī)定的時間周期內(nèi)，在所述條件下程序執(zhí)行所要求的功能的才干經(jīng)美國規(guī)范化研討所同意作為美國的國家規(guī)范1989年我國國標(biāo)GB/T-11457采用了這個定義幾個概念正確性軟件系統(tǒng)本身沒有缺點(diǎn)，并能證明它完全符合要求強(qiáng)壯性在硬件發(fā)生缺點(diǎn)或輸入不正?；颦h(huán)境發(fā)生異常情況等條件下，軟件仍能進(jìn)展適當(dāng)任務(wù)可靠性第一節(jié)軟件可靠性的根本概念軟件可靠性主要目的軟件缺點(diǎn)、失效和錯誤主要目的軟件可靠度函數(shù)R(t)軟件失效分布函數(shù)F(t)對于一個系統(tǒng)，假設(shè)只思索系統(tǒng)勝利與失敗主要目的失效密度函數(shù)f(t)系統(tǒng)在t時辰單位時間內(nèi)的失效概率主要目的軟件失效率函數(shù)取一個不太長的時間t，可以假設(shè)

軟件和硬件的比較軟件失效率第一節(jié)軟件可靠性的根本概念軟件可靠性主要目的軟件缺點(diǎn)、失效和錯誤軟件缺點(diǎn)、失效和錯誤缺點(diǎn)〔fault〕：軟件的內(nèi)在缺陷稱為缺點(diǎn)，能夠在軟件生存期的各個階段產(chǎn)生錯誤〔error〕：缺點(diǎn)所呵斥的后果，亦即導(dǎo)致運(yùn)轉(zhuǎn)中出現(xiàn)的異常形狀失效〔failure〕：錯誤呵斥系統(tǒng)的輸出不滿足最初對軟件的要求和闡明軟件缺點(diǎn)的性質(zhì)對人的依賴性固有性對環(huán)境的敏感性傳播性軟件可靠性技術(shù)的架構(gòu)軟件容錯技術(shù)概述軟件可靠性的根本概念軟件避錯技術(shù)軟件容錯技術(shù)軟件N版本設(shè)計技術(shù)軟件恢復(fù)技術(shù)軟件可靠性模型軟件避錯技術(shù)方式闡明可靠性程序設(shè)計的根本技術(shù)程序驗證技術(shù)軟件避錯技術(shù)-方式闡明軟件開發(fā)的目的是要把問題用一種嚴(yán)厲的、數(shù)據(jù)化或邏輯化的言語把問題描畫出來，得到問題的方式闡明方式闡明是程序設(shè)計和驗證的根底分類：描畫問題功能性質(zhì)的闡明，通常把問題描畫成一個函數(shù)，問題的輸入對應(yīng)于函數(shù)的參數(shù)，輸出那么對應(yīng)于函數(shù)的值描畫問題邏輯性質(zhì)的闡明，通常把問題描畫成一個過程、流程圖或方框圖功能闡明功能闡明有限制輸入取值范圍的輸入闡明和規(guī)定輸出結(jié)果的輸出闡明組成例：求自然數(shù)的階乘Functionf(n:Integer,n>=0):Integer;f:=n!;Return;邏輯闡明對有些問題，給出問題的邏輯描畫更容易，或者給出邏輯描畫后，換換成程序更容易，在此情況下需求給出問題的邏輯闡明例計算一個整數(shù)集合中大與整數(shù)a的元素個數(shù)可靠程序設(shè)計的根本技術(shù)程序綜合技術(shù)首先把方式闡明變?yōu)榻獾拇嬖谛远ɡ恚莺髮ひ掃@個存在性定理的構(gòu)外型證明，最后把證明過程轉(zhuǎn)換為程序遞歸程序設(shè)計技術(shù)軟件構(gòu)造化設(shè)計技術(shù)遞歸程序設(shè)計技術(shù)步驟1、定義參數(shù)上的一個良序集合，以便程序一定能中止2、對參數(shù)進(jìn)展適當(dāng)?shù)姆治觯渲斜匦璋ㄒ环N易于計算的特殊情形作為終了條件〔非遞歸分支〕3、計算出特殊情況下的函數(shù)值4、找出普通情況下函數(shù)值與具有較小參數(shù)的函數(shù)值之間的等式關(guān)系，得到遞歸分支5、把一切分支用條件表達(dá)式綜合為一個程序軟件構(gòu)造化設(shè)計技術(shù)構(gòu)造化設(shè)計存在于軟件生存期的闡明、設(shè)計和實現(xiàn)階段設(shè)計階段的數(shù)據(jù)流設(shè)計設(shè)計階段的數(shù)據(jù)構(gòu)造設(shè)計技術(shù)實現(xiàn)階段的構(gòu)造化程序設(shè)計技術(shù)數(shù)據(jù)流設(shè)計1974年作為軟件系統(tǒng)設(shè)計的自頂向下方法有Constantine提出，突出了模塊化的設(shè)計思想，力圖在軟件設(shè)計的開場就把所設(shè)計的系統(tǒng)劃分為假設(shè)干相互獨(dú)立的模塊，使每個模塊要完成的義務(wù)明確而單純，到達(dá)程序設(shè)計簡單、易于了解、調(diào)試和修正的目的數(shù)據(jù)流設(shè)計以加強(qiáng)模塊的獨(dú)立性為根底，要求模塊間的聯(lián)絡(luò)盡能夠弱，信息和數(shù)據(jù)交流盡能夠少，模塊內(nèi)部聯(lián)絡(luò)盡能夠強(qiáng)，信息和數(shù)據(jù)交流盡能夠多，幾所謂的弱耦合性和強(qiáng)內(nèi)聚性設(shè)計為獲得耦合性弱和內(nèi)聚性強(qiáng)的模塊劃分，需求按層次來組織模塊，頂層模塊擔(dān)任主要功能變換，頂層模塊下屬輸入、輸出和變換模塊。當(dāng)需求輸入數(shù)據(jù)時，頂層模塊調(diào)用其下屬輸入模塊，。。。，之所以需求經(jīng)過模塊傳送和變換輸入、輸出信息，是為了保證設(shè)計的弱耦合性和強(qiáng)內(nèi)聚性數(shù)據(jù)構(gòu)造設(shè)計數(shù)據(jù)構(gòu)造設(shè)計方法由Jackson提出，這種方法試圖把描畫問題的數(shù)據(jù)構(gòu)造映射為程序構(gòu)造，由于方式闡明中的數(shù)據(jù)構(gòu)造通常是定義明確的，所以，從同樣的方式闡明出發(fā)，用此方法可以得到類似的程序構(gòu)造構(gòu)造化程序設(shè)計構(gòu)造：順序型、條件選擇型和循環(huán)型構(gòu)造定理：任何一個適當(dāng)程序在功能上等價于一個構(gòu)造化程序，而且，這個構(gòu)造化程序可以運(yùn)用原來程序中的函數(shù)、謂詞以及賦值語句、條件測試語句定理中的適當(dāng)程序滿足：具有一個入口和一個出口對于程序中的每一條語句都存在一個合法輸入，使得程序控制流從輸入出發(fā)經(jīng)過這個語句然后到達(dá)輸出構(gòu)造化程序的本質(zhì)是取消轉(zhuǎn)移語句goto軟件避錯技術(shù)方式闡明可靠性程序設(shè)計的根本技術(shù)程序驗證技術(shù)程序驗證技術(shù)可靠程序設(shè)計技術(shù)可以減少軟件缺點(diǎn)的發(fā)生，但像任何設(shè)計過程一樣，不能防止設(shè)計缺點(diǎn)的發(fā)生。程序驗證技術(shù)經(jīng)過檢查程序與其闡明的符合性來發(fā)現(xiàn)缺點(diǎn)、消除缺點(diǎn)，從而提高軟件可靠性程序驗證技術(shù)程序正確性證明程序的自動證明技術(shù)程序測試技術(shù)程序正確性證明證明定理：用滿足輸入闡明的任一輸入執(zhí)行程序，程序?qū)⑤敵鰸M足輸出闡明的結(jié)果并且終止。程序正確性證明可以分為兩個獨(dú)立的證明：部分正確性證明，即證明假設(shè)程序能終止，對于恣意合法輸入，程序給出正確輸出終止性證明，即證明對于恣意合法輸入，程序可以終止程序的自動證明技術(shù)程序的正確性證明可以用機(jī)械步驟自動完成。即經(jīng)過給機(jī)器提供推理規(guī)那么，機(jī)器能自動完成部分正確性證明困難中延續(xù)言的自動生成很困難，致使生成程序變得很復(fù)雜如何確認(rèn)證明程序的正確性？引為證明程序往往比被證明程序復(fù)雜得多程序正確性證明技術(shù)以嚴(yán)厲的數(shù)學(xué)分析和邏輯推理為根底，經(jīng)過證明能保證程序設(shè)計的正確性。但這種方法難度大，復(fù)雜性高爾未能投入實踐運(yùn)用程序測試技術(shù)對常見的缺點(diǎn)模型進(jìn)展測試，雖然經(jīng)過測試的程序不能保證程序的正確性，甚至也不能保證把程序的缺點(diǎn)率或缺點(diǎn)數(shù)控制在一個規(guī)定的量級之下，然而，由于程序測試技術(shù)的可行性和令人稱心的實際結(jié)果，使它得到廣泛的運(yùn)用程序測試技術(shù)測試方法：根據(jù)測試中被測程序能否在輸入數(shù)據(jù)驅(qū)動下實踐運(yùn)轉(zhuǎn)，可以把測試分為靜態(tài)測試和動態(tài)測試靜態(tài)測試：檢查程序的語法能否正確、程序構(gòu)造能否合格〔從輸入不可到達(dá)的語句、不能到達(dá)輸出的語句、不經(jīng)入口轉(zhuǎn)入循環(huán)體或過程體等都是不適宜的構(gòu)造〕，能否一切變量都賦了初值或者能否有闡明而沒有運(yùn)用的變量動態(tài)測試：在輸入數(shù)據(jù)驅(qū)動下對程序進(jìn)展實踐運(yùn)轉(zhuǎn)，然后經(jīng)過輸出呼應(yīng)分析確定程序運(yùn)轉(zhuǎn)中能否發(fā)生了過失動態(tài)測試可以按非增式的方法進(jìn)展，即先測每個模塊，再測由假設(shè)干個模塊組成的子系統(tǒng)，最后測整個程序系統(tǒng)。在測試模塊或子系統(tǒng)時，對其中的全局變量需求構(gòu)造一個虛擬的測試背景〔對變量賦初值或前往值〕。模塊測試應(yīng)盡能夠完全，保證模塊處置的各種輸入都被測到。子系統(tǒng)測試要求檢查模塊間的借口操作，包括數(shù)據(jù)接口、控制接口等。子系統(tǒng)的測試還要經(jīng)過多級測試系統(tǒng)測試要涉及到整個程序的接口、數(shù)據(jù)流、控制流、數(shù)據(jù)構(gòu)造、程序構(gòu)造等問題動態(tài)測試非增式測試的缺陷每個模塊和子系統(tǒng)都要求建立測試背景子系統(tǒng)的組合數(shù)較大，使測試復(fù)雜性高動態(tài)測試增式測試：被測程序是按層次構(gòu)造方法組織的，那么可以按自頂向下的增式測試方法，即先頂層測試，然后依次參與底層的模塊測試系統(tǒng)級測試次數(shù)減少首先測試和反復(fù)測試頂層模塊式主要功能模塊得到最完全測試高層模塊自動為底層模塊提供了部分測試背景當(dāng)發(fā)現(xiàn)過失時，缺點(diǎn)被局限在新參與的模塊內(nèi)或新參與模塊與已測模塊的接口上動態(tài)測試測試數(shù)據(jù)生成：無法進(jìn)展窮舉法，常用隨機(jī)測試方法確定測試目的包括測試數(shù)據(jù)是一切輸入測試數(shù)據(jù)使程序中每條通路至少執(zhí)行一遍測試數(shù)據(jù)使程序中每條分支至少執(zhí)行一遍測試數(shù)據(jù)使程序中每個語句至少執(zhí)行一遍測試數(shù)據(jù)生成方法程序測試技術(shù)自動測試工具自動測試工具是一個綜合的自動測試系統(tǒng)，它可以分析程序構(gòu)造，檢查出某些類型的過失并指出能夠發(fā)生的過失，同時，它可以生成測試數(shù)據(jù)、驅(qū)動被測程序運(yùn)轉(zhuǎn)，并分析測試呼應(yīng)、輸出整理成文的測試結(jié)果SADAT的構(gòu)造軟件容錯技術(shù)概述軟件可靠性的根本概念軟件避錯技術(shù)軟件容錯技術(shù)軟件N版本設(shè)計技術(shù)軟件恢復(fù)技術(shù)軟件可靠性模型第二節(jié)軟件N版本設(shè)計技術(shù)N版本的設(shè)計方法N版本容錯系統(tǒng)的組成N版本的管理程序N版本的設(shè)計方法

所謂NVP，就是針對同一義務(wù)，采用N(N>=2)種不同的程序?qū)崿F(xiàn)方法，獨(dú)立生成N個功能一樣的程序，在一個管理程序的一致協(xié)調(diào)下并行執(zhí)行，根據(jù)決策算法，從N個結(jié)果中選出正確結(jié)果NVP設(shè)計原那么各版本盡量的不同各版本盡量的獨(dú)立NVP的生成方法采用不同的算法，產(chǎn)生同一功能的不同版本采用不同的言語，實現(xiàn)同一功能的不同版本由不同的程序員來設(shè)計用一樣言語的不同版本來實現(xiàn)以上方法的結(jié)合第二節(jié)軟件N版本設(shè)計技術(shù)N版本的設(shè)計方法N版本容錯系統(tǒng)的組成N版本的管理程序N版本容錯系統(tǒng)的組成運(yùn)轉(zhuǎn)環(huán)境N版本運(yùn)轉(zhuǎn)在單處置器上N版本運(yùn)轉(zhuǎn)在多處置器上〔多機(jī)〕—N版本的理想運(yùn)轉(zhuǎn)環(huán)境N版本容錯系統(tǒng)的組成版本間的通訊通訊的死鎖問題通訊信箱的規(guī)模選擇問題過大會影響速度，過小那么添加通訊中的排隊時間N版本容錯系統(tǒng)的組成同步問題軟件N版本系統(tǒng)堅持一種“松散的同步〞為什么不進(jìn)展“嚴(yán)密同步〞〔像硬件〕完全同步難以實現(xiàn)不受同步約束，對各版本的執(zhí)行有利消除共模干擾N版本容錯系統(tǒng)的組成N版本的檢測自檢測采用編碼技術(shù)Watchdog公用自檢測程序等比較N版本容錯系統(tǒng)的組成版本間的切換錯誤版本的切除和離線完全去除版本修復(fù)正確版本的切入和運(yùn)轉(zhuǎn)備用版本的初始化寫入檢測點(diǎn)信息懇求在線同步處置進(jìn)入運(yùn)轉(zhuǎn)形狀第二節(jié)軟件N版本設(shè)計技術(shù)N版本的設(shè)計方法N版本容錯系統(tǒng)的組成N版本的管理程序N版本的管理程序比較向量比較變量形狀標(biāo)志比較形狀指示器比較向量比較后，應(yīng)采取的措施指示各模塊能否在規(guī)定的時間給出了比較向量向量結(jié)果一致，那么指示繼續(xù)往下執(zhí)行向量結(jié)果不一致，利用多模塊修正不一致模塊控制同步機(jī)構(gòu)表決程序設(shè)計-留意表決程序是NVP構(gòu)造的關(guān)鍵。由于表決程序規(guī)模不大，程序構(gòu)造也不復(fù)雜，可以用正確性證明技術(shù)來保證其正確性值得留意的是，表決程序不是完成簡單的多數(shù)表決功能。由于計算機(jī)字長有限，計算結(jié)果往往是近似的，這樣，按照不同的算法就能夠得到不同的近似結(jié)果，因此，即使N份程序都正確，但他們的結(jié)果也能夠不相等，表決必需思索這種允許的差別。表決程序要進(jìn)展缺點(diǎn)記錄表決器應(yīng)知道N份程序最大的運(yùn)轉(zhuǎn)時間差d，當(dāng)多數(shù)程序已輸出結(jié)果，表決器最多再等d這樣長的時間，還沒有給出輸出的程序被以為發(fā)生了過失第五章軟件容錯技術(shù)第一節(jié)軟件可靠性的根本概念第二節(jié)軟件N版本設(shè)計技術(shù)第三節(jié)軟件恢復(fù)技術(shù)第三節(jié)軟件恢復(fù)技術(shù)后向恢復(fù)技術(shù)前向恢復(fù)技術(shù)恢復(fù)塊技術(shù)后向恢復(fù)技術(shù)〔Rollcack〕對于軟件為多模塊系統(tǒng)，實踐是多進(jìn)程或多義務(wù)同時運(yùn)轉(zhuǎn)的系統(tǒng)，模塊間堅持的通訊，因此，后向恢復(fù)是在多軟件模塊及其相互通訊的情況下進(jìn)展的，必需求一個后向恢復(fù)協(xié)議，以保證系統(tǒng)的正確運(yùn)轉(zhuǎn)。后向恢復(fù)協(xié)議協(xié)議保證，在要求恢復(fù)時，可以確定一組恢復(fù)點(diǎn)，使程序前往到該點(diǎn)時可以糾正缺點(diǎn)影響協(xié)議應(yīng)防止Domino效應(yīng)后向恢復(fù)協(xié)議協(xié)議保證，在要求恢復(fù)時，可以確定一組恢復(fù)點(diǎn)，使程序前往到該點(diǎn)時可以糾正缺點(diǎn)影響協(xié)議應(yīng)防止Domino效應(yīng)協(xié)議盡量堅持各軟件原有的并行性使各軟件模塊堅持獨(dú)立性，以及恢復(fù)過程的透明性使恢復(fù)操作盡量減少系統(tǒng)開銷具有完好性和一致性實現(xiàn)后向錯誤恢復(fù)恢復(fù)點(diǎn)的位置錯誤能夠涉及的范圍因此，必需求處理恢復(fù)點(diǎn)的設(shè)置及其保管的各有關(guān)軟件模塊過去的形狀，要處理恢復(fù)與各軟件模塊通訊的關(guān)系，從而處理錯誤范圍的估價問題向后恢復(fù)的實現(xiàn)方法靜態(tài)規(guī)劃方法在多軟件模塊設(shè)計中，根據(jù)各模塊間的會合，設(shè)計每一恢復(fù)線，在設(shè)計中防止Domino效應(yīng)。缺陷是影響原有并行處置才干、容易死鎖等無規(guī)劃方法不思索各軟件模塊間的通訊關(guān)系，各模塊各自設(shè)計恢復(fù)線。當(dāng)一個模塊需求后向恢復(fù)時，可根據(jù)過去的通訊關(guān)系自動地建立恢復(fù)線動態(tài)規(guī)劃方法不限制系統(tǒng)的動態(tài)構(gòu)造，運(yùn)轉(zhuǎn)中自動監(jiān)視系統(tǒng)動態(tài)構(gòu)造變化，并可自動修正系統(tǒng)的動態(tài)構(gòu)造，盡量防止Domino效應(yīng)。普通情況下，經(jīng)過自動地在系統(tǒng)中設(shè)置恢復(fù)點(diǎn)，來到達(dá)對動態(tài)構(gòu)造的修正。該方法避開了前兩種方法的缺陷，但添加系統(tǒng)開銷第三節(jié)軟件恢復(fù)技術(shù)后向恢復(fù)技術(shù)前向恢復(fù)技術(shù)恢復(fù)塊技術(shù)前向恢復(fù)技術(shù)第三節(jié)軟件恢復(fù)技術(shù)后向恢復(fù)技術(shù)前向恢復(fù)技術(shù)恢復(fù)塊技術(shù)恢復(fù)塊技術(shù)