軟件測試說明ppt課件-資料下載頁
2025-05-05 22:15本頁面
【正文】 機系統(tǒng)的一個組成部分 ， 在實際運行中 ， 它要和計算機系統(tǒng)的其它元素一起工作 ，所以最終要把軟件與其它系統(tǒng)元素結(jié)合起來 ， 進(jìn)行一系列的集成測試和有效性測試 。 系統(tǒng)測試的目的在于通過與系統(tǒng)的需求定義作比較 ， 發(fā)現(xiàn)軟件與系統(tǒng)定義不符合或與之矛盾的地方 。 調(diào)試 調(diào)試的步驟 調(diào)試的策略 退出 調(diào)試過程由兩個部分組成：首先 ， 確定程序中錯誤的確切性質(zhì)和位置；然后 ， 對程序代碼進(jìn)行分析 ， 確定問題的原因 ， 并設(shè)法改正這個錯誤 。 具體地說 ， 由以下步驟組成： （ 1） 從錯誤的外部表現(xiàn)入手 ， 確定程序中出錯的位置； （ 2） 分析有關(guān)程序代碼 ， 找出錯誤的內(nèi)在原因； （ 3） 修改程序代碼 ， 排除這個錯誤； （ 4） 重復(fù)進(jìn)行暴露了這個錯誤的原始測試以及某些回歸測試 ， 以確保該錯誤確實被排除且沒有引入新的錯誤； （ 5） 如果所作的修正無效 ， 則撤消這次改動 ， 重復(fù)上述過程 ， 直到找到一個有效的辦法為止 。 調(diào)試的步驟 調(diào)試的策略 強行排錯 這是目前使用較多但效率較低的一種調(diào)試方法 。 具體地說 ， 通常有三種措施： （ 1） 輸出存儲器內(nèi)容 （ 2）打印語句 （ 3）自動調(diào)試工具 回溯法 采用回溯法排錯時 ， 調(diào)試人員首先分析錯誤征兆 ， 確定最先出現(xiàn) “ 癥狀 ” 的位置 。 然后人工沿程序的控制流程往回追蹤源程序代碼 ， 直到找到錯誤根源或確定錯誤產(chǎn)生的范圍為止 。 實踐證明 ， 回溯法是一種可以成功地用在小程序中的很好的糾錯方法 。 通過回溯 ， 我們往往可以把錯誤范圍縮小到程序中的一小段代碼 ，仔細(xì)分析這段代碼 ， 不難確定出錯的準(zhǔn)確位置 。但是 ， 隨著程序規(guī)模的擴大 ， 由于回溯的路徑數(shù)目越來越多 ， 回溯法會變得很困難 ， 以至于完全不可能實現(xiàn) 。 歸納法 歸納法就是從線索 （ 錯誤征兆 ） 出發(fā) ， 通過分析這些線索之間的關(guān)系而找出故障的一種系統(tǒng)化的思考方法 。 這種方法主要包括下述四個步驟： （ 1） 收集有關(guān)的數(shù)據(jù) （ 2） 組織數(shù)據(jù) （ 3） 提出假設(shè) （ 4） 證明假設(shè) 演繹法 演繹法從一般原理或前提出發(fā) ， 經(jīng)過排除和精化的過程推導(dǎo)出結(jié)論 。 演繹法排錯的過程是這樣的：測試人員首先列出所有可能出錯的原因或假設(shè) ， 然后再用原始測試數(shù)據(jù)或新的測試 ，逐個排除不可能正確的假設(shè) ， 最后 ， 證明剩下的原因確實是錯誤的根源 。 列舉可能的原因排除不適當(dāng)?shù)脑驅(qū)ΡＡ舻募僭O(shè)繼續(xù)推斷有剩余 證明假設(shè)能 糾正錯誤沒有剩余收集更多的數(shù)據(jù)不能 軟件可靠性 軟件可靠性的定義 軟件正確性證明 退出 硬件可靠性可以用平均故障間隔時間 （ MTBF） 來測量： MTBF＝ MTTF十 MTTR 其中 ， MTTF和 MTTR分別是平均無故障時間和平均修復(fù)時間 。 軟件可靠性可以根據(jù)與技術(shù)系統(tǒng)可靠性接近的平行定義來表示 。 我們可以這樣來定義軟件可靠性：程序故障的頻率和臨界值 。 這里 ， 故障是指在許可的運行條件下一個不可接受的結(jié)果或行為 。 同硬件一樣 ， 軟件可靠性可以用錯誤出現(xiàn)和被糾正的速率來表示 。 軟件可靠性的定義 程序正確性證明是一項復(fù)雜的課題 ， 涉及到許多復(fù)雜的領(lǐng)域 。 采用諸如利用數(shù)學(xué)歸納法或謂詞演算的人工的正確性證明 ， 在評價小程序時可能有些價值 ， 但是在證明大型軟件的正確性時 ， 不僅工作量太大 ， 而且在證明的過程中也很容易引進(jìn)一些新的錯誤 ， 因此并不實用 。 目前 ， 已經(jīng)開發(fā)出了一些自動的計算機軟件正確性證明方法 。 自動的正確性證明程序一般涉及到程序邏輯的形式化描述 ， 這種描述可以由宏編譯程序來開發(fā) 。 宏編譯程序產(chǎn)生軟件的符號表示 ， 利用以人工智能理論和謂詞演算為基礎(chǔ)的自動化技術(shù)來 “ 證明 ” 程序的正確性 。 目前已經(jīng)研究出了 PASCAL和 LISP等的正確性證明程序 ， 正在對這些系統(tǒng)進(jìn)行評價和改進(jìn) 。 這些系統(tǒng)目前還只能對較小的程序進(jìn)行評價 。 程序正確性證明 測試工具 人工測試 自動測試工具 退出 （ 1） 檢查變量的交叉引用 （ 2） 檢查標(biāo)號的交叉引用 （ 3） 檢查子程序 、 宏 、 函數(shù) （ 4） 常量檢查 （ 5） 標(biāo)準(zhǔn)檢查 （ 6） 風(fēng)格檢查 （ 7） 比較控制流 （ 8） 選擇 、 激活路徑 （ 9） 對照程序的規(guī)格說明 ， 詳細(xì)閱讀源代碼 （ 10） 補充文檔 人工測試 桌前檢查 代碼評審一般由三至五人組成小組 ， 成員組成包括：組長 ， 秘書和測試人員 。 首先，組長提前把設(shè)計規(guī)格說明書、控制流程圖、程序文本及有關(guān)要求、規(guī)范等分發(fā)給小組成員，作為評審的依據(jù)。小組成員要先充分閱讀這些材料，為評審會做好準(zhǔn)備。第二步是召開程序?qū)彶闀紫扔蓽y試人員進(jìn)行講解，其它成員可以提問并展開討論。通過講解和討論，可以暴露許多程序員以前沒有發(fā)現(xiàn)的錯誤。討論過程中不討論任何糾錯問題，主要是發(fā)現(xiàn)錯誤，否則違背了測試的目的。在代碼會審之后，需要把發(fā)現(xiàn)的錯誤登記造表，并交給程序員；若發(fā)現(xiàn)錯誤較多，或發(fā)現(xiàn)重大錯誤，則在改正之后，還要再次組織代碼會審。 代碼評審 走查與代碼評審基本相同 ， 但要求更加嚴(yán)格 。 其過程分為兩步： 第一步把有關(guān)材料先發(fā)給走查小組每個成員 ， 讓他們先認(rèn)真閱讀材料 ， 準(zhǔn)備好意見 。 第二步是開會 ， 開會的程序與代碼會審不同 ， 首先由測試組成員準(zhǔn)備好一批有代表性的測試用例 ， 提交給走查小組 。 開會時 ， 集體扮演計算機角色 ， 讓測試用例沿程序的邏輯運行一遍 ， 并隨時記錄程序的蹤跡 ， 供分析和討論用 。 利用測試用例的媒介作用對程序的邏輯和功能提出各種疑問 ， 結(jié)合問題開展熱烈的討論和爭議 ， 能夠發(fā)現(xiàn)更多的問題 。 走查 （ 1） 靜態(tài)分析程序 （ 2） 斷言處理程序 （ 3） 測試數(shù)據(jù)生成程序 （ 4） 測試覆蓋監(jiān)視程序 （ 5） 測試處理程序 （ 6） 輸出比較程序 自動測試工具
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1