超幾何分布模型與軟件測(cè)試綜述

何雨

摘要：在概率論中，存在不同的概率分布。每一種分布都有其自身的優(yōu)點(diǎn)，每一種分布都有適用的場(chǎng)景。當(dāng)我們遇到問題需要建立概率分布模型時(shí)，要具體問題具體分析。超幾何分布就是其中一種概率分布。軟件測(cè)試是現(xiàn)代生活中非常重要的一個(gè)領(lǐng)域。一款我們即將使用的軟件，只有經(jīng)過測(cè)試，并且測(cè)試結(jié)果是合格的，我們才能夠放心地去使用它。我們?cè)诘玫杰浖煽慷鹊倪^程中，需要用超幾何分布來建立模型，近似地?cái)M合出結(jié)果，通過結(jié)果，對(duì)軟件中存在的不可靠的地方進(jìn)行修復(fù)完善。在以后的研究過程中，我們可以通過做實(shí)驗(yàn)，把軟件測(cè)試的過程，以及超幾何分布建模的過程，實(shí)現(xiàn)出來，真實(shí)地去得到一款軟件的軟件可靠度。

關(guān)鍵詞：超幾何分布;軟件測(cè)試;軟件工程;BUG;軟件可靠度

中圖分類號(hào)：TP311.52 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1007-9416（2020）08-0096-02

0 引言

現(xiàn)代與古代不一樣：在古代，人們無法使用電腦和手機(jī);在現(xiàn)代，人們可以使用電腦和手機(jī)。人們每天花大量的時(shí)間在網(wǎng)絡(luò)上，人們可以在網(wǎng)絡(luò)上下載并使用各式各樣、數(shù)以萬計(jì)的軟件。軟件數(shù)量的井噴式增長(zhǎng)，加劇了不可靠軟件的增長(zhǎng)速率。為了能夠讓人們更加放心地使用更多的軟件，我們就要不斷的對(duì)軟件進(jìn)行測(cè)試。沒有經(jīng)過測(cè)試的軟件，是無法保證在用戶使用的過程中出錯(cuò)概率小的。

在對(duì)軟件進(jìn)行測(cè)試之前，我們首先要了解軟件測(cè)試的基本概念以及原則。我們?cè)跍y(cè)試的過程中，不能夠違背軟件測(cè)試的基本概念和原則。我們?cè)跍y(cè)試的過程中，同時(shí)要注意測(cè)試數(shù)據(jù)的匯總和分析，因?yàn)闇y(cè)試數(shù)據(jù)要通過超幾何分布建立起模型。通過建立起的模型，我們能夠近似地得知軟件的可靠性。整個(gè)業(yè)務(wù)流程完整地執(zhí)行后，才能放心地將軟件交付給用戶去使用。

1 超幾何分布模型概述

在統(tǒng)計(jì)學(xué)中存在多種概率分布，我們要學(xué)好這些概率分布。每一種分布都有其自身的特點(diǎn)，以及應(yīng)用場(chǎng)景。我們要比較清楚每一種分布之間的區(qū)別以及聯(lián)系。在本篇論文中，重點(diǎn)講解一下超幾何分布模型。

超幾何分布模型是非常特殊的一類模型，我們要知道其特殊的地方。超幾何分布作為一種概率分布，最大的特點(diǎn)是不放回取樣，即每次進(jìn)行取樣實(shí)驗(yàn)時(shí)，每次實(shí)驗(yàn)并非相互獨(dú)立的，總體中各單位被抽中的概率先后不同。超幾何分布的總體的容量是要已知的（總體個(gè)數(shù)有限），否則無法按照超幾何分布來建立正確的模型。與超幾何分布有一定聯(lián)系的就是二項(xiàng)分布，兩種分布之間，既有聯(lián)系，又有區(qū)別。我們既要知道其中的聯(lián)系，也要知道其中的區(qū)別，不能把兩種分布混為一談。為了能夠更加清晰地說明超幾何分布的模型，我們首先將超幾何分布的數(shù)學(xué)公式表示出來：

（1）

式（1）表示隨機(jī)變量X的概率分布[1]，這個(gè)概率分布符合超幾何分布。根據(jù)式（1）求出結(jié)果后，我們就可以根據(jù)求得的結(jié)果畫出圖形來，擬合出一條代表軟件可靠度的光滑的曲線。其實(shí)，我們根據(jù)問題的不同，還可以繼續(xù)深入地進(jìn)行計(jì)算，計(jì)算超幾何分布的期望和方差。期望和方差在數(shù)學(xué)中是完全不同的兩個(gè)概念，我們?cè)谄綍r(shí)研究的過程中需要仔細(xì)探究，以免混淆兩個(gè)概念。

