【正文】 次地持續(xù)進行下去，直至把整個軟件系統(tǒng)構造完成為止。 主講教師：李剛 167。 面向?qū)ο蟮能浖y試 3 面向?qū)ο蟮南到y(tǒng)測試 在系統(tǒng)測試層次，面向?qū)ο蟮南到y(tǒng)測試集中檢查用戶可見的動作和用戶可 識別的輸出，不再考慮類之間相互連接的細節(jié)。系統(tǒng)測試時的用例生成可 使用上節(jié)介紹的黑盒測試方法，但是，基于用例或場景的測試是面向?qū)ο? 系統(tǒng)測試的主要方法。 基于用例或場景的測試 是根據(jù)用例或場景對系統(tǒng)使用的描述來制定測試用 例?；谟美驁鼍暗臏y試通常是最有效的方法，因為它是這樣組織測試 過程的，先測試那些最平常的場景，不尋常的或異常的場景故在稍后測 試。這樣做符合測試的基本原理，即最大的測試努力應詼用于系統(tǒng)最常用 到的部分。此外，測試用例還可以從動態(tài)模型中導出。 主講教師：李剛 167。 面向?qū)ο蟮能浖y試 面向?qū)ο蟮臏y試用例設計 1 類的測試方法 對面向?qū)ο蟮能浖碚f，單元測試著重測試單個類和類中封裝的方法。測 試單個類的方法主要有隨機測試、劃分測試和基于故障的測試等 3種。 隨機測試 劃分測試 基于故障的測試 2 類間測試方法 主講教師：李剛 167。 軟件調(diào)試 調(diào)試（也稱為糾錯）作為成功測試的后果出現(xiàn)，即調(diào)試是在測試發(fā)現(xiàn)錯誤 后，排除錯誤的過程。 調(diào)試過程 調(diào)試過程由兩個部分組成：首先 ， 確定程序中錯誤的確切性質(zhì)和位置；然 后 ， 對程序代碼進行分析 ， 確定問題的原因 ， 并設法改正這個錯誤 。 具體地說 ， 由以下步驟組成： （ 1） 從錯誤的外部表現(xiàn)入手 ， 確定程序中出錯的位置； （ 2） 分析有關程序代碼 ， 找出錯誤的內(nèi)在原因； （ 3） 修改程序代碼 ， 排除這個錯誤； （ 4） 重復進行暴露了這個錯誤的原始測試以及某些回歸測試 ， 以確保該錯 誤確實被排除且沒有引入新的錯誤； （ 5） 如果所作的修正無效 ， 則撤消這次改動 ， 重復上述過程 ， 直到找到一 個有效的辦法為止 。 主講教師：李剛 167。 軟件調(diào)試 調(diào)試途徑 強行排錯 這是目前使用較多但效率較低的一種調(diào)試方法。具體地說，通常有三種措 施：（ 1）輸出存儲器內(nèi)容（ 2）打印語句（ 3）自動調(diào)試工具 回溯法 采用回溯法排錯時，調(diào)試人員首先分析錯誤征兆，確定最先出現(xiàn)“癥狀”的 位置。然后人工沿程序的控制流程往回追蹤源程序代碼，直到找到錯誤根 源或確定錯誤產(chǎn)生的范圍為止。 實踐證明，回溯法是一種可以成功地用在小程序中的很好的糾錯方法。通 過回溯，我們往往可以把錯誤范圍縮小到程序中的一小段代碼，仔細分析 這段代碼，不難確定出錯的準確位置。但是，隨著程序規(guī)模的擴大，由于 回溯的路徑數(shù)目越來越多，回溯法會變得很困難，以至于完全不可能實現(xiàn) 主講教師：李剛 167。 軟件調(diào)試 歸納法 歸納法就是從線索（錯誤征兆）出發(fā)，通過分析這些線索之間的關系而找 出故障的一種系統(tǒng)化的思考方法。這種方法主要包括下述四個步驟： （ 1）收集有關的數(shù)據(jù)（ 2）組織數(shù)據(jù)（ 3）提出假設（ 4）證明假設 設置相應測試數(shù)據(jù) 組織錯誤線索 研究線索關系 設置錯誤原因 解釋證明 糾正錯誤 個別數(shù)據(jù)錯 錯誤線索 線索關系 錯誤原因 不能證明錯因 證明錯誤 不能設置錯誤原因 主講教師：李剛 167。 軟件調(diào)試 演繹法 演繹法從一般原理或前提出發(fā)，經(jīng)過排除和精化的過程推導出結論。演繹 法排錯的過程是這樣的：測試人員首先列出所有可能出錯的原因或假設， 然后再用原始測試數(shù)據(jù)或新的測試，逐個排除不可能正確的假設，最后， 證明剩下的原因確實是錯誤的根源。 列舉可能 的原因 排除不適 當?shù)脑? 對保留的假 設繼續(xù)推斷 有剩余 證明 假設 能 糾正 錯誤 沒有剩余 收集更多的數(shù)據(jù) 不能 主講教師：李剛 167。 軟件可靠性 軟件的可靠性 程序在給定的時間間隔內(nèi)，按照規(guī)格說明書的規(guī)定成功地運行的概率 軟件的可用性 程序在給定的時間點，按照規(guī)格說明書的規(guī)定，成功運行的概率 可靠性可以用平均故障間隔時間（ MTBF）來測量： MTBF＝ MTTF十 MTTR 其中， MTTF和 MTTR分別是平均無故障時間和平均修復時間。 軟件可靠性可以根據(jù)與技術系統(tǒng)可靠性接近的平行定義來表示。我們可以 這樣來定義軟件可靠性：程序故障的頻率和臨界值。這里，故障是指在許 可的運行條件下一個不可接受的結果或行為。同硬件一樣，軟件可靠性可 以用錯誤出現(xiàn)和被糾正的速率來表示。 主講教師：李剛 167。 軟件可靠性 二．估算平均無故障時間的方法 1．符號 ET 表示測試之前程序中的故障總數(shù)； IT 表示程序長度； τ 表示測試（含調(diào)試）時間； Ed(τ) 表示在 0~τ期間發(fā)現(xiàn)的錯誤； Ec(τ) 表示在 0~τ期間改正的錯誤。 2．基本假定 （ 1）在類似的程序中，單位長度內(nèi)的故障數(shù) ET/IT近似的常數(shù)。 102≤ET/IT≤2 102 即，在測試之前每 1000條指令中約有 5~20個故障。 （ 2）失效率與軟件中剩余的故障數(shù)成正比，而平均無故障時間 MTTFS剩余的故障數(shù)據(jù)成反比。 主講教師：李剛 167。 軟件可靠性 3．平均無故障時間的估算 平均故障時間 MTTF與單位長度程序中剩余的故障數(shù)成反比即 ))((1TCTT IEIEKM T T F ???M T T FKIEE TTC ???其中 K=200（為統(tǒng)計典型值）于是有 主講教師：李剛 167。 軟件可靠性 4．故障總數(shù) ET的方法。 （ 1）植入故障法 （ 2）分別測試法 SsNnnN ??120? BbBBc?主講教師：李剛 167。 軟件測試 CASE工具 軟件測試工具的分類 1 白盒測試工具： 1）靜態(tài)測試工具 ： Panorama系列、 Telelogic公司的 Logiscope軟件、 PR公司的 PRQA軟件等 2）動態(tài)測試工具： Rational公司的 Purify系列、 Compuware公司的DevPartner軟件等 2 黑盒測試工具： 有 Rational公司的 TeamTest、 Robot、 Quantify， Compuware公司的 QACenter等 3 測試管理工具 ： Rational公司的 Test Manager、 Compureware公司的 TrackRecord等軟件 4 其他的測試工具