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