slide09 - testing

《slide09 - testing》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。

1、軟件測(cè)試1內(nèi)容提綱驗(yàn)證與確認(rèn)驗(yàn)證與確認(rèn)的基本概念與活動(dòng)模型靜態(tài)方法：走查、審查、檢查軟件測(cè)試基礎(chǔ)測(cè)試的概念與原則、測(cè)試文檔軟件測(cè)試活動(dòng)軟件測(cè)試技術(shù)黑盒測(cè)試與白盒測(cè)試等價(jià)類劃分、邊界值分析路徑測(cè)試、基于狀態(tài)的測(cè)試面向?qū)ο蟮臏y(cè)試2基本術(shù)語錯(cuò)誤（Error)錯(cuò)誤是指導(dǎo)致系統(tǒng)可能包含故障的人的行為，如輸入錯(cuò)誤、需求錯(cuò)誤、設(shè)計(jì)錯(cuò)誤等。缺陷（Defect，Bug）缺陷是錯(cuò)誤的表現(xiàn)，包括過錯(cuò)缺陷和遺漏缺陷。故障（Fault）故障是指系統(tǒng)的規(guī)格說明與其行為之間的偏差，通常由一個(gè)或多個(gè)缺陷引起。3基本術(shù)語驗(yàn)證（Verification）我們是否在正確地制造產(chǎn)品？軟件驗(yàn)證試圖證

2、明在軟件生存周期的各個(gè)階段，軟件產(chǎn)品或中間產(chǎn)品是否能夠滿足客戶需求，包括一致性、完整性和正確性。確認(rèn)（Validation）我們是否在制造正確的產(chǎn)品？軟件確認(rèn)的目的是保證所開發(fā)的最終軟件產(chǎn)品能夠符合用戶的需求。說明：驗(yàn)證強(qiáng)調(diào)對(duì)于過程的檢驗(yàn)，確認(rèn)強(qiáng)調(diào)對(duì)于結(jié)果的檢驗(yàn)。4軟件錯(cuò)誤（或軟件缺陷）的表現(xiàn)軟件未達(dá)到產(chǎn)品說明書標(biāo)明的功能；軟件出現(xiàn)了產(chǎn)品說明書指明不會(huì)出現(xiàn)的錯(cuò)誤；軟件功能超出了產(chǎn)品說明書指明的范圍；軟件未達(dá)到產(chǎn)品說明書雖未指出但應(yīng)達(dá)到的目標(biāo)；軟件測(cè)試人員認(rèn)為軟件難以理解、不易使用、運(yùn)行速度緩慢、或者最終用戶不滿意。有錯(cuò)是軟件的屬性，而且是無法改變的。因此，關(guān)

3、鍵在于如何避免錯(cuò)誤的產(chǎn)生和消除已經(jīng)產(chǎn)生的錯(cuò)誤，使程序中的錯(cuò)誤密度達(dá)到盡可能低的程度。軟件錯(cuò)誤或缺陷5驗(yàn)證與確認(rèn)6這是什么？7錯(cuò)誤的狀態(tài)8算法錯(cuò)誤9機(jī)械錯(cuò)誤10處理錯(cuò)誤或缺陷：缺陷？11處理錯(cuò)誤或缺陷：特性？12處理錯(cuò)誤或缺陷：冗余？13處理錯(cuò)誤或缺陷：補(bǔ)丁？14處理錯(cuò)誤或缺陷：測(cè)試？15另一種觀點(diǎn)錯(cuò)誤預(yù)防（在系統(tǒng)發(fā)布之前實(shí)施）使用好的程序設(shè)計(jì)方法來減少復(fù)雜性使用版本控制來防止系統(tǒng)的不一致應(yīng)用驗(yàn)證技術(shù)來防止算法錯(cuò)誤錯(cuò)誤檢測(cè)（當(dāng)系統(tǒng)運(yùn)行時(shí)實(shí)施）測(cè)試：以事先規(guī)劃的方式發(fā)現(xiàn)錯(cuò)誤調(diào)試：假設(shè)從意外故障著手可以找到錯(cuò)誤監(jiān)控：發(fā)送狀態(tài)信息，發(fā)現(xiàn)性能錯(cuò)誤錯(cuò)誤恢復(fù)（一旦系統(tǒng)發(fā)布

