【正文】 軟件容錯技術(shù) 提高軟件質(zhì)量和可靠性的技術(shù) : ?避開錯誤技術(shù) ?容錯技術(shù)：對無法避開的差錯，使其 影響減至最小的技術(shù)。 ?支持多種開發(fā)方法 ?可集成支持生存周期全過程的軟件工具 JB2系統(tǒng)總體結(jié)構(gòu) 用 戶 界 面 過程管理 工作臺管理 工具 工具 工具 工具 工具 工具 界面輔助 生成器 可復(fù)用 構(gòu)件管理 CASE－ C++ 語言 配置管理 版本管理 對 象 管 理 系 統(tǒng) 消 息 服 務(wù) 器 對 象 庫 可復(fù)用 構(gòu)件庫 類 庫 界面類庫 JBCASE For Windows體系結(jié)構(gòu) 用 戶 界 面 系統(tǒng)平臺 (PWIN,中文之星 ,四通利方等 ) 結(jié)構(gòu)化分析 工具 SAT 結(jié)構(gòu)化設(shè)計 工具 SDT 文檔追蹤 工具 DATT 數(shù)據(jù)庫設(shè)計 工具 DDT 需求文檔 一般設(shè)計 文 檔 詳細(xì)設(shè)計 文 檔 數(shù)據(jù)庫 文 檔 其它文檔 文檔出版工具 DPT 外部工具集成 界面工具 編程工具 調(diào)試工具 ........ Client 其它 廠家 工具 Word Execl Powerpoint ........ Server 工作 站版 青鳥 環(huán)境 OLE或 文件 (開放性 ) JBCASE For Windows功能簡介 結(jié)構(gòu)化分析工具 SAT ?DFD編輯 ?DD編輯及管理 ?一致性檢查 ?需求文檔分析 ?外部工具集成 ?OLE的 Server ?自動生成 MSD等 JBCASE For Windows功能簡介 結(jié)構(gòu)化設(shè)計工具 SDT ?MSD編輯 ?小說明編輯及管理 ?一致性檢查 ?設(shè)計文檔自動生成 ?設(shè)計文檔分析 ?外部工具集成 ?OLE的 Server ?支持詳細(xì)設(shè)計過程等 JBCASE For Windows功能簡介 數(shù)據(jù)庫設(shè)計工具 DDT ?ER圖編輯 ?對象內(nèi)容編輯 ?對象瀏覽 ?需求文檔分析 ?自動布局 ?報告生成及文檔出版 ?生成數(shù)據(jù)庫模式定義 ?外部工具集成 ?OLE的 Serve JBCASE For Windows功能簡介 文檔追蹤工具 DAT/T ?定義追蹤關(guān)系 DFD→MSD MSD→DFD ?顯示追蹤關(guān)系 ?刪除追蹤關(guān)系 JBCASE For Windows功能簡介 文檔出版工具 DPT ?文檔模板管理 ?超文本組織管理 ?OLE連接及嵌入 ?文檔輸出 :某一章節(jié)或整個文檔 第九章 軟件質(zhì)量管理與質(zhì)量保證 167。 計算機(jī)輔助軟件工程 (CASE) ComputerAided Software Engineering CASE的基本概念與發(fā)展歷史 CASE CASE使人們能在計算機(jī)的輔助下進(jìn) 行軟件開發(fā) ,為軟件開發(fā)的 工程化 、 自動化 進(jìn)而 智能化 打下基礎(chǔ)。 重構(gòu)是實(shí)現(xiàn)軟件再工程全面自動化的第一步 源程序 重構(gòu)的 源程序 ?邏輯 ?格式 ?圖形 ?文檔 ?度量 ?報告 再構(gòu)器 可獲得 的信息 Restructurer 軟件重構(gòu)示意圖 （ 2）文檔重寫、加注釋、更新文檔 信息源： 源程序 設(shè)計資料 規(guī)格說明 變更記錄 管理人員 程序人員 文檔： 嵌入式注釋 設(shè)計資料 規(guī)格說明 測試數(shù)據(jù) 層次圖 檢查： 再測試 插入注釋 生成圖形 生成報告 文檔重寫示意圖 (3)復(fù)用工程： 目的是修改軟件，使其更易于復(fù)用 再說明 再生成 分類 證明 附加查找描述信息 查找 利用再工程實(shí)現(xiàn)軟件復(fù)用的過程 應(yīng)用問題 部件 可復(fù)用部件 可復(fù)用庫 :可復(fù)用源程序 復(fù)用 再工程器 析取 （ 1）瀏覽 （ 2）分析與度量 理解程序特性 (如復(fù)雜性 )的重要方法 . 與再工程相關(guān)的技術(shù) :程序分片 控制流復(fù)雜性度量 耦合性度量 （ 3）逆向工程與設(shè)計恢復(fù) 逆向工程恢復(fù)信息的級別 : (1)實(shí)現(xiàn)級 :程序的抽象語法 樹、符號表等信息 (2)結(jié)構(gòu)級 :反映程序分量之間 相互依賴關(guān)系的信 息，如調(diào)用圖、結(jié) 構(gòu)圖等 . (3)功能級 :反映程序段功能和 段間關(guān)系的信息 (4)領(lǐng)域級 :反映程序分量與應(yīng) 用領(lǐng)域概念間對應(yīng) 關(guān)系的信息 抽 象 級 別 低 高 信息的抽象級別越高 , 它與代碼距 離越遠(yuǎn) , 通 過逆向工程 恢復(fù)的難度 越大 , 自動 工具支持的 可能性變小 逆向工程 源程序 目標(biāo)代碼 反匯編、反編譯 程序分析技術(shù) :程序結(jié)構(gòu)分析工具 程序功能分析工具 源程序 概要設(shè)計 詳細(xì)設(shè)計 概要設(shè)計 需求分析 、保存和擴(kuò)充軟件的知識 （ 1）分解 從程序中找出對象和關(guān)系 ,存入信息庫 . 分解器舉例 :UNIX中的 lex和 yacc （ 2）對象恢復(fù) 從源程序中取得對象 ,將非面向?qū)ο蟪绦蜣D(zhuǎn) 換為面向?qū)ο蟪绦?. （ 3）程序理解 （ 4）知識庫和程序變換 變換 是 再工程 的核心活動 。 提高可維護(hù)性的方法 ? 建立明確的軟件質(zhì)量目標(biāo)和優(yōu)先級 ? 使用提高軟件質(zhì)量的技術(shù)和工具 ? 進(jìn)行明確的質(zhì)量保證審查 ? 選擇可維護(hù)的程序設(shè)計語言 ? 改進(jìn)程序的文檔 ? 開發(fā)軟件時考慮到維護(hù) 167。 測試中的可靠性分析 開發(fā)過程中，利用測試的統(tǒng)計數(shù)據(jù)來估算軟件的可靠性，以控制軟件的質(zhì)量。 測試工作臺 (下游 CASE工具 ) 源代碼 預(yù)測器 測試管理器 測試預(yù)估 模擬器 文件比較器 報告生成器 動態(tài)分析器 被測試 的程序 測試數(shù)據(jù) 測試結(jié)果 測試結(jié) 果報告 執(zhí)行報告 測試數(shù)據(jù)生成器 規(guī)約 隨機(jī)測試自動化工具 :猴子測試員 只要不停電 ,偶爾能夠得到香蕉 ,猴子就會永遠(yuǎn)測試下去 一個想法 : “ 如果讓 一百萬只猴 子在一百萬 只鍵盤上敲 一百萬年 , 它們最終就 可能寫出莎 士比亞話劇 等巨著 ” . 猴子的進(jìn)步 笨猴子 :一點(diǎn)也不懂測試軟件 , 只是隨機(jī)地單擊或按鍵 , 直至發(fā)生兩件事情之一 :完成循環(huán)或系統(tǒng)崩潰 . 不太笨的猴子 : 具有崩潰辨認(rèn)能力 , 能夠重新啟動系統(tǒng)開始測試 聰明猴子 :能夠從它的笨兄弟那里獲得隨機(jī)測試的結(jié)果 , 增加了對環(huán)境的認(rèn)知能力 , 有目的地敲鍵盤 , 不僅限于查找崩潰缺陷 ,同時查看數(shù)據(jù) ,檢查 操作結(jié)果 ,找出與預(yù)期結(jié)果的差別 自動化測試工具實(shí)例 美國國際軟件自動化（ ISA）公司 的 Panorama for C/C++， j、 Java和 VB產(chǎn)品，自動化功能包括： ?軟件結(jié)構(gòu)分析與邏輯框圖的自動化 ?軟件靜態(tài)分析 ?數(shù)據(jù)分析