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