【正文】 例） 用 例 應產(chǎn)生行為 結果 失敗原因 并且執(zhí)行存儲 程序必須能夠接受使用者的輸入并且將輸入值存在登錄文件內 料但執(zhí)行儲存 程序必須能夠檢查使用者輸入是否為空白，同時必須能夠告知使用者原因 city字段儲存結果 City字段輸入 后存入 cookies area字段儲存結果 Area字段輸入 后存入 cookies 儲存結果 ID 字段儲存結果 ID字段輸入 后存入 cookies …… 值 必須組織使用者輸入空白，同時部分字段只能輸入數(shù)字 Tab Order 所有的 Tab Order必須按照正常順序 Button 所有的 Button必須能夠起作用 Hot Key 所有的 Hot Key必須能夠起作用 各種錯誤數(shù)據(jù)的測試 表 13 錯誤數(shù)據(jù)的測試用例 測試內容 輸入操作 預選測試數(shù)據(jù) 預期輸出 實際結果 點擊登錄按鈕 不完整的數(shù)據(jù) City，area，ID，pswd 略 提示錯誤對話框 不正確的數(shù)據(jù) City，area，ID，pswd 略 提示錯誤對話框 回車操作 不完整的數(shù)據(jù) City，area，ID，pswd 略 提示錯誤對話框 點擊 ? 退出 ?按鈕 無 無 無 關閉當前應用系統(tǒng) 特殊測試 表 14 特殊測試用例 測試內容 輸入操作 預選測試數(shù)據(jù) 預期輸出 操作焦點逃逸 連續(xù) Tab切換，察看異常 無 焦點可準確回歸當前操作窗口 分配內存不足 啟動多個應用程序或模擬多個程序運行 無 是否可以正常運行 網(wǎng)絡斷線 切斷網(wǎng)絡連接 無 是否可正常拋出異常 軟件缺陷的 ? 扎堆 ? 現(xiàn)象的常見形式： 對話框的某個控件功能不起作用，可能其他控件的功能也不起作用。 聯(lián)機幫助某段文字的翻譯包含了很多錯誤，與其相鄰的上下段的文字可能也包含很多的語言質量問題。 BUG的有效性 有時候測試人員提交的 BUG并不是真正的 BUG。一般由 A測試人員發(fā)現(xiàn)的 BUG，一定要由另外一個 B測試人員來進行確認，如果發(fā)現(xiàn)嚴重的 BUG可以召開評審會進行討論和分析。尤其是要盡量科學合理地安排測試時間。 其中，（ a）圖中的 A、 B 關系表達為： A錯誤依賴于 B錯誤的關閉而關閉。（ c）圖是（ a）和（ b）的復合方式，因程序中的錯誤存在著一對多，多對多的復雜關系而變得難以處理，并且有些錯誤關聯(lián)和依賴關系處于隱性狀態(tài)。當輸出的信息很龐大時，我們可以借助專業(yè)的測試工具。 一般的軟件測試總體工作流程如圖 112所示： 立項階段需求階段設計階段編碼＆單元測試階段集成測試階段系統(tǒng)測試階段驗收測試階段結項總結階段圖 112 軟件測試工作總體流程圖 需求階段 需求階段是軟件測試活動的前提。編碼階段測試工作流程 圖 114 設計 amp。 編碼階段測試工作流程以模塊為單位，不斷循環(huán) 這一環(huán)節(jié)以模塊為單位循環(huán)： 單元測試方案制定 —— 編碼 —— 單元測試是否通過 —— 測試抽檢是否通過 ，重新編寫沒有通過單元測試和測試抽檢的代碼。具體流程如圖 114所示。操作票是保證正確電氣倒閘（熱機）操作的重要環(huán)節(jié)和前提條件，使用操作票的目的是為了保障人身與設備的安全，確保電氣設備倒閘操作的正確性，防止電氣誤操作事故發(fā)生。 ? 兩票 ? 的辦理過程基本上都是開票、各部門負責人或三種人審批簽字、工作結束、部門或廠部檢查審核這樣的一種線性辦理過程。 為了使讀者更好的了解兩票系統(tǒng)以及后面各章節(jié)的內容，在這里對一些電力系統(tǒng)專業(yè)術語作如下解釋： 一次圖：電氣主接線是由高壓電器通過連接線，按其功能要求組成接受和分配電能的電路，成為傳輸強電流、高電壓的網(wǎng)絡，故又稱為一次接線。 二次圖：在電力系統(tǒng)中，凡監(jiān)視、控制、測量以及起保護作用的設備，如機電保護、控制和信號裝 臵等，皆屬于二次設備。這里我們就把二次設備接線圖簡稱為二次圖。 電氣設備：為滿足生產(chǎn)的需要，發(fā)電廠中安裝有各種設備。此外還有一些對一次設備進行測量、控制、監(jiān)視和保護用的二次設備，如：儀用互感器；機電保護及自動裝臵；直流電源設備等。 ? 五妨 ? 規(guī)則：電力系統(tǒng)的倒閘操作具有前后順序和嚴格的邏輯規(guī)則。防止帶地線合刀閘 防止帶負荷拉合隔離開關 。 防止帶接地線或合接地刀閘送電 。 Web服務器： Tomcat 兩票系統(tǒng)主要由兩部分構成，即：操作票子系統(tǒng)和工作票子系統(tǒng)。隨著軟件開發(fā)過程和開發(fā)技術的不斷改進，軟件測試理論和方法也在不斷完善，測試工具也在蓬勃發(fā)展。 測試對象也不僅僅是程序代碼，而開發(fā)過程中產(chǎn)生的所有軟件產(chǎn)品，甚至是產(chǎn)品使用說明也包括在內。 其次，正確處理開發(fā)與測試之間的關系，更好的把開發(fā)與測試過程集成到一起。 本章所介紹的幾種軟件開發(fā)與測試模型，如：V模型、 W模型和 H模型，三種模型在不同程度上反映了軟件開發(fā)與軟件測試的關系。而 W模型作為 V模型的改進，更好地體現(xiàn)了軟件開發(fā)與軟件測試工作的同步性，更為明確地指出測試的對象不僅僅是程序本身，而且包括需求分析、概要設計和詳細設計說明書，強調了軟件測試是軟件開發(fā)過程中的一項重要的工作，貫穿于整個軟件開發(fā)過程。 最后一個做好測試工作的關鍵因素就是精心的組織和安排軟件測試的工作流程，本章把測試工作分為幾個階段，分別闡述了通用的測試工作流程，但要求讀者在工作中，根據(jù)每個項目的具體情況制定可行的測試流程。 從是否需要執(zhí)行被測軟件的角度，可分為靜態(tài)測試（ Static Testing）和動態(tài)測試（ Dynamic Testing）； 從測試用例設計的角度，可分為黑盒測試和白盒測試；按照軟件測試過程和測試策略，可分為單元測試、集成測試和系統(tǒng)測試。 習題 1. 名詞解釋： 軟件測試 錯誤 缺陷 失效 測試用例 回歸測試 靜態(tài)測試 動態(tài)測試 黑盒測試 白盒測試 單元測試 集成測試 系統(tǒng)測試 2. 簡述軟件測試發(fā)展的過程。 3. 測試的生命周期可以分為幾個階段？簡單描述各階段需要完成的任務。 5. 請概括一下靜態(tài)測試和動態(tài)測試，以及黑盒測試與白盒測試的不同點。編碼階段、集成系統(tǒng)驗收測試的軟件測試流程。 8. 列舉軟件測試的十項原則。 第二章 軟件測試基礎 [本章要點 ] ? 軟件測試基礎知識； ? 白盒測試和黑盒測試的定義； ? 常見的白盒和黑盒測試設計技術； ? 白盒測試與黑盒測試的區(qū)別； ? 測試計劃和測試報告的編制； ? 測試用例的定義和編制方法。 一般而言，在功能性測試中，通常要用到離散數(shù)學知識，而在結構性測試領域中，則要用到一些關于圖論的知識。自然的集合論把集合看作是基本術語，我們把集合看作一個單位，或一個整體引用多個事物。 用一個集合所具有的共同性質來刻畫這個集合。 通俗的講，關系就是客觀世界一定范圍的對象之間的某種特定聯(lián)系。 如果希望描述整個關系，則通常只寫 R?A?B。 關系的表示 關系 表示事物之間的某種聯(lián)系，二元關系表示兩個事物之間的關系，如果把這兩個事物分別放在一邊，如果某兩個元素有關系，那么就在它們之間畫一條有向線，用這種方式表示關系，稱作關系圖 。勢在用于集合時，是指集合中的元素的個數(shù)。設 A是一個集合， R?A?A是定義在 A上的一個關系， a, a、a, b、 b, a、 b, c、 a, c?R。我們通常采用小寫字母 p， q和 r表示命題。命題的真值只有兩種， T代表真，而 F代表假。{0, 1}下的真值 t(A)都為 1,則稱命題公式 A為永真式 (tautology)（或稱重言式）； ② 如果命題 A在任意的真值賦值函數(shù)下的真值都為 0，則稱 A為矛盾式 (contradiction)； ③如果 A不是矛盾式，則稱為可滿足式。 在獨立隨機事件中，如果某一事件在全部事件中出現(xiàn)的頻率，在更大的范圍內比較明顯的穩(wěn)定在某一固定常數(shù)附近。對于任何事件的概率值一定介于 0和 1之間。這里我們給出一些概念。 圖中 節(jié)點的度 是以該節(jié)點作為端點的邊的條數(shù)。 程序圖 經(jīng)過改進的 程序圖定義 ：節(jié)點要么是整個語句，要么是語句的一部分，邊表示控制流（從節(jié)點 i到節(jié)點 j有一條邊，當且僅當對應節(jié)點 j的語句或語句的一部分，可以立即在節(jié)點 i對應的語句或語句的一部分之后執(zhí)行）?；窘Y構化程序設計的構造，例如：串行、選擇和循環(huán)等可以用如圖 21所示的有向圖表示。有限狀態(tài)機是一種有向圖，其中狀態(tài)是節(jié)點，轉移是邊。該圖描述了用于個人標識編號 PIN嘗試部分的有限狀態(tài)機。轉移上的標簽所遵循的規(guī)則是，?分子?是引起轉移的事件，?分母?是與該轉移關聯(lián)的行為。 退卡不正確的 PIN顯示屏幕 S3不正確的 PIN顯示屏幕 S3正確 PIN 顯示屏幕 S5圖 22 用于 PIN嘗試的有限狀態(tài)機 狀態(tài)圖 狀態(tài)圖現(xiàn)在被 Rational公司選為統(tǒng)一建模語言，即 UML的控制模型。在圖 23中，團點 A包含兩個團點B和 C，通過邊連接。 根據(jù) Harel的意圖 ， 我們可以把團點解釋為狀態(tài) ， 把邊解釋為轉移 。 當進入某個狀態(tài)時 ，我們可以認為該狀態(tài)是活動的 ， 這可與 Petri網(wǎng)中的被標記地點類比 。 圖 24中有一些微妙的地方 ， 從狀態(tài) A轉移到狀態(tài) D初看起來是有歧義的 ， 因為它沒有區(qū)分狀態(tài)B和 C。如果狀態(tài)包含子狀態(tài) ， 就像圖中的 A一樣 ， 邊會? 引用 ? 所有的子狀態(tài) 。 如果有從狀態(tài) D到狀態(tài) A的邊 ，如圖 25所示 ， 則用 B來表示初始狀態(tài)這個事實 ，意味著轉移實際上是從狀態(tài) D到狀態(tài) B。 ＡＢＣＤ圖 24 狀態(tài)圖中的初始狀態(tài) ＡＢＣＤ圖 25 進入自狀態(tài)的默認入口 我們最后要討論的一個狀態(tài)圖的特性就是并發(fā)狀態(tài)圖概念 。 ＡＢＣＥＦＤ圖 26 并發(fā)狀態(tài) 白盒測試是一種可視的測試軟件的方法，即它把測試對象看作一個透明的盒子，測試人員要了解程序結構和處理過程，按照程序內部邏輯測試程序，檢查程序中的每條通路是否按照預定要求正確工作。 在軟件測試領域，有六種基本的測試類型：單元測試，集成測試，功能測試 /系統(tǒng)測試，可接受性測試，回歸測試和 Beta測試。 從最終的結果來看，白盒測試有預知的結果，不可預知的只是程序是否通過測試，并且成功測試的結果是發(fā)現(xiàn)錯誤的癥狀，從而引起調試的進行；而調試的結果是消除項目中的錯誤。 從準備工作來看，測試從已知的條件開始，使用預先定義的程序；調試一般是以不可知的內部條件開始，做統(tǒng)一性調試 。 從執(zhí)行的人員來看，測試經(jīng)常是由獨立的測試組在不了解軟件設計的條件下完成的，而調試必須由程序員來完成。 白盒測試用例設計技術就是研究如何用最少的測試用例最大限度地發(fā)現(xiàn)軟件中的錯誤，目前主要有基本路徑測試、等價類劃分 /邊界值分析測試、覆蓋測試、循環(huán)測試、數(shù)據(jù)流測試、程序插樁測試、變異測試等等方法。 ⑵語句覆蓋（ Statement Coverage） 語句覆蓋是一種衡量測試所覆蓋的程序語句百分比的措施。 ⑶判斷 /分支覆蓋 判斷 /分支覆蓋是為了衡量在測試過程中覆蓋了多少個程序中的布爾表達式。 n 循環(huán)結構測試用例的設計循環(huán)可以劃分為以下幾種模式 ， 如圖 211： 可以使用如下方法設計循環(huán)測試用例： 一、簡單循環(huán)：