軟件測(cè)試說明ppt課件(參考版)
2025-05-08 22:15本頁面
【正文】 利用測(cè)試用例的媒介作用對(duì)程序的邏輯和功能提出各種疑問 ， 結(jié)合問題開展熱烈的討論和爭(zhēng)議 ， 能夠發(fā)現(xiàn)更多的問題 。 第二步是開會(huì) ， 開會(huì)的程序與代碼會(huì)審不同 ， 首先由測(cè)試組成員準(zhǔn)備好一批有代表性的測(cè)試用例 ， 提交給走查小組 。 代碼評(píng)審 走查與代碼評(píng)審基本相同 ， 但要求更加嚴(yán)格 。討論過程中不討論任何糾錯(cuò)問題，主要是發(fā)現(xiàn)錯(cuò)誤，否則違背了測(cè)試的目的。第二步是召開程序?qū)彶闀?huì)，首先由測(cè)試人員進(jìn)行講解，其它成員可以提問并展開討論。 首先，組長(zhǎng)提前把設(shè)計(jì)規(guī)格說明書、控制流程圖、程序文本及有關(guān)要求、規(guī)范等分發(fā)給小組成員，作為評(píng)審的依據(jù)。 這些系統(tǒng)目前還只能對(duì)較小的程序進(jìn)行評(píng)價(jià) 。 宏編譯程序產(chǎn)生軟件的符號(hào)表示 ， 利用以人工智能理論和謂詞演算為基礎(chǔ)的自動(dòng)化技術(shù)來 “ 證明 ” 程序的正確性 。 目前 ， 已經(jīng)開發(fā)出了一些自動(dòng)的計(jì)算機(jī)軟件正確性證明方法 。 軟件可靠性的定義 程序正確性證明是一項(xiàng)復(fù)雜的課題 ， 涉及到許多復(fù)雜的領(lǐng)域 。 這里 ， 故障是指在許可的運(yùn)行條件下一個(gè)不可接受的結(jié)果或行為 。 軟件可靠性可以根據(jù)與技術(shù)系統(tǒng)可靠性接近的平行定義來表示 。 演繹法排錯(cuò)的過程是這樣的：測(cè)試人員首先列出所有可能出錯(cuò)的原因或假設(shè) ， 然后再用原始測(cè)試數(shù)據(jù)或新的測(cè)試 ，逐個(gè)排除不可能正確的假設(shè) ， 最后 ， 證明剩下的原因確實(shí)是錯(cuò)誤的根源 。 歸納法 歸納法就是從線索 （ 錯(cuò)誤征兆 ） 出發(fā) ， 通過分析這些線索之間的關(guān)系而找出故障的一種系統(tǒng)化的思考方法 。 通過回溯 ， 我們往往可以把錯(cuò)誤范圍縮小到程序中的一小段代碼 ，仔細(xì)分析這段代碼 ， 不難確定出錯(cuò)的準(zhǔn)確位置 。 然后人工沿程序的控制流程往回追蹤源程序代碼 ， 直到找到錯(cuò)誤根源或確定錯(cuò)誤產(chǎn)生的范圍為止 。 調(diào)試的步驟 調(diào)試的策略 強(qiáng)行排錯(cuò) 這是目前使用較多但效率較低的一種調(diào)試方法 。 調(diào)試 調(diào)試的步驟 調(diào)試的策略 退出 調(diào)試過程由兩個(gè)部分組成：首先 ， 確定程序中錯(cuò)誤的確切性質(zhì)和位置；然后 ， 對(duì)程序代碼進(jìn)行分析 ， 確定問題的原因 ， 并設(shè)法改正這個(gè)錯(cuò)誤 。 系統(tǒng)測(cè)試 軟件僅僅是計(jì)算機(jī)系統(tǒng)的一個(gè)組成部分 ， 在實(shí)際運(yùn)行中 ， 它要和計(jì)算機(jī)系統(tǒng)的其它元素一起工作 ，所以最終要把軟件與其它系統(tǒng)元素結(jié)合起來 ， 進(jìn)行一系列的集成測(cè)試和有效性測(cè)試 。 在每個(gè)有效性測(cè)試用例測(cè)試完成以后 ， 可能有兩種情況： （ 1） 軟件的功能和性能與用戶的要求一致 ， 軟件可以接受； （ 2） 軟件的功能或性能與用戶的要求有差距 。 一般來說，我們并不只是使用單一的自頂向下結(jié)合或自底向上結(jié)合方式，而是根據(jù)情況結(jié)合這兩種方法來進(jìn)行組裝和測(cè)試：對(duì)軟件結(jié)構(gòu)中較上層模塊使用自頂向下結(jié)合方法，對(duì)軟件結(jié)構(gòu)中較下層模塊使用自底向上結(jié)合方法。主要缺點(diǎn)是：直到最后一個(gè)模塊結(jié)合進(jìn)來以前，程序作為一個(gè)整體始終不存在。 主要缺點(diǎn)是：需要設(shè)計(jì)存根模塊 ， 并且由于為了使存根模塊能夠盡量模擬實(shí)際模塊的功能 ， 必然會(huì)增加設(shè)計(jì)存根模塊的復(fù)雜度 ，從而導(dǎo)致增加一些附加的測(cè)試 。 圖中自底向上的結(jié)合過程：首先把模塊組合成族 族 2和族 3， 然后設(shè)計(jì)相應(yīng)的驅(qū)動(dòng)模塊 D D2和 D3， 并對(duì)每個(gè)子功能族進(jìn)行測(cè)試；族 1和族 2下屬于模塊 Ma，去掉驅(qū)動(dòng)模塊 D 1和D2， 把這兩個(gè)族直接與 Ma結(jié)合 ， 同樣地 ，在族 3與模塊 Mb結(jié)合之前將 D3去掉；最后Ma和 Mb與 Mc結(jié)合起來 。 它不需要存根模塊 ， 但需要驅(qū)動(dòng)模塊 。這種方法就是下面要介紹的自底向上結(jié)合方法。采用這種方法也有一定的缺陷：由于我們對(duì)一些特定的測(cè)試和組裝與特定模塊間的對(duì)應(yīng)關(guān)系失去了某些控制，從而在確定錯(cuò)誤原因時(shí)會(huì)發(fā)生困難。當(dāng)我們?yōu)榱顺浞值販y(cè)試較高層次的功能時(shí)，可能需要較低層次上處理的信息，但是我們采用自頂向下的方法時(shí)，存根模塊代替了低層次的模塊，若高層模塊需要低層模塊返回的信息不僅數(shù)量大，而且種類也很多時(shí)，存根模塊有可能很難完全滿足這個(gè)要求，因而，這種方法有一定的局限性。 如果選擇的是深度優(yōu)先結(jié)合方法 ， 可以首先實(shí)現(xiàn)并驗(yàn)證軟件的一個(gè)比較完整的功能 ， 這樣對(duì)增強(qiáng)開發(fā)人員和用戶雙方的信心是很有意義的 。 因?yàn)樵谝粋€(gè)功能劃分合理的軟件結(jié)構(gòu)中 ，關(guān)鍵的判斷點(diǎn)常常出現(xiàn)在較高的層次里 ， 所以能夠較早碰到 。 從第（ 2）步開始，不斷地重復(fù)進(jìn)行上述過程，直到所有模塊都結(jié)合進(jìn)來為止。 對(duì)于圖 ， 首先結(jié)合模塊 M2，M3和 M4（ 代替存根模塊 S4） ， 接著結(jié)合下一個(gè)控制層次中的模塊 M5， M6和 M7；如此繼續(xù)進(jìn)行下去 ，直到所有模塊都被結(jié)合進(jìn)來 。 然后結(jié)合中間的和右邊的控制通路 。 對(duì)于圖 ， 如果選取左通路為主控通路 ， 那么首先結(jié)合模塊 M1， M2和 M5， 然后是 M8。 采用深度優(yōu)先的結(jié)合方法時(shí) ， 先把軟件結(jié)構(gòu)的一條主控制通路上的所有模塊一個(gè)一個(gè)地結(jié)合組裝起來 。 采用這種組裝方式時(shí) ， 是從主控制模塊開始 ， 沿著軟件的控制層次向下移動(dòng) ， 從而逐漸把各個(gè)模塊都結(jié)合起來 。 （ 4） 采用非增殖式組裝方式時(shí) ， 各模塊的單元測(cè)試可以并行地進(jìn)行 ， 因此可以充分利用人力 ， 加快測(cè)試進(jìn)程 ， 采用增殖式組裝方式時(shí)卻不能如此 。 （ 2） 采用非增殖式組裝方式時(shí)要對(duì)每個(gè)模塊進(jìn)行單元測(cè)試 ， 需要編寫的測(cè)試軟件較多 ， 工作量大 ， 而采用增殖式組裝方式時(shí) ， 利用已測(cè)試過的模塊部分作為部分測(cè)試軟件 ， 因而工作量較小 。 采用增殖式組裝方式：把下一個(gè)要測(cè)試的模塊同已經(jīng)測(cè)試好的那些模塊結(jié)合起來進(jìn)行測(cè)試，測(cè)試完以后再把下一個(gè)應(yīng)該測(cè)試的模塊結(jié)合進(jìn)來測(cè)試，這種方法實(shí)際上同時(shí)完成單元測(cè)試和集成測(cè)試。 將各個(gè)模塊組裝成系統(tǒng)的方法：非增殖式組裝方式和增殖式組裝方式 。 存根模塊可以做少量的數(shù)據(jù)操作 ， 一般情況下 ， 不需要把實(shí)際子模塊的所有功能都帶進(jìn)來 。 存根模塊：也叫虛擬子程序 。 驅(qū)動(dòng)模塊A存根模塊 B ……. 存根模塊 N驅(qū)動(dòng)模塊：相當(dāng)于所測(cè)模塊的 “ 主程序 ” 。 單元測(cè)試的步驟 單元測(cè)試的對(duì)象是模塊 。例如，處理 n元數(shù)組的第一個(gè)元素或最后一個(gè)元素時(shí)，在 n次循環(huán)中的第 n次重復(fù)時(shí)，往往會(huì)發(fā)生錯(cuò)誤。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1