本文選題：可靠性 + 不確定性��； 參考：《軟件學(xué)報(bào)》2017年07期

【摘要】：數(shù)量激增的軟件系統(tǒng)被開(kāi)發(fā)出來(lái)為用戶(hù)提供了極大的便利,但也給系統(tǒng)開(kāi)發(fā)帶來(lái)了極大的不確定性.故障調(diào)試過(guò)程中的故障檢測(cè)率(fault detection rate,簡(jiǎn)稱(chēng)FDR)是不規(guī)律變化的,且通常被描述為白色噪音.白色噪音具有馬爾可夫性,但在實(shí)踐中,噪音出現(xiàn)非馬爾可夫性是普通現(xiàn)象,而噪音呈現(xiàn)馬爾可夫性?xún)H僅是例外.在許多真實(shí)情況下,白色噪聲的理想化假設(shè)是不足的:真正的不規(guī)則因素總是非馬爾可夫相關(guān)性的.提出了一個(gè)新的模型來(lái)量化調(diào)試過(guò)程相關(guān)的環(huán)境不確定性因素.基于廣泛應(yīng)用于軟件故障檢測(cè)過(guò)程的非齊次泊松過(guò)程(non-homogeneous Poisson process,簡(jiǎn)稱(chēng)NHPP)模型,將環(huán)境的不確定性考慮為任意分布和時(shí)間相關(guān)性的噪聲.通過(guò)與一些現(xiàn)有模型的比較,新的框架表現(xiàn)出更接近實(shí)際觀測(cè)數(shù)據(jù)的特征.除了常用的關(guān)注故障數(shù)的平均值以外,還提供了公式以計(jì)算其累積密度函數(shù)(CDF)和概率密度函數(shù)(PDF),從而獲得調(diào)試過(guò)程的完整統(tǒng)計(jì)信息.
[Abstract]:The rapid increase in the number of software systems developed provides great convenience for users, but also brings great uncertainty to system development. Fault detection rate (FDR) in fault debugging is irregular and is usually described as white noise. White noise has Markov nature, but in practice, the appearance of non-Markov noise is a common phenomenon, and the noise appearance of Markov is only the exception. In many real cases, the idealized assumption of white noise is inadequate: true irregularity is always non-Markov correlation. A new model is proposed to quantify the environmental uncertainties associated with the debugging process. Based on the non-homogenous Poisson process (NHPP) model, which is widely used in software fault detection process, the uncertainty of environment is considered as the noise of arbitrary distribution and time dependence. Compared with some existing models, the new framework is more similar to the observed data. In addition to the commonly used mean values of the number of faults, formulas are provided to calculate the cumulative density function (CDFF) and the probability density function (PDF), so as to obtain the complete statistical information of the debugging process.
【作者單位】： 北京航空航天大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：航空科學(xué)基金(2013ZC51023)~~
【分類(lèi)號(hào)】：TP311.53

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王文康;軟件可靠性及其模型[J];西北民族學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年02期

2 陸民燕;軟件可靠性參數(shù)研究[J];北京航空航天大學(xué)學(xué)報(bào);2001年02期

3 吳晗平;軟件可靠性考核試驗(yàn)方法研究[J];火力與指揮控制;2001年01期

4 王緯;軟件工程與軟件可靠性——第六講 軟件可靠性工程實(shí)施中的幾個(gè)技術(shù)問(wèn)題[J];質(zhì)量與可靠性;2001年06期

5 葉彩虹;軟件可靠性的理解[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2002年03期

6 陳光宇,黃錫滋;軟件可靠性學(xué)科發(fā)展現(xiàn)狀及展望[J];電子科技大學(xué)學(xué)報(bào)(社科版);2002年03期

7 王鐵江,酈萌;軟件可靠性的模糊綜合評(píng)估模型[J];計(jì)算機(jī)工程與應(yīng)用;2002年20期

8 韓成宇,周力,侯朝楨;基于復(fù)雜因子的軟件可靠性指標(biāo)分配方法研究[J];北京理工大學(xué)學(xué)報(bào);2003年05期

9 王春生;軍用軟件可靠性評(píng)估模型研究[J];艦船電子工程;2003年06期

10 劉云,趙瑋;軟件可靠性研究與進(jìn)展[J];微機(jī)發(fā)展;2003年02期

相關(guān)會(huì)議論文 前10條

1 周新穎;;淺談軟件可靠性對(duì)氣象業(yè)務(wù)保障的影響[A];信息技術(shù)在氣象領(lǐng)域的開(kāi)發(fā)應(yīng)用論文集（二）[C];2006年

2 王秋芳;;淺談如何提高車(chē)輛軟件可靠性[A];中國(guó)汽車(chē)工程學(xué)會(huì)汽車(chē)電子技術(shù)分會(huì)第七屆（2006）年會(huì)暨學(xué)術(shù)研討會(huì)論文集[C];2006年

3 李秋英;李海峰;陸民燕;;基于環(huán)境因素的軟件可靠性定性評(píng)價(jià)技術(shù)研究[A];大型飛機(jī)關(guān)鍵技術(shù)高層論壇暨中國(guó)航空學(xué)會(huì)2007年學(xué)術(shù)年會(huì)論文集[C];2007年

4 鮑國(guó)民;鄭成文;韓柯;;軟件可靠性J—M模型的改進(jìn)研究[A];第五屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2008年

5 施銀盾;朱經(jīng)紛;徐拾義;;軟件可靠性綜合模型的量化分析[A];第五屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2008年

6 韓穎;賈輝然;杜靜;;航天軟件可靠性的發(fā)展[A];2007年河北省電子學(xué)會(huì)、河北省計(jì)算機(jī)學(xué)會(huì)、河北省自動(dòng)化學(xué)會(huì)、河北省人工智能學(xué)會(huì)、河北省計(jì)算機(jī)輔助設(shè)計(jì)研究會(huì)、河北省軟件行業(yè)協(xié)會(huì)聯(lián)合學(xué)術(shù)年會(huì)論文集[C];2007年

7 齊俊臣;劉海敏;李祥臣;;武器系統(tǒng)軟件可靠性工作分析與建議[A];中國(guó)電子學(xué)會(huì)可靠性分會(huì)第十四屆學(xué)術(shù)年會(huì)論文選[C];2008年

8 林雯;趙輝煌;趙晏;;制造業(yè)工廠設(shè)備軟件可靠性探討[A];中國(guó)電子學(xué)會(huì)可靠性分會(huì)第十三屆學(xué)術(shù)年會(huì)論文選[C];2006年

9 肖平;許鳳璋;高金鐘;;軟件可靠性灰色預(yù)測(cè)模型的研究[A];中國(guó)科學(xué)技術(shù)協(xié)會(huì)首屆青年學(xué)術(shù)年會(huì)論文集（工科分冊(cè)·上冊(cè)）[C];1992年

10 寧云暉;侯海梅;;軟件可靠性測(cè)試方法研究[A];2010第十五屆可靠性學(xué)術(shù)年會(huì)論文集[C];2010年

相關(guān)重要報(bào)紙文章 前2條

1 柯江寧 編譯 南京政治學(xué)院;美“大碼”項(xiàng)目提高國(guó)防軟件可靠性[N];科技日?qǐng)?bào);2014年

