本文選題：軟件可靠性 + 驗(yàn)證測(cè)試　； 參考：《計(jì)算機(jī)應(yīng)用研究》2017年03期

【摘要】：為有效降低軟件可靠性驗(yàn)證測(cè)試工作量,滿足高可靠軟件的指標(biāo)驗(yàn)證要求,在減函數(shù)理論及貝葉斯理論基礎(chǔ)上,提出一種基于減函數(shù)的多層貝葉斯離散型軟件可靠性驗(yàn)證測(cè)試方案(MBDFDSRDT)。選取面向失效概率的減函數(shù)作為第一層先驗(yàn)分布密度函數(shù),然后選擇第一層先驗(yàn)分布密度函數(shù)超參數(shù)的均勻分布函數(shù)來(lái)構(gòu)造其第二層先驗(yàn)分布密度函數(shù),進(jìn)而給出相應(yīng)的多層后驗(yàn)分布密度函數(shù)。選取若干組失效數(shù)據(jù),對(duì)MBDFDSRDT方案進(jìn)行實(shí)踐應(yīng)用,并與基于貝葉斯理論的軟件可靠性驗(yàn)證測(cè)試方案以及基于減函數(shù)的單層貝葉斯軟件可靠性驗(yàn)證測(cè)試方案進(jìn)行對(duì)比。應(yīng)用結(jié)果表明,MBDFDSRDT方案可顯著地降低所需的測(cè)試工作量,特別適用于高可靠安全關(guān)鍵軟件。
[Abstract]:In order to effectively reduce the workload of software reliability verification test and meet the requirements of high reliability software index verification, based on the subtraction function theory and Bayesian theory, This paper presents a reliability verification and testing scheme for multilayer Bayesian discrete software based on subtraction function. The reduction function oriented to failure probability is selected as the first prior distribution density function, and then the uniform distribution function of the superparameter of the first prior distribution density function is selected to construct its second prior distribution density function. Then the corresponding multilayer posterior distribution density function is given. The MBDFDSRDT scheme is applied to several groups of failure data and compared with the software reliability verification test scheme based on Bayesian theory and the single-layer Bayesian software reliability verification test scheme based on subtraction function. The application results show that the MBDFDSRDT scheme can significantly reduce the required testing workload and is especially suitable for high reliability security critical software.
【作者單位】： 中國(guó)船舶工業(yè)系統(tǒng)工程研究院;北京航空航天大學(xué)可靠性與系統(tǒng)工程學(xué)院;
【分類號(hào)】：TP311.53

【參考文獻(xiàn)】

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

1 李海峰;劉暢;鄭軍;;安全關(guān)鍵軟件可靠性驗(yàn)證測(cè)試研究[J];航空標(biāo)準(zhǔn)化與質(zhì)量;2013年03期

2 王學(xué)成;陸民燕;李海峰;楊日盛;;帶減函數(shù)的連續(xù)型軟件可靠性驗(yàn)證方案[J];重慶大學(xué)學(xué)報(bào);2012年10期

3 李秋英;姜夢(mèng)岑;;軟件可靠性驗(yàn)證測(cè)試最小測(cè)試量的必要條件[J];北京航空航天大學(xué)學(xué)報(bào);2010年02期

4 趙亮;王建民;孫家廣;;軟件易測(cè)性和軟件可靠性關(guān)系研究[J];計(jì)算機(jī)學(xué)報(bào);2007年06期

5 覃志東;雷航;桑楠;熊光澤;;連續(xù)執(zhí)行軟件可靠性驗(yàn)證測(cè)試方法[J];計(jì)算機(jī)科學(xué);2005年06期

6 覃志東,雷航,桑楠,熊光澤,古幼鵬;安全關(guān)鍵軟件可靠性驗(yàn)證測(cè)試方法研究[J];航空學(xué)報(bào);2005年03期

7 楊仕平,桑楠,熊光澤;安全關(guān)鍵軟件的防危性測(cè)評(píng)技術(shù)研究[J];計(jì)算機(jī)學(xué)報(bào);2004年04期

【共引文獻(xiàn)】

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

1 彭明田;丁建立;王堯;;面向安全可靠的國(guó)產(chǎn)化客票交易系統(tǒng)軟件重構(gòu)[J];計(jì)算機(jī)技術(shù)與發(fā)展;2016年11期

