【正文】 常用的程序復(fù)算方法： 程序滾回技術(shù) 出錯(cuò) …… t0 t1 t2 t3 ti1 ti ti+1 i1 i 程序滾回示意圖 1 2 3 時(shí)刻 t0， t1， t2， …. 對(duì)應(yīng)于程序中預(yù)先設(shè)置好的恢復(fù)點(diǎn) 軟件的容錯(cuò)系統(tǒng)結(jié)構(gòu) 把同一功能的不同版本的程序 (多為子系統(tǒng)或模塊級(jí) )并行聯(lián)結(jié)到系統(tǒng)中 ,構(gòu)成冗余并行模型 . 版本 1 版本 2 版本 3 …... 表決 同一功能 多版本程序示意圖 2. 恢復(fù)塊結(jié)構(gòu) 要求做容錯(cuò)的塊 (基本塊 ) 提供： 備份塊 (獨(dú)立設(shè)計(jì)的相應(yīng)冗余備份 ) 附加的錯(cuò)誤檢驗(yàn) 恢復(fù)措施 恢復(fù)塊 Ensure 接受測(cè)試 By 基本塊 Else By備份塊 1 …… Else By備份塊 n Else 錯(cuò)誤 恢復(fù)塊的工作方式 保存現(xiàn)場(chǎng) 隊(duì)空 從恢復(fù)塊的備份塊 隊(duì)列中取一個(gè)模塊 激活此模塊 執(zhí)行此模塊 恢復(fù)現(xiàn)場(chǎng) 接受測(cè)試 T 有問題 顯示錯(cuò)誤及位置 繼續(xù)執(zhí)行后續(xù)工作 通過 不通過 。 什么是容錯(cuò)軟件？ 定義 1：規(guī)定功能的軟件，在一定程度 上對(duì)自身錯(cuò)誤的作用具有屏蔽 能力的軟件； 定義 2：規(guī)定功能的軟件，在一定程度 上能從錯(cuò)誤狀態(tài)自動(dòng)恢復(fù)到正 常狀態(tài)的軟件； 定義 3：規(guī)定功能的軟件，在因錯(cuò)誤而 發(fā)生錯(cuò)誤時(shí)，仍能在一定程度 上完成預(yù)期的功能的軟件； 容錯(cuò)的一般方法 實(shí)現(xiàn)容錯(cuò)計(jì)算的方法： ?錯(cuò)誤檢測(cè)算法 ?錯(cuò)誤恢復(fù)算法 容錯(cuò)資源 ?軟件冗余備份 實(shí)現(xiàn)容錯(cuò)計(jì)算的主要手段是 冗余 主體： 常規(guī)軟件所需資源 附加體：容錯(cuò)資源 容錯(cuò)軟件 容錯(cuò)的一般方法 冗余技術(shù)分類： (1)靜態(tài)冗余： 3模冗余、多模冗余 U M1 M2 M3 V u2 u1 u3 I 3模（ TMR）表決系統(tǒng)的結(jié)構(gòu) 表決器 U=(u1∧ u2)∨ (u2∧ u3)∨ =(u1∧ u3) (2)動(dòng)態(tài)冗余 :多重模塊待機(jī)儲(chǔ)備 ,相繼運(yùn)行 M1 M2 M3 主模塊 備用 I 待機(jī)儲(chǔ)備系統(tǒng)結(jié)構(gòu) 開關(guān) Mn …. 備用 備用 (3)混合冗余 H（ N， K） M1 M2 Mk I H（ N， K） 系統(tǒng)結(jié)構(gòu) 開關(guān) Mn …. Mk+1 …. V 轉(zhuǎn) 換 開 關(guān) 冗余技術(shù)分類： 以檢測(cè)或糾正信息在運(yùn)算或傳輸中的錯(cuò)誤為目的而外加的一部分信息。 (3)規(guī)定的功能 (4)成功運(yùn)行 167。 軟件可靠性 硬件系統(tǒng)故障率 0 t Z(t) 軟件系統(tǒng)故障率 0 t Z(t) 基本概念 軟件可靠性定義 在給定 時(shí)間間隔內(nèi) 和特定的 環(huán)境下，軟件按規(guī)格說明成功 運(yùn)行的概率。 質(zhì)量保證的主要功能 ?質(zhì)量方針的制定和展開 ?質(zhì)量保證方針的質(zhì)量保證標(biāo)準(zhǔn)的制定 ?質(zhì)量保證體系的建立和管理 ?各階段的質(zhì)量評(píng)審 質(zhì)量保證的實(shí)施 質(zhì)量度量方法 ISO建議的軟件質(zhì)量評(píng)價(jià)標(biāo)準(zhǔn)分為三級(jí) : 高層 :質(zhì)量需求評(píng)價(jià)準(zhǔn)則 (SQRC) 中層 :質(zhì)量設(shè)計(jì)評(píng)價(jià)準(zhǔn)則 (SQDC) 低層 :質(zhì)量度量評(píng)價(jià)準(zhǔn)則 (SQMC) ISO建議的軟件質(zhì)量度量模型 正 確 性 可 跟 蹤 性 完 備 性 準(zhǔn) 確 性 容 錯(cuò) 性 簡 潔 性 模 塊 性 通 用 性 擴(kuò) 充 性 可 容 性 效 率 安 全 性 可維護(hù)性 適 應(yīng) 性 連 接 性 SQDC SQRC SQMC 可 用 性 一 致 性 由各使用 單位根據(jù) 實(shí)際情況 決定 能用于軟件質(zhì)量定量評(píng)價(jià)的軟件度量 ?美國國防部 AD報(bào)告 :把質(zhì)量表現(xiàn)形式 歸納為 190多個(gè) 問題 。 軟件質(zhì)量 影響軟件質(zhì)量的因素 ?人的因素 ?軟件需求 ?測(cè)試的局限性 ?質(zhì)量管理的困難 ?軟件人員的傳統(tǒng)習(xí)慣 ?開發(fā)規(guī)范 ?開發(fā)工具支持不夠 什么是軟件質(zhì)量 成本 可靠 維護(hù) 及時(shí) 交付 正確 功能 功能 成本 及時(shí) 交付 軟件質(zhì)量的若干側(cè)面 McCall提出的表明軟件質(zhì)量 的 11個(gè)質(zhì)量特性 ▲ 使用性 ▲ 測(cè)試性 ▲ 正確性 ▲ 維護(hù)性 ▲ 可靠性 ▲ 移植性 ▲ 效率 ▲ 重用性 ▲ 完整性 ▲ 互操作性 ▲ 適應(yīng)性 (靈活性 ) 國際標(biāo)準(zhǔn)和國家標(biāo)準(zhǔn)規(guī)定的 質(zhì)量特性 ISO/IEC 91261991 Information technology software product evaluation quality characteristics and guidelines for their use 我國 1996年將其等同采用 ： GB/T162601996 軟件產(chǎn)品評(píng)價(jià) 質(zhì)量特性及其使用指南 產(chǎn)品質(zhì)量與過程質(zhì)量 產(chǎn)品質(zhì)量 開發(fā)技術(shù) 成本、 時(shí)間、進(jìn)度 過程質(zhì)量 人員素質(zhì) 影響產(chǎn)品質(zhì)量的 4個(gè)方面 167。 大型軟件開發(fā)環(huán)境 青鳥系統(tǒng)簡介 集成化軟件工程環(huán)境青鳥 II系 統(tǒng) (JB2) 特點(diǎn)： ?環(huán)境主要目標(biāo)之一：支持 OO軟件開發(fā) ?集成性和開放性的統(tǒng)一。 軟件工程環(huán)境 (SEE) 軟件工程環(huán)境概述 軟件工程環(huán)境定義 : (1)一組軟件工具的集合 (2)工具按一定方法或模型組織 (3)工具支持整個(gè)生存周期各階段或 部分階段 1. 軟件工程環(huán)境分類 (1)按軟件開發(fā)模型及開發(fā)方法分類 支持：瀑布模型、 演化模型、 螺旋模型、 噴泉模型等 支持：結(jié)構(gòu)化方法、 信息模型方法、 OO方法等 1. 軟件工程環(huán)境分類 (2)按應(yīng)用范圍分類 : 通用型軟件工程環(huán)境 專用型軟件工程環(huán)境 (應(yīng)用型軟件工程環(huán)境 ) 1. 軟件工程環(huán)境分類 (3)按開發(fā)階段分類： 前端開發(fā)環(huán)境 (支持系統(tǒng)分析、分析、 設(shè)計(jì)等階段活動(dòng) ) 后端開發(fā)環(huán)境 (支持編程、測(cè)試等階段 活動(dòng) ) 軟件維護(hù)環(huán)境 逆向工程環(huán)境 2. 軟件工程環(huán)境的特征 (1)倉庫 (2)工具的集成 (3)用戶友好的界面 (4)提取信息的能力 (5)分析的能力 (6)可裁剪和可擴(kuò)充的能力 (7)項(xiàng)目控制和管理 (8)方法學(xué)的支持 3. 軟件工程環(huán)境的基本功能 (1)軟件開發(fā)的一致性及完整性維護(hù) (2)配置管理及版本控制 (3)數(shù)據(jù)的多種表示形式及自動(dòng)轉(zhuǎn)換 (4)信息自動(dòng)檢索及更新 (5)項(xiàng)目控制和管理 (6) 對(duì)方法學(xué)的支持 集成環(huán)境 軟件工程環(huán)境的層次模型 工作臺(tái)應(yīng)用 框架服務(wù) 平臺(tái)服務(wù) 平臺(tái)服務(wù) SEE運(yùn)行在工