超幾何分布與超幾何函數(shù)有關(guān)。這一章主要介紹到了超幾何分布的一些基本概念以及公式，下一章就要介紹軟件測(cè)試的一些基本概念和技術(shù)。

2 軟件測(cè)試概述

如同統(tǒng)計(jì)學(xué)中的不同的分布，軟件測(cè)試按照不同的標(biāo)準(zhǔn)，也有不同的分類[2]。不同的軟件測(cè)試技術(shù)，有其自身的特性，有其相適合的應(yīng)用場(chǎng)景。

白盒測(cè)試的方法有：靜態(tài)白盒法、侵入式法、路徑覆蓋法等[3];黑盒測(cè)試的方法有：等價(jià)類劃分法、邊界條件法、決策表法等[4];灰盒測(cè)試的方法有：灰盒測(cè)試介于白盒測(cè)試和黑盒測(cè)試之間，結(jié)合了黑盒測(cè)試和白盒測(cè)試的優(yōu)點(diǎn)[5]。每一種測(cè)試技術(shù)，都有其自身的優(yōu)點(diǎn)，我們要在不同的情景中，使有最有效的測(cè)試方法。要想讓每一次的測(cè)試結(jié)果都達(dá)到最佳效果，我們有的時(shí)候要采取結(jié)合的方法來進(jìn)行測(cè)試，比如白盒測(cè)試與黑盒測(cè)試相結(jié)合來進(jìn)行測(cè)試。

我們?cè)谶M(jìn)行軟件測(cè)試的過程中，既要對(duì)源程序進(jìn)行檢查，也要對(duì)文檔進(jìn)行檢查。在檢查源程序的過程中，動(dòng)態(tài)測(cè)試是要執(zhí)行源程序進(jìn)行檢查，而靜態(tài)測(cè)試不需要執(zhí)行源程序就可以進(jìn)行檢查[6]。

沒有軟件需求規(guī)格說明書，我們就不能進(jìn)行軟件測(cè)試。軟件需求規(guī)格說明書是我們判斷軟件中是否存在BUG的標(biāo)準(zhǔn)，即：符合軟件需求規(guī)格說明書的功能，這一項(xiàng)功能沒有BUG;而不符合軟件需求規(guī)格說明書的功能，這一項(xiàng)功能就存在BUG，存在的BUG可能是固有錯(cuò)誤，也有可能是人為添加進(jìn)去的錯(cuò)誤。測(cè)試人員負(fù)責(zé)設(shè)計(jì)測(cè)試用例，測(cè)試用例要有一些優(yōu)良的特性：每一個(gè)測(cè)試用例，都要測(cè)試出軟件的功能是否存在BUG。

3 結(jié)論

本文簡(jiǎn)單地介紹了超幾何分布模型和軟件測(cè)試技術(shù)。超幾何分布模型是數(shù)學(xué)中的概念，軟件測(cè)試技術(shù)是計(jì)算機(jī)專業(yè)中的概念，兩者看似毫不關(guān)聯(lián)，但是，只要我們仔細(xì)去研究，通過做實(shí)驗(yàn)，就能很好地將兩者結(jié)合起來。通過本文的介紹，我們發(fā)現(xiàn)超幾何分布與軟件測(cè)試，兩者之間緊密的關(guān)聯(lián)。為了達(dá)到最佳效果，二者缺一不可。

參考文獻(xiàn)

[1] 徐澤娟.超幾何分布的數(shù)字特征和概率計(jì)算[J].蘭州石化職業(yè)技術(shù)學(xué)院學(xué)報(bào)，2017，17（4）：29-31.

[2] 于營(yíng)，周雪，劉小飛，等.多元教學(xué)模式下的《軟件測(cè)試技術(shù)》課程設(shè)計(jì)探討[J].公關(guān)世界，2020（10）：136-137.

[3] 劉曉明.軟件測(cè)試及其自動(dòng)化模型的研究[D].無錫：江南大學(xué)，2009.

[4] 朱立元.S企業(yè)物流管理信息系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D].長(zhǎng)春：吉林大學(xué)，2017.

[5] 龐欣然，邵黎勛，柏立悅.安全關(guān)鍵嵌入式產(chǎn)品灰盒測(cè)試方法的有效實(shí)踐[J].儀器儀表標(biāo)準(zhǔn)化與計(jì)量，2019（1）：19-21.

[6] 陶靜.計(jì)算機(jī)軟件測(cè)試技術(shù)的淺析[J].通訊世界，2013（9）：92-93.