2 鄭明偉;;基于測(cè)試覆蓋的安全關(guān)鍵軟件測(cè)試研究[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2016年06期

3 馮濟(jì)舟;田明輝;;軟件潛在安全性缺陷測(cè)試案例的研究及思考[J];信息網(wǎng)絡(luò)安全;2015年06期

4 張玲玲;王林章;;基于故障剖面的安全關(guān)鍵系統(tǒng)可靠性測(cè)試與評(píng)估[J];計(jì)算機(jī)與數(shù)字工程;2014年12期

5 王平濤;李千目;;農(nóng)業(yè)應(yīng)急指揮系統(tǒng)的防危性分析[J];農(nóng)業(yè)網(wǎng)絡(luò)信息;2014年05期

6 張毅南;;面向云計(jì)算模式的運(yùn)行環(huán)境可信性動(dòng)態(tài)驗(yàn)證機(jī)制[J];科技致富向?qū)?2014年05期

7 黃志球;徐丙鳳;闞雙龍;胡軍;陳哲;;嵌入式機(jī)載軟件安全性分析標(biāo)準(zhǔn)、方法及工具研究綜述[J];軟件學(xué)報(bào);2014年02期

8 熊靜;喻鋼;徐中偉;;故障模型驅(qū)動(dòng)的軟件安全性測(cè)試研究[J];計(jì)算機(jī)工程與應(yīng)用;2014年12期

9 楊亮;任伍杰;;核安全關(guān)鍵軟件的驗(yàn)證與確認(rèn)技術(shù)[J];計(jì)算機(jī)光盤(pán)軟件與應(yīng)用;2013年16期

10 顧衛(wèi)江;;基于可信軟件的測(cè)試研究[J];計(jì)算機(jī)光盤(pán)軟件與應(yīng)用;2013年13期

【二級(jí)參考文獻(xiàn)】

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

1 李秋英;姜夢(mèng)岑;;軟件可靠性驗(yàn)證測(cè)試最小測(cè)試量的必要條件[J];北京航空航天大學(xué)學(xué)報(bào);2010年02期

2 趙亮;王建民;孫家廣;;軟件易測(cè)性和軟件可靠性關(guān)系研究[J];計(jì)算機(jī)學(xué)報(bào);2007年06期

3 覃志東;雷航;桑楠;熊光澤;;連續(xù)執(zhí)行軟件可靠性驗(yàn)證測(cè)試方法[J];計(jì)算機(jī)科學(xué);2005年06期

4 覃志東,雷航,桑楠,熊光澤,古幼鵬;安全關(guān)鍵軟件可靠性驗(yàn)證測(cè)試方法研究[J];航空學(xué)報(bào);2005年03期

5 顏炯,王戟,陳火旺;基于重要抽樣的軟件統(tǒng)計(jì)測(cè)試加速[J];計(jì)算機(jī)工程與科學(xué);2005年03期

6 覃志東,雷航,熊光澤,桑楠,陳麗蓉;一種實(shí)時(shí)多任務(wù)軟件可靠性驗(yàn)證方法[J];系統(tǒng)工程與電子技術(shù);2004年10期

7 楊仕平,桑楠,熊光澤;安全關(guān)鍵軟件的防危性測(cè)評(píng)技術(shù)研究[J];計(jì)算機(jī)學(xué)報(bào);2004年04期

8 毛曉光,鄧勇進(jìn);基于構(gòu)件軟件的可靠性通用模型[J];軟件學(xué)報(bào);2004年01期

9 白成剛;俞蒙槐;胡上序;蔡開(kāi)元;;基于Bayes網(wǎng)的軟件失效預(yù)測(cè)模型[J];計(jì)算機(jī)科學(xué);2003年06期

10 李秋英,陸民燕,阮鐮;軟件可靠性測(cè)試充分性問(wèn)題的理論研究[J];北京航空航天大學(xué)學(xué)報(bào);2003年04期

【相似文獻(xiàn)】

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

1 ;2004年普通高等學(xué)校招生全國(guó)統(tǒng)一考試數(shù)學(xué)試題及參考答案[N];中國(guó)教育報(bào);2004年

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

1 張靜;三類擬線性橢圓型方程（組）解的存在性、多解性與穩(wěn)定性研究[D];南京師范大學(xué);2014年

，

本文編號(hào)：1986146