版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、第 1部分 軟件測試概述1本部分課程目標(biāo)軟件缺陷的定義軟件缺陷產(chǎn)生的原因軟件測試的目標(biāo)軟件測試的特征軟件測試的數(shù)學(xué)基礎(chǔ)2軟件的生命周期需求規(guī)格說明概要設(shè)計(jì)詳細(xì)設(shè)計(jì)系統(tǒng)測試集成測試單元測試編碼3“臭蟲”的由來 人們將軟件錯(cuò)誤稱為“臭蟲”,這是因?yàn)榈谝粋€(gè)有記載的電腦故障是由線路上的臭蟲造成的。就是我們通常稱的“BUG”。4軟件失敗的術(shù)語描述缺點(diǎn)(defect) 問題 (problem)謬誤 (fault) 矛盾(inconsistency) 失敗(failure) 偏差(variance)毛病 (incident) 特殊(feature)異常 (anomaly) 錯(cuò)誤 (error)缺陷(bug)
2、5軟件失敗的幾個(gè)定義錯(cuò)誤:人類會犯錯(cuò)誤。缺陷:缺陷是錯(cuò)誤的結(jié)果。失效:當(dāng)缺陷執(zhí)行時(shí)會發(fā)生失效。事故:當(dāng)出現(xiàn)失效時(shí),可能會也可能不會呈現(xiàn)給用戶。6軟件缺陷軟件未達(dá)到產(chǎn)品描述表明的功能。軟件出現(xiàn)了產(chǎn)品描述指明不會出現(xiàn)的錯(cuò)誤。軟件功能超出產(chǎn)品描述指明范圍。軟件未達(dá)到產(chǎn)品描述雖未指出但應(yīng)達(dá)到的目標(biāo)。軟件測試人員認(rèn)為軟件難以理解、不易使用、運(yùn)行速度緩慢,或者最終用戶認(rèn)為不好。7軟件缺陷的分類以出現(xiàn)相應(yīng)錯(cuò)誤的開發(fā)階段來劃分;以相應(yīng)失效產(chǎn)生的后果來劃分;以解決難度來劃分;以不解決會產(chǎn)生的風(fēng)險(xiǎn)來劃分;根據(jù)異常出現(xiàn)的頻率來劃分。8軟件缺陷產(chǎn)生的原因軟件缺陷產(chǎn)生的原因有很多,但最主要的原因要?dú)w咎于產(chǎn)品描述9常見導(dǎo)
3、致錯(cuò)誤的根源缺乏有效的溝通,或者沒有進(jìn)行溝通;軟件復(fù)雜度不斷變更的需求時(shí)間的壓力缺乏文檔的代碼軟件開發(fā)工具10軟件測試員的目標(biāo)發(fā)現(xiàn)軟件缺陷11測試的目標(biāo)證明獲取系統(tǒng)在可接受范圍內(nèi)可用的信心;嘗試在非正常情況和條件下的功能和特性;保證一個(gè)工作產(chǎn)品是完整的并且可用或可被集成。12測試的目標(biāo)檢測發(fā)現(xiàn)缺陷、錯(cuò)誤和系統(tǒng)不足;定義系統(tǒng)的能力和局限性;提供組件、工作產(chǎn)品和系統(tǒng)的質(zhì)量信息。13測試的目標(biāo)預(yù)防澄清系統(tǒng)的規(guī)格和性能;提供預(yù)防或減少可能制造錯(cuò)誤的信息;在過程中盡早檢測錯(cuò)誤;確定問題和風(fēng)險(xiǎn),并且提前確認(rèn)解決這些問題和風(fēng)險(xiǎn)的途徑。14軟件測試的生命周期需求規(guī)格說明設(shè)計(jì)缺陷分類缺陷解決缺陷隔離測試編碼錯(cuò)誤
4、錯(cuò)誤錯(cuò)誤錯(cuò)誤修復(fù)事故缺陷缺陷缺陷15軟件測試的理解規(guī)格說明(預(yù)期的)程序(觀察的)SP16軟件測試用例的理解7規(guī)格說明(預(yù)期的)程序(觀察的)SPT8215643測試用例(已檢驗(yàn))17黑盒測試技術(shù)(功能)規(guī)格說明(預(yù)期的)程序(觀察的)SP測試用例18白盒測試技術(shù)(結(jié)構(gòu))規(guī)格說明(預(yù)期的)程序(觀察的)SP測試用例19軟件測試的特征軟件測試具有一定的風(fēng)險(xiǎn)軟件缺陷的寄生蟲性軟件測試的殺蟲劑現(xiàn)象軟件測試的不修復(fù)原則Pareto原則20完全測試程序是不可能的原因:輸入量太大輸出結(jié)果太多軟件實(shí)現(xiàn)途徑太多軟件說明書沒有客觀標(biāo)準(zhǔn)21軟件測試是有風(fēng)險(xiǎn)的行為 如果決定不去測試所有的情況,那就是選擇了風(fēng)險(xiǎn) 。2
5、2軟件缺陷的寄生蟲性找到的軟件缺陷越多,就說明軟件缺陷越多原因:程序員的疲倦程序員往往犯同樣的錯(cuò)誤某些軟件的缺陷其實(shí)是大災(zāi)難的征兆23軟件測試的殺蟲劑現(xiàn)象軟件測試越多,其免疫力越強(qiáng)的現(xiàn)象克服方法:不斷編寫不同的新的測試程序?qū)Τ绦虻牟煌糠诌M(jìn)行測試24軟件測試的不修復(fù)原則并非所有軟件缺陷都能修復(fù)不需要修復(fù)軟件缺陷的原因:沒有足夠的時(shí)間不算真正的軟件缺陷修復(fù)的風(fēng)險(xiǎn)太大不值得修復(fù)25Pareto原則 Pareto原則暗示著測試發(fā)現(xiàn)的錯(cuò)誤中的80%很可能起源于程序模塊中的20%。26軟件測試中的誤區(qū)調(diào)試和測試是一樣的;測試組應(yīng)當(dāng)為保證質(zhì)量負(fù)責(zé);把測試作為新員工的一個(gè)過渡工作;關(guān)注測試的執(zhí)行而忽略測試的
6、設(shè)計(jì);測試自動(dòng)化是萬能的;測試時(shí)枯燥乏味,缺乏創(chuàng)造力的工作。27測試人員的離散數(shù)學(xué)離散數(shù)學(xué)包括:集合論、函數(shù)、關(guān)系、命題邏輯和概率論。28集合論集合定義集合有三種方式定義:簡單列出集合的元素給出辨別規(guī)則通過其他集合構(gòu)建29集合論空集空集采用符號 表示,在集合中占有特殊位置。 空集不包含元素。空集是唯一的,即不會有兩個(gè)空集。如果集合被規(guī)則定義為永遠(yuǎn)失敗, 那么該集合就是空集。30集合論集合關(guān)系定義: A是B的子集 A是B的真子集 A是B的相等集合。31集合論子集劃分定義:子集劃分由于劃分是一組子集, 因此可以把單個(gè)子集看做是劃分的元素。 劃分可以保證完備性和無冗余性。32函數(shù)函數(shù)的定義函數(shù)的定義
7、域與值域函數(shù)的類型函數(shù)的合成33關(guān)系集合之間的關(guān)系集合之間的關(guān)系的定義關(guān)系的勢的定義關(guān)系的參與的定義34關(guān)系單個(gè)集合上的關(guān)系關(guān)系的四個(gè)特殊屬性排序關(guān)系的定義等價(jià)關(guān)系的定義35命題邏輯命題的定義邏輯操作符邏輯表達(dá)式邏輯等價(jià)36概率論事件的概率的定義概率論在測試中的應(yīng)用37測試人員的圖論本課程主要介紹:無向圖和有向圖。38圖圖的定義定義:圖G=(V,E)有節(jié)點(diǎn)的有限(并且非空)集合V和節(jié)點(diǎn)無需對偶集合E組成。 V=n1,n2 ,nm和 E=e1, e2,.,ep其中每條邊ek=ni,nj ,ni 、njV。39圖基本概念節(jié)點(diǎn)的度圖的關(guān)聯(lián)距陣圖的相鄰距陣40圖路徑路徑的定義路徑的連接性壓縮圖圈數(shù)41
8、有向圖定義定義: 有向圖(或框圖)G=(V,E)包含:一個(gè)節(jié)點(diǎn)的有限集合V=n1,n2 ,nm,一個(gè)邊的集合E=e1, e2,.,ep,其中每條邊ek=ni,nj是節(jié)點(diǎn)ni 、njV的一個(gè)有序?qū)ε肌?42有向圖基本概念內(nèi)度與外度節(jié)點(diǎn)的類型有向圖的相鄰距陣43有向圖基本概念路徑與半路徑可到達(dá)性距陣n-連接性強(qiáng)組件44用于測試的圖程序圖定義 給定一個(gè)采用命令式程序設(shè)計(jì)語言編寫的程序,其程序圖是一種有向圖,其中: 節(jié)點(diǎn)是程序語句,邊表示控制流(從節(jié)點(diǎn)I到節(jié)點(diǎn)j有一條邊,當(dāng)且僅當(dāng)對應(yīng)節(jié)點(diǎn)j的語句可以立即在節(jié)點(diǎn)I對應(yīng)的語句之后執(zhí)行。45用于測試的圖程序圖46用于測試的圖有限狀態(tài)機(jī)定義 有限狀態(tài)機(jī)是一種有
9、向圖,其中狀態(tài)是節(jié)點(diǎn),轉(zhuǎn)移是邊。源狀態(tài)和吸收狀態(tài)是初始節(jié)點(diǎn)和終止節(jié)點(diǎn),路徑被建模為通路。大多數(shù)有限狀態(tài)機(jī)表示方法都要為邊(轉(zhuǎn)移)增加信息,已指示轉(zhuǎn)移的原因合作為轉(zhuǎn)移的結(jié)果要發(fā)生的行動(dòng)。47用于測試的圖有限狀態(tài)機(jī)48用于測試的圖Petri網(wǎng)定義 Petri網(wǎng)是一種雙向有向圖(P,T,In,Out),其中,P和T是不相交的節(jié)點(diǎn)集合,In和Out是邊集合,In c PXT,Out c TXP。49用于測試的圖Petri網(wǎng)50用于測試的圖Petri網(wǎng)51用于測試的圖Petri網(wǎng)52用于測試的圖Petri網(wǎng)53用于測試的圖事件驅(qū)動(dòng)的Petri網(wǎng)定義 EDPN是一種多向圖(P,D,S,In,Out),包括三個(gè)節(jié)點(diǎn)集合P、D和S,以及兩個(gè)映射集合In和Out。其中:P是端口事件的集合;D是數(shù)據(jù)地點(diǎn)的集合;S是轉(zhuǎn)移的集合;In是(PD)XS的有序?qū)ε技希籓ut是SX P D)的有序?qū)ε技稀?4事件驅(qū)動(dòng)的Petri網(wǎng)示例55用于測試的圖狀態(tài)圖狀態(tài)圖是將為維恩圖描述層次結(jié)構(gòu)的能力以及有向圖描述有
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 鄭州軌道工程職業(yè)學(xué)院《軟裝面料再造》2023-2024學(xué)年第一學(xué)期期末試卷
- 肇慶醫(yī)學(xué)高等??茖W(xué)?!督ㄖこ逃?jì)量與計(jì)價(jià)》2023-2024學(xué)年第一學(xué)期期末試卷
- 運(yùn)城幼兒師范高等??茖W(xué)校《動(dòng)畫技法》2023-2024學(xué)年第一學(xué)期期末試卷
- 區(qū)塊鏈確保食品追溯透明
- DB2201T 67-2024 架子牛引進(jìn)質(zhì)量控制規(guī)范
- 數(shù)學(xué)啟蒙游戲課
- 房地產(chǎn)經(jīng)紀(jì)綜合能力-《房地產(chǎn)經(jīng)紀(jì)綜合能力》點(diǎn)睛提分卷2
- 七夕節(jié)的傳統(tǒng)與現(xiàn)代模板
- 農(nóng)學(xué)研究答辯模板
- 二零二五年房地產(chǎn)廣告策劃合同1200字模板2篇
- 課題申報(bào)書:大中小學(xué)鑄牢中華民族共同體意識教育一體化研究
- 巖土工程勘察課件0巖土工程勘察
- 《腎上腺腫瘤》課件
- 2024-2030年中國典當(dāng)行業(yè)發(fā)展前景預(yù)測及融資策略分析報(bào)告
- 《乘用車越野性能主觀評價(jià)方法》
- 幼師個(gè)人成長發(fā)展規(guī)劃
- 2024-2025學(xué)年北師大版高二上學(xué)期期末英語試題及解答參考
- 批發(fā)面包采購合同范本
- 乘風(fēng)化麟 蛇我其誰 2025XX集團(tuán)年終總結(jié)暨頒獎(jiǎng)盛典
- 2024年大數(shù)據(jù)分析公司與中國政府合作協(xié)議
- 一年級數(shù)學(xué)(上)計(jì)算題專項(xiàng)練習(xí)匯編
評論
0/150
提交評論