4、后出現(xiàn)錯(cuò)誤時(shí)實(shí)施）數(shù)據(jù)庫系統(tǒng)：提供從故障中恢復(fù)的基本事務(wù)處理模塊冗余：將不止一個(gè)組件分配執(zhí)行同一個(gè)操作恢復(fù)程序：該程序處理錯(cuò)誤信息，使系統(tǒng)從故障中恢復(fù)過來16驗(yàn)證與確認(rèn)的活動(dòng)模型17驗(yàn)證與確認(rèn)的活動(dòng)模型需求分析與規(guī)格說明階段用例表示待開發(fā)系統(tǒng)的場(chǎng)景，有助于建立完整的系統(tǒng)，可以用于在后續(xù)的實(shí)現(xiàn)階段生成測(cè)試用例；形式化方法（如狀態(tài)機(jī)）可以自動(dòng)地檢驗(yàn)一致性和完整性等特性；需求檢查、需求評(píng)審、原型方法設(shè)計(jì)階段斷言、抽象數(shù)據(jù)類型、契約設(shè)計(jì)等是詳細(xì)設(shè)計(jì)的驗(yàn)證工具設(shè)計(jì)走查、設(shè)計(jì)檢查、設(shè)計(jì)評(píng)審18驗(yàn)證與確認(rèn)的活動(dòng)模型軟件實(shí)現(xiàn)階段軟件測(cè)試是一種主要的驗(yàn)證與確認(rèn)工具代碼走查、代

5、碼檢查、代碼評(píng)審動(dòng)態(tài)監(jiān)控工具（如斷言的動(dòng)態(tài)監(jiān)控）驗(yàn)證與確認(rèn)的方式靜態(tài)方法：通過人工分析或程序正確性證明的方式來確認(rèn)程序的正確性，包括走查、審查、檢查等方法；動(dòng)態(tài)方法：通過動(dòng)態(tài)分析和程序測(cè)試來檢查程序執(zhí)行狀態(tài)，以確認(rèn)程序是否有問題。19評(píng)審評(píng)審（Review）評(píng)審是由若干開發(fā)人員、項(xiàng)目經(jīng)理、測(cè)試人員、用戶或領(lǐng)域?qū)＜业冉M成一個(gè)會(huì)審小組，通過閱讀、討論和爭(zhēng)議，對(duì)工作制品進(jìn)行靜態(tài)分析的過程。類型：需求評(píng)審、設(shè)計(jì)評(píng)審和代碼評(píng)審。評(píng)審過程小組負(fù)責(zé)人提前把需求規(guī)格說明、設(shè)計(jì)說明或程序代碼及有關(guān)要求、規(guī)范等分發(fā)給小組成員，作為評(píng)審的依據(jù)；在充分閱讀有關(guān)材料后召開評(píng)審會(huì)議，主

6、要開發(fā)人員進(jìn)行講解，其他成員提出問題并展開討論，審查是否存在錯(cuò)誤；評(píng)審小組形成產(chǎn)品評(píng)審的書面報(bào)告。20走查走查（Walkthrough）走查是由設(shè)計(jì)人員或編程人員組成一個(gè)走查小組，通過閱讀一段文檔或代碼，并進(jìn)行提問和討論，從而發(fā)現(xiàn)可能存在的缺陷、遺漏和矛盾的地方。類型：設(shè)計(jì)走查、代碼走查。走查過程與評(píng)審過程類似，即先把材料先發(fā)給走查小組每個(gè)成員，讓他們認(rèn)真研究程序，然后再開會(huì)；與評(píng)審的區(qū)別：評(píng)審?fù)ǔＪ呛?jiǎn)單地讀程序或?qū)φ斟e(cuò)誤檢查表進(jìn)行檢查；走查則是按照所提交的測(cè)試用例，人工模仿計(jì)算機(jī)運(yùn)行一遍，并記錄跟蹤情況。21走查走查是開發(fā)者的一次友好的會(huì)議，需要仔細(xì)規(guī)劃，

7、并有明確的目的、日程、持續(xù)時(shí)間和參與人員，許多小組以星期為單位走查。走查前幾天：召集人將收集的一些要在會(huì)上審查的材料（模型、文檔、程序代碼等）分發(fā)給參與者，參與者研究這些材料并在會(huì)議之前提交意見。會(huì)議期間：召集人提出大家的意見并對(duì)每一項(xiàng)進(jìn)行討論。會(huì)議時(shí)間比較短，一般2－3小時(shí)。會(huì)議的目的是查明問題，而不是干擾開發(fā)者。會(huì)議的思想是確認(rèn)問題的存在，甚至不必去謀求問題的解決。會(huì)后：將問題分發(fā)給相應(yīng)人員進(jìn)行解決。22檢查（Inspection）檢查是由一些經(jīng)過嚴(yán)格訓(xùn)練的人員根據(jù)評(píng)估標(biāo)準(zhǔn)，對(duì)于開發(fā)過程中的產(chǎn)品或中間制品進(jìn)行檢查，發(fā)現(xiàn)其中存在的錯(cuò)誤。檢查一般是按規(guī)定程序

8、和時(shí)間計(jì)劃進(jìn)行的，參與者來自開發(fā)人員、測(cè)試人員、質(zhì)量