學(xué)軟件測試----**先鋒教育 >>http://kaoshi.china.com/xuexiao/bjqf/
軟件測試主要工作內(nèi)容是驗證(verification)和確認(rèn)(validation),下面分別給出其概念:
驗證(verification)是保證軟件正確地實現(xiàn)了一些特定功能的一系列活動, 即保證軟件以正確的方式來做了這個事件(Do it right)
1.確定軟件生存周期中的一個給定階段的產(chǎn)品是否達(dá)到前階段確立的需求的過程。
2.程序正確性的形式證明,即采用形式理論證明程序符合設(shè)計規(guī)約規(guī)定的過程。
3.評審、審查、測試、檢查、審計等各類活動,或?qū)δ承╉椞幚怼⒎?wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報告。
確認(rèn)(validation)是一系列的活動和過程,目的是想證實在一個給定的外部環(huán)境中軟件的邏輯正確性。即保證軟件做了你所期望的事情。(Do the right thing)
1.靜態(tài)確認(rèn),不在計算機(jī)上實際執(zhí)行程序,經(jīng)過人工或程序分析來證明軟件的正確性。
2.動態(tài)確認(rèn),經(jīng)過執(zhí)行程序做分析,測試程序的動態(tài)行為,以證實軟件是否存在問題。
軟件測試的對象不僅僅是程序測試,軟件測試應(yīng)該包括整個軟件開發(fā)期間各個階段所產(chǎn)生的文檔,如需求規(guī)格說明、概要設(shè)計文檔、詳細(xì)設(shè)計文檔,當(dāng)然軟件測試的主要對象還是源程序。
測試方法
等價類
1.定義
是把所有可能的輸入數(shù)據(jù),即程序的輸入域劃分成若干部分(子集),然后從每一個子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測試用例。該方法是一種重要的,常用的黑盒測試用例設(shè)計方法。
2.劃分等價類
等價類是指某個輸入域的子集合。在該子集合中,各個輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的,并合理地假定:測試某等價類的代表值就等于對這一類其它值的測試,因此,可以把全部輸入數(shù)據(jù)合理劃分為若干等價類,在每一個等價類中取一個數(shù)據(jù)作為測試的輸入條件就可以用少量代表性的測試數(shù)據(jù)取得較好的測試結(jié)果。等價類劃分可有兩種不同的情況:有效等價類和無效等價類。
1)有效等價類
是指對于程序的規(guī)格說明來說是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。利用有效等價類可檢驗程序是否實現(xiàn)了規(guī)格說明中所規(guī)定的功能和性能。
2)無效等價類
與有效等價類的定義恰巧相反。無效等價類指對程序的規(guī)格說明是不合理的或無意義的輸入數(shù)據(jù)所構(gòu)成的集合。對于具體的問題,無效等價類至少應(yīng)有一個,也可能有多個。
設(shè)計測試用例時,要同時考慮這兩種等價類。因為軟件不僅要能接收合理的數(shù)據(jù),也要能經(jīng)受意外的考驗,這樣的測試才能確保軟件具有更高的可靠性。
3.劃分等價類的標(biāo)準(zhǔn)
1)完備測試、避免冗余;
2)劃分等價類重要的是:集合的劃分,劃分為互不相交的一組子集,而子集的并是整個集合;
3)并是整個集合:完備性;
4)子集互不相交:保證一種形式的無冗余性;
5)同一類中標(biāo)識(選擇)一個測試用例,同一等價類中,往往處理相同,相同處理映射到"相同的執(zhí)行路徑"。
4.劃分等價類的方法
1)在輸入條件規(guī)定了取值范圍或值的個數(shù)的情況下,則可以確立一個有效等價類和兩個無效等價類。
如:輸入值是學(xué)生成績,范圍是0~100。
2)在輸入條件規(guī)定了輸入值的集合或者規(guī)定了"必須如何"的條件的情況下,可確立一個有效等價類和一個無效等價類。
邊界值
1. 定義:邊界值分析法就是對輸入或輸出的邊界值進(jìn)行測試的一種黑盒測試方法。通常邊界值分析法是作為對等價類劃分法的補(bǔ)充,這種情況下,其測試用例來自等價類的邊界。
2. 與等價劃分的區(qū)別
1) 邊界值分析不是從某等價類中隨便挑一個作為代表,而是使這個等價類的每個邊界都要作為測試條件。
2) 邊界值分析不僅考慮輸入條件,還要考慮輸出空間產(chǎn)生的測試情況。
3. 邊界值分析方法的考慮:
長期的測試工作經(jīng)驗告訴我們,大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上,而不是發(fā)生在輸入輸出范圍的內(nèi)部。因此針對各種邊界情況設(shè)計測試用例,可以查出更多的錯誤。
使用邊界值分析方法設(shè)計測試用例,首先應(yīng)確定邊界情況。通常輸入和輸出等價類的邊界,就是應(yīng)著重測試的邊界情況。應(yīng)當(dāng)選取正好等于,剛剛大于或剛剛小于邊界的值作為測試數(shù)據(jù),而不是選取等價類中的典型值或任意值作為測試數(shù)據(jù)。
4. 常見的邊界值
1) 對16-bit 的整數(shù)而言 32767 和 -32768 是邊界
2) 屏幕上光標(biāo)在zui左上、zui右下位置
3) 報表的**行和zui后一行
4) 數(shù)組元素的**個和zui后一個
5) 循環(huán)的第 0 次、第 1 次和倒數(shù)第 2 次、zui后一次
5. 邊界值分析
1) 邊界值分析使用與等價類劃分法相同的劃分,只是邊界值分析假定錯誤更多地存在于劃分的邊界上,因此在等價類的邊界上以及兩側(cè)的情況設(shè)計測試用例。
例:測試計算平方根的函數(shù)
--輸入:實數(shù)
--輸出:實數(shù)
--規(guī)格說明:當(dāng)輸入一個0或比0大的數(shù)的時候,返回其正平方根;當(dāng)輸入一個小于0的數(shù)時,顯示錯誤信息"平方根非法-輸入值小于0"并返回0;庫函數(shù)Print-Line可以用來輸出錯誤信息。
課程咨詢
咨詢老師:金老師
咨詢電話:010-64707530
點我就可以看到更多課程啦~北京軟件測試培訓(xùn)班