軟件測試畢業(yè)設(shè)計(jì)論文終稿-在線瀏覽
2024-08-08 16:45本頁面
【正文】 軟件的可信性。l 1972年在北卡羅來納大學(xué)舉行了首屆軟件測試正式會議。l 1979年，Glenford Myers的《軟件測試藝術(shù)》，對測試做了定義：測試是為發(fā)現(xiàn)錯(cuò)誤而執(zhí)行的一個(gè)程序或者系統(tǒng)的過程。軟件測試定義發(fā)生了改變，測試不單純是一個(gè)發(fā)現(xiàn)錯(cuò)誤的過程，而且包含軟件質(zhì)量評價(jià)的內(nèi)容。l 1983年，Bill Hetzel在《軟件測試完全指南》中指出：測試是以評價(jià)一個(gè)程序或者系統(tǒng)屬性為目標(biāo)的任何一種活動，測試是對軟件質(zhì)量的度量。l 1996年提出的測試能力成熟度TCMM（Testing Capability Maturity Model）、測試支持度TSM（Testability Support Model）、測試成熟度TMM（Testing Maturity Model）。2軟件測試的基礎(chǔ)理論軟件測試使用人工或者自動手段來運(yùn)行或測試某個(gè)系統(tǒng)的過程,其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或弄清預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。測試是軟件開發(fā)過程的重要組成部分, 是用來確認(rèn)一個(gè)程序的品質(zhì)或性能是否符合開發(fā)之前所提出的一些要求。如果一個(gè)軟件產(chǎn)品開發(fā)完成之后發(fā)現(xiàn)了很多問題, 這說明此軟件開發(fā)過程很可能是有缺陷的。(Do the right thing) l 確定軟件生存周期中的一個(gè)給定階段的產(chǎn)品是否達(dá)到前階段確立的需求的過程；l 程序正確性的形式證明, 即采用形式理論證明程序符號設(shè)計(jì)規(guī)約規(guī)定的過程；l 評市、審查、測試、檢查、審計(jì)等各類活動, 或?qū)δ承╉?xiàng)處理、服務(wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報(bào)告。即保證軟件以正確的方式來做了這個(gè)事件(Do it right)l 靜態(tài)確認(rèn), 不在計(jì)算機(jī)上實(shí)際執(zhí)行程序, 通過人工或程序分析來證明軟件的正確性；l 動態(tài)確認(rèn), 通過執(zhí)行程序做分析, 測試程序的動態(tài)行為, 以證實(shí)軟件是否存在問題。 從是否關(guān)心軟件內(nèi)部結(jié)構(gòu)和具體實(shí)現(xiàn)的角度劃分（按測試分類）l 白盒測試l 黑盒測試l 灰盒測試216。 從軟件開發(fā)的過程按階段劃分有l(wèi) 單元測試l 集成測試l 確認(rèn)測試l 系統(tǒng)測試l 驗(yàn)收測試l 回歸測試l Alpha測試l Beta測試5軟件測試流程制定測試計(jì)劃測試設(shè)計(jì)開發(fā)實(shí)施軟件測試評 審版本發(fā)布新版本測試準(zhǔn)備階段未通過評審軟件測試活動包括：制定測試計(jì)劃、測試設(shè)計(jì)開發(fā)和開發(fā)、執(zhí)行測試、評估測試6軟件測試用例方法l 用成熟測試用例設(shè)計(jì)方法來指導(dǎo)設(shè)計(jì)；l 測試用例的正確性；l 測試用例的代表性；l 測試結(jié)果的可判定性；l 測試結(jié)果的可再現(xiàn)性；l 足夠詳細(xì)、準(zhǔn)確和清晰的步驟；l 不要把測試用例設(shè)計(jì)等同于測試輸入數(shù)據(jù)的設(shè)計(jì)；l 不要強(qiáng)調(diào)測試用例設(shè)計(jì)得越詳細(xì)越好；l 不要追求測試用例設(shè)計(jì)“一步到位”；l 不要將多個(gè)測試用例混在一個(gè)用例中；l 不要讓沒有測試經(jīng)驗(yàn)的人員設(shè)計(jì)測試用例；l 有效性：有效地節(jié)省時(shí)間和資源，提高測試效率；l 避免測試的盲目性，使得軟件測試的實(shí)施重點(diǎn)突出、目的明確；l 可維護(hù)性，降低工作強(qiáng)度，縮短項(xiàng)目周期；l 可復(fù)用性，使得測試過程事半功倍；l 可評估性：程序代碼質(zhì)量的量化標(biāo)準(zhǔn)應(yīng)該用測試用例的通過率和測試數(shù)目來進(jìn)行評估；l 可管理性，測試用例是測試人員在測試過程中的重要參考依據(jù)，便于對測試工作進(jìn)行有效的管理；等價(jià)類是指某個(gè)輸入域的子集合。等價(jià)類劃分可有兩種不同的情況：有效等價(jià)類和無效等價(jià)類。 1)有效等價(jià)類是指對于程序的規(guī)格說明來說是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。無效等價(jià)類指對程序的規(guī)格說明是不合理的或無意義的輸入數(shù)據(jù)所構(gòu)成的集合。舉例說明：某程序規(guī)定：輸入三個(gè)整數(shù) a 、 b 、 c 分別作為三邊的邊長構(gòu)成三角形。用等價(jià)類劃分方法為該程序進(jìn)行測試用例設(shè)計(jì)。 （1）整數(shù) （3）非零數(shù) （4）正數(shù) 2)如果三條邊相等即滿足條件（7），則程序輸出為 等邊三角形 。 4)如果三條邊都不相等，則程序輸出為 一般三角形 。 a c 3 5 （1）
畢業(yè)設(shè)計(jì)相關(guān)推薦
鄂ICP備17016276號-1