【正文】 （ 2）動態(tài)測試技術(shù) 既可用白盒法又可用黑盒法 （ 3）黑盒測試盒白盒測試 黑盒測試稱為功能測試 白盒測試稱為結(jié)構(gòu)測試 （ 1）白盒法 /條件覆蓋 結(jié)構(gòu)化的軟件測試 軟件測試技術(shù) （ 1）黑盒法 測試的步驟 （ 1）單元測試（ 2）集成測試（ 3）確認測試（ 4）系統(tǒng)測試 圖 85 測試步驟 結(jié)構(gòu)化的軟件測試 軟件糾錯技術(shù) （ 1）強力法 （ 2）跟蹤法 （ 3）演繹法 （ 4）歸納法 （ 5。 （ 2）程序測試 是對編碼階段的語法錯、語義錯、運行錯進行查找的代碼執(zhí)行活動。 圖 82 設(shè)計質(zhì)量與程序質(zhì)量 用戶、市場 的要求 程序 軟件的詳細設(shè)計說明書 質(zhì)量＝用戶的滿意程度 外部規(guī)格說明 內(nèi)部規(guī)格說明 軟件評審 設(shè)計質(zhì)量的評審內(nèi)容 （ 1）評價軟件的規(guī)格說明是否合乎用戶的要求 （ 2）評審可靠性 （ 3）評審保密措施實施情況 （ 4）評審操作特性實施情況 （ 5）評審性能實施情況 （ 6）評審軟件是否具有可修改性 （ 7）是否具有可擴充性 （ 8）評審軟件是否具有互換性 （ 9）是否具有可移植性 （ 10）評審軟件是否具有可測試性（ 11）是否具有可復(fù)用性 （ 12）評審軟件是否具有互連性 程序質(zhì)量的評審內(nèi)容 （ 1）軟件的結(jié)構(gòu) （ 2）與運行環(huán)境的接口 （ 3）變更的影響范圍 軟件質(zhì)量保證的標準 ISO9000標準 ISO9001是應(yīng)用于軟件工程的質(zhì)量保證標準。 復(fù)審：計劃與開發(fā) 方法、設(shè)計、編碼 控制、配置 測試 圖 81 質(zhì)量保證活動內(nèi)容 軟件評審 為使用戶滿意，有兩個必要條件： （ 1）設(shè)計的規(guī)格說明要符合用戶的要求； （ 2）程序要按照設(shè)計規(guī)格說明所規(guī)定的情況正確執(zhí)行。 確認則是在整個開發(fā)結(jié)束時對所開發(fā)的軟件能否滿足軟件需求的總評價。 管理復(fù)審指向開發(fā)組織或使用部門的管理人員，提供有關(guān)項目的總體狀況、成本和進度等方面的情況，以便進行審查。 （ 3）應(yīng)制定軟件質(zhì)量標準，定量地評價軟件質(zhì)量，不能局限于定性地評價軟件質(zhì)量。 影響軟件質(zhì)量的因素 （ 1）真確性 （ 2）健壯性 （ 3）效率 （ 4）完整性（安全性） （ 5）可用性 （ 6）風險 （ 7）可理解性 （ 8）可維修性 （ 9）靈活性 （ 10）可測試性 （ 11）可移植性 （ 12）可再用性 （ 13）互運行性 （ 1）應(yīng)強調(diào)軟件總體質(zhì)量，而不應(yīng)片面強調(diào)軟件正確性，忽略其可維護性、可用性與效率等。 （ 3）往往會有一些隱含的需求沒有明確地提出來。 第八章 軟件質(zhì)量與質(zhì)量保證 ? 軟件質(zhì)量的定義 ? 影響軟件值質(zhì)量的因素 ? 軟件質(zhì)量保證策略 ? 軟件質(zhì)量保證活動 ? 軟件評審 ? 軟件質(zhì)量保證的標準 ? 結(jié)構(gòu)化的軟件測試 ? 面向?qū)ο蟮能浖y試 ? 軟件測試計劃與測試分析報告 ? 軟件維護 ? 小結(jié) 軟件質(zhì)量的定義 軟件值質(zhì)量反映了以下三方面的問題： （ 1）軟件需求是度量軟件質(zhì)量的基礎(chǔ)，不符合需求的軟件就不具備質(zhì)量。 良好的編碼風格，應(yīng)該以結(jié)構(gòu)程序設(shè)計的原則為指導(dǎo)。 編程安全 主動式防錯程序設(shè)計 被動式防錯程序設(shè)計 小結(jié) 編碼的目的，是把詳細設(shè)計的結(jié)果翻譯成用選定的語言書寫的源程序，程序的質(zhì)量主要是由設(shè)計的質(zhì)量決定的。 （ 7）不應(yīng)該為追求所謂超高效的輸入輸出而損害程序的可理解性。 （ 5）對終端或打印機的輸入輸出，應(yīng)考慮設(shè)備特性，盡可能改善輸入輸出的質(zhì)量和速度。 （ 3）對輔助存儲，選擇盡可能簡單的、可接受的存取方法。 影響存儲器效率的因素 采用結(jié)構(gòu)化程序設(shè)計，將程序功能合理分塊 程序簡單性 是提高存儲器效率的關(guān)鍵 程序效率及編程安全 影響輸入輸出的因素 （ 1）輸入輸出的請求應(yīng)當最小化。 （ 7）盡量采用整數(shù)算術(shù)表達式和布爾表達式。 （ 5）采用快速的算術(shù)運算。 （ 3）盡量避免使用多維數(shù)組。 程序效率及編程安全 算法對效率的影響 （ 1）在編程前，盡可能化簡有關(guān)的算術(shù)表達式和邏輯表達式。 （ 2）好的設(shè)計可以提高效率。 程序效率及編程安全 程序效率是指程序的執(zhí)行速度及程序占用的存儲空間。 （ 3）如果設(shè)計了一個復(fù)雜數(shù)據(jù)結(jié)構(gòu)，應(yīng)使用注釋說明在實現(xiàn)時這個數(shù)據(jù)結(jié)構(gòu)的特點。 注釋分為序言性注釋和功能性注釋 數(shù)據(jù)說明 （ 1）數(shù)據(jù)說明的次序應(yīng)當規(guī)范化。 第七章 編碼 ? 程序設(shè)計語言 ? 編碼風格 ? 程序效率及編程安全 ? 小結(jié) 程序設(shè)計語言 程序設(shè)計語言的分類 包括機器語言和匯編語言 （ 1）基礎(chǔ)語言 BASIC FORTRAN COBOL ALGOL等 （ 2）現(xiàn)代語言 又稱結(jié)構(gòu)化語言 PASCAL C Ada （ 3）專用語言 為某種特殊應(yīng)用二設(shè)計的獨特的語法形式 程序設(shè)計語言的特點 程序設(shè)計語言 程序設(shè)計語言的特點 程序設(shè)計語言的選擇 編碼風格 編碼風格又稱程序設(shè)計風格或編程風格。 4．移交階段 小結(jié) 本章主要介紹了面向?qū)ο蠓椒ǖ幕靖拍詈吞卣?、面向?qū)ο蠓治龌具^程、面向?qū)ο笤O(shè)計的概念和基本方法、面向?qū)ο筌浖こ虒W(xué)與傳統(tǒng)軟件工程學(xué)的區(qū)別。在細化階段，需要對問題有更詳細的理解，包括： ①實際要做什么？②如何做？ ③將采用什么技術(shù)？ 3. 構(gòu)造階段 構(gòu)造階段通過一系列迭代過程建造系統(tǒng)。 File Chip name:String PlayOn(c:Channel) Start() Stop() Channel dependency 圖 657 依賴關(guān)系 UML的軟件開發(fā)過程概述 圖 658 開發(fā)過程簡圖 初始階段 細化階段 構(gòu)造階段 移交階段 在這一階段，需要考慮項目的商業(yè)屬性，即粗略估計項目的費用和可能得到的效益。 （ 2）主要內(nèi)容 ①類圖 矩形方框代表類，分為三個區(qū)域，上面類名，中間屬性，下面操作 Mobile phone Brand Model Color Turn on( ) Call( ) Turn off( ) 圖 622 UML類圖標 UML的產(chǎn)生與發(fā)展 （ 2）主要內(nèi)容 ②對象圖 矩形表示，對象名下有下劃線，冒號左邊為實例，右邊為類屬 ③用例圖 ④狀態(tài)圖 用于描述一類對象的所有可能的狀態(tài)以及事件發(fā)生時狀態(tài)的轉(zhuǎn)移條件 my Phone :Mobile Phone :Mobile Phone 手機 打電話 手機用戶 撥號 通話 掛斷 圖 623 對象圖 圖 624 用例圖 圖 625 UML狀態(tài)圖 UML的產(chǎn)生與發(fā)展 （ 2）主要內(nèi)容 ⑤順序圖 對象之間消息發(fā)送的順序，同時顯示對象之間的交互 ⑥活動圖 表示了按順序的活動步驟 ⑦協(xié)作圖 描述對象間協(xié)作關(guān)系 ⑧構(gòu)件圖 描述代碼部件的物理結(jié)構(gòu)以及各部件之間的依賴關(guān)系 ⑨部署圖 顯示基于計算機系統(tǒng)中軟硬件的物理體系結(jié)構(gòu) 構(gòu)件 數(shù)據(jù)庫服務(wù)器 客房 A：個人電腦 客房 B：個人電腦 圖 629 UML 中的軟件構(gòu)件圖標 圖 631 UML 部署圖 UML的產(chǎn)生與發(fā)展 （ 3） ①組成結(jié)構(gòu)圖 ②交互縱覽圖 ③計時圖 ④包圖 類 1 類 2 圖 632 UML 圖 634 包圖 類 3 ：類名 狀態(tài) 3 狀態(tài) 2 狀態(tài) 1 1 5 10 15 20 圖 633 計時圖 類 1 類 2 類 3 包名 UML （ 1）在不同類型系統(tǒng)中的應(yīng)用 （ 2）在軟件開發(fā)的不同階段中的應(yīng)用 UML的表示法 （ 1）建模技術(shù) （ 2） UML建模框架 （ 3） UML模型的基本概念 ? 結(jié)構(gòu)事物 ? 動作事物 ? 分組事物 ? 注釋事物 Windows Origin Size Open() Close() Move() Place order Event Manager Suspend() Flush 圖 635 類 圖 636 接口 圖 637 協(xié)作 圖 638 用例 圖 639 活動類 圖 640 組件 UML的表示法 圖 641 結(jié)點 圖 642 交互 圖 643 狀態(tài) 圖 644 包 圖 645 注釋 圖 646 依賴 Server Display Waiting Business rules Return copy of self （ 4） UML中的關(guān)系表示 圖 647 關(guān)聯(lián) 圖 649 實現(xiàn) 圖 648 一般化 0..1 * UML的表示法 （ 1）類 （ 2）類圖 關(guān)聯(lián)關(guān)系 表示兩個類之間存在的某種語義上的聯(lián)系。 圖 621繼承層次 UML UML的產(chǎn)生與發(fā)展 統(tǒng)一建模語言 UML( Unified Modeling Language） （ 1） UML語義和表示法 語義描述基于 UML的精確元模型定義。 圖 620 多層次、多組成部分模型 面向?qū)ο笤O(shè)計 面向?qū)ο笤O(shè)計的方法 （ 1）模塊化 （ 2）抽象 （ 3）信息隱藏 （ 4）弱耦合 （ 5）強內(nèi)聚 （ 6）可擴充性 （ 7）可集成性 （ 8）支持復(fù)用 （ 9）類的設(shè)計準則 面向?qū)ο蟮脑O(shè)計范式采用 建模 的觀點。 圖 613 棧的狀態(tài)轉(zhuǎn)換圖 面向?qū)ο蟮姆治? 定義服務(wù) 對象間通信 （ 1）如何定義一般 /特殊結(jié)構(gòu) （ 2）如何定義整體 /部分結(jié)構(gòu) 主題是一種指導(dǎo)讀者或用戶研究大型復(fù)雜模型的機制 實例連接又稱為鏈，用于表達對象之間的靜態(tài)聯(lián)系。如果發(fā)現(xiàn)在開始所認識的幾種狀態(tài)下對象行為規(guī)則并無差別，則應(yīng)將其合并為一種狀態(tài)。 面向?qū)ο蟮姆治? 定義服務(wù) 換圖 狀態(tài)轉(zhuǎn)換圖 ①找出對象的各種狀態(tài)。 面向?qū)ο蟮姆治? 對象與類的確定 、建立類圖的對象層 對象層 關(guān)系層 特征層 圖 612 面向?qū)ο蟮姆治龌? 模型類圖的三個層次 圖 6－ 11面向?qū)ο蟮姆治鲞^程模型 面向?qū)ο蟮姆治? 確定屬性 主動服務(wù) 被動服務(wù) 定義服務(wù) 對象狀態(tài)的涵義有以下兩種： ①對象或者類的所有屬性的當前值?！獙ο髮?、結(jié)構(gòu)層、屬性層和服務(wù)層，如圖 69所示。 （ 1）一般 /特殊結(jié)構(gòu) （ 2）整體部分結(jié)構(gòu) （ 3）實例連接 （ 4）消息連接 （ 1）重載 （ 2）動態(tài)綁定 （ 3）類屬 面向?qū)ο蟮姆治? 面向?qū)ο蠓治龌具^程及原則 模型包含對象的三個要素，即 靜態(tài)結(jié)構(gòu)（對象模型），交互次序（動態(tài)模型）和數(shù)據(jù)變換（功能模型）。 圖 65 類的形式 面向?qū)ο蠓椒ǖ幕靖拍詈吞卣? 面向?qū)ο蟮幕靖拍詈吞卣? 繼承性是自動地共享類、子類和對象中的方法和數(shù)據(jù)的機制。 ②在類的層次結(jié)構(gòu)中，一個類可以有多個子類，也可以有多個超類。 對象定義如下： 對象是問題域或?qū)崿F(xiàn)域中某些事物的一個抽象，它反映該事物在系統(tǒng)中需要保存的信息和發(fā)揮的作用；它是一組屬性和有權(quán)對這些屬性進行操作