2 ;技術(shù)亮點(diǎn)[N];網(wǎng)絡(luò)世界;2002年

相關(guān)博士學(xué)位論文 前10條

1 張策;不完美排錯(cuò)下NHPP類(lèi)軟件可靠性過(guò)程研究[D];哈爾濱工業(yè)大學(xué);2015年

2 王金勇;考慮故障引進(jìn)的軟件可靠性增長(zhǎng)模型研究[D];哈爾濱工業(yè)大學(xué);2015年

3 楊志鴻;軟件可靠性增長(zhǎng)模型的分析與研究[D];華中科技大學(xué);2011年

4 張楠;基于排隊(duì)論的軟件可靠性增長(zhǎng)模型研究[D];哈爾濱工業(yè)大學(xué);2013年

5 樊林波;軟件可靠性與安全性的相互關(guān)系及其轉(zhuǎn)換規(guī)律研究[D];貴州大學(xué);2009年

6 胡仁勝;軟件可靠性和軟件最優(yōu)發(fā)布問(wèn)題的研究[D];合肥工業(yè)大學(xué);2001年

7 王強(qiáng);構(gòu)件軟件可靠性分析理論與方法研究[D];合肥工業(yè)大學(xué);2012年

8 趙靖;考慮測(cè)試與運(yùn)行差別的NHPP類(lèi)軟件可靠性增長(zhǎng)模型研究[D];哈爾濱工業(yè)大學(xué);2006年

9 劉邏;軟件可靠性設(shè)計(jì)技術(shù)應(yīng)用研究[D];中國(guó)科學(xué)院研究生院（長(zhǎng)春光學(xué)精密機(jī)械與物理研究所）;2013年

10 舒燕君;故障檢測(cè)與修正過(guò)程的NHPP類(lèi)軟件可靠性增長(zhǎng)模型研究[D];哈爾濱工業(yè)大學(xué);2009年

相關(guān)碩士學(xué)位論文 前10條

1 張林森;軟件可靠性檢測(cè)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2014年

2 徐軼;軟件可靠性控制方法在軟件開(kāi)發(fā)項(xiàng)目中的應(yīng)用研究[D];華東理工大學(xué);2016年

3 楊曉燕;在線自適應(yīng)提高軟件可靠性的研究[D];浙江理工大學(xué);2016年

4 張娟;基于架構(gòu)的軟件可靠性計(jì)算[D];浙江理工大學(xué);2016年

5 陳智勇;一個(gè)基于COP的控制類(lèi)系統(tǒng)軟件可靠性保障方法的研究與實(shí)現(xiàn)[D];南京大學(xué);2013年

6 馬曉驥;基于測(cè)試工作效率度量的NHPP類(lèi)軟件可靠性增長(zhǎng)模型研究[D];西北農(nóng)林科技大學(xué);2016年

7 楊雪;非齊次泊松過(guò)程類(lèi)軟件可靠性增長(zhǎng)模型的研究與應(yīng)用[D];電子科技大學(xué);2008年

8 滕云龍;軟件可靠性與費(fèi)用模型的研究[D];電子科技大學(xué);2008年

9 劉曉妮;軍用軟件可靠性保證和度量方法研究[D];長(zhǎng)春理工大學(xué);2010年

10 鄒崢;基于隨機(jī)Petri網(wǎng)的軟件可靠性分析研究[D];長(zhǎng)沙理工大學(xué);2010年

，

本文編號(hào)：1813372