【摘要】：安全關(guān)鍵軟件在航空航天、軌道交通、工業(yè)控制等領(lǐng)域當(dāng)中扮演著非常重要的角色,一旦失效將會產(chǎn)生難以預(yù)計的后果,因此,對軟件的可信程度進(jìn)行評估是一件非常重要且急迫的事情。目前,常用的評估軟件可信性的方法有加權(quán)平均法、函數(shù)法、模糊推理以及證據(jù)理論等。加權(quán)平均法簡單直觀,卻不能很好地表現(xiàn)出軟件可信屬性間的關(guān)系;函數(shù)法可以在一定程度上體現(xiàn)軟件屬性間的關(guān)系,但在獲取可信證據(jù)時主要依靠專家打分,不能很好的保證評估結(jié)果的客觀性;而證據(jù)理論雖可以在一定程度上減少評估過程中的主觀因素,但在融合過程中存在合成悖論和屬性相關(guān)性等問題。本文通過分析現(xiàn)有軟件可信證據(jù)融合方法的不足以及可信評估模型中不同層次的特點,采用基于證據(jù)分層合成的方法對軟件可信性進(jìn)行評估。通過DS證據(jù)理論與函數(shù)法相結(jié)合的方法,收集軟件生命周期中的各類可信證據(jù),對其中的高沖突性證據(jù)進(jìn)行修正,并對可信證據(jù)修正方法進(jìn)行改進(jìn),判斷證據(jù)沖突性的強弱,根據(jù)證據(jù)沖突程度的大小進(jìn)行不同程度的修正。在此基礎(chǔ)上,考慮可信證據(jù)間彼此獨立的特點,在可信證據(jù)層采用證據(jù)理論進(jìn)行融合,而在屬性層,考慮可信屬性間具有相關(guān)性,無法采用證據(jù)理論進(jìn)行融合,通過分析軟件可信度量模型的5個構(gòu)造準(zhǔn)則,根據(jù)準(zhǔn)則建立度量公式,采用度量公式對屬性層面進(jìn)行評估,在一定程度上保證最終評估結(jié)果的客觀準(zhǔn)確性。最后,通過對“鐵路道岔狀態(tài)檢測”系統(tǒng)這一實際案例進(jìn)行詳細(xì)分析,并將實驗結(jié)果與其他證據(jù)融合方法的計算結(jié)果進(jìn)行對比,驗證了所提可信證據(jù)合成方法的可行性與有效性。
【學(xué)位授予單位】：中國工程物理研究院
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2018
【分類號】：TP311.5;U284.91
【圖文】：

的可信性進(jìn)行評估（ｔｒｕｓｔｗｏｒｔｈｉｎｅｓｓ邋ｅｖａｌｕａｔｉｏｎ）邋［４１’４２］。評估軟件可信性問題屬于多屬性逡逑決策分析［４３４６］邋（ＭＡＤＡ）問題，是對軟件的整體性能是否達(dá)到用戶的主觀預(yù)期進(jìn)行判逡逑定。圖２．１是軟件可信評估過程示意圖，根據(jù)證據(jù)模型中可信證據(jù)與評估指標(biāo)的對應(yīng)關(guān)逡逑系，以及制定的評估方法和評估策略對軟件的可信性進(jìn)行評估，得到軟件相應(yīng)的軟件逡逑可信程度。逡逑可信評估指標(biāo)體系逡逑符合程度邐？評估方法及策略邐？評估結(jié)果逡逑可信證據(jù)模型逡逑圖２．１軟件可信評估過程逡逑對軟件可信性的評估存在于軟件開發(fā)生命周期中，張衛(wèi)祥等人［４７］參照ＧＢ／Ｔ逡逑１６２６０—２００６《軟件工程產(chǎn)品評價》、ＧＪＢ邋２４３４Ａ—２００４《軍用軟件產(chǎn)品評價》、逡逑ＧＪＢ５２３６—２００４《軍用軟件質(zhì)量度量》等標(biāo)準(zhǔn)中對軟件質(zhì)量的描述與要求，建立了基于逡逑層次結(jié)構(gòu)的軟件可信性評估模型（ＱＵＥＳＴ模型），如圖２．２所示。逡逑ＱＵＥＳＴ模型考慮了軟件全生命周期中的可信評估情況，并在各個階段分別進(jìn)行了逡逑軟件可信度量數(shù)據(jù)的采集。該ＱＵＥＳＴ模型的可信屬性、可信子屬性的設(shè)計在軟件開發(fā)逡逑生存周期各階段內(nèi)是一致的，但其可信度量以及度量指標(biāo)在不同階段的設(shè)計卻并不一逡逑致，需要根據(jù)各階段的特點進(jìn)行針對性設(shè)計。逡逑就目前來說

軟件可信屬性，將軟件的可信性分配到不同屬性上來，并采用某些特定算法進(jìn)行計逡逑算，可以達(dá)到評估軟件可信程度的目的。對于不同類型的軟件需要不同的屬性對其進(jìn)逡逑行描述，而同一可信屬性也可以根據(jù)需要細(xì)化為多個可信子屬性，圖２．３是可信屬性模逡逑型圖。逡逑９逡逑

【相似文獻(xiàn)】

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

1 姜禮平;李冬雷;季傲;;基于蘭氏距離的改進(jìn)沖突證據(jù)合成方法[J];海軍工程大學(xué)學(xué)報;2016年06期

2 陳旗;謝金輝;;基于兩級證據(jù)合成的海上輻射源目標(biāo)識別方法[J];電子信息對抗技術(shù);2017年01期

3 梁昌勇;葉春森;張恩橋;;一種基于一致性證據(jù)沖突的證據(jù)合成方法[J];中國管理科學(xué);2010年04期

4 林作銓,牟克典,韓慶;基于未知擾動的沖突證據(jù)合成方法[J];軟件學(xué)報;2004年08期

5 魏永超;;基于秩相關(guān)系數(shù)的證據(jù)合成方法[J];科學(xué)技術(shù)與工程;2017年09期

6 姜禮平;周堯;劉楊;;一種基于重要性權(quán)重的證據(jù)合成方法及其應(yīng)用[J];海軍工程大學(xué)學(xué)報;2012年04期

7 葉清;吳曉平;宋業(yè)新;;引入權(quán)重因子的證據(jù)合成方法[J];火力與指揮控制;2007年06期

8 葉清;吳曉平;宋業(yè)新;;基于權(quán)重系數(shù)與沖突概率重新分配的證據(jù)合成方法[J];系統(tǒng)工程與電子技術(shù);2006年07期

9 吳和琴，王麗萍;“理想證據(jù)合成公式”的不存在性[J];河北煤炭建筑工程學(xué)院學(xué)報;1994年03期

10 蘇思;姜禮平;鄒明;;基于多分類支持向量機和證據(jù)合成方法的多傳感器信息融合研究[J];兵工自動化;2010年01期

相關(guān)會議論文 前7條

1 侯攀;賈連興;何靈;;一種基于信任度的沖突證據(jù)合成方法[A];系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)論文集（第15卷）[C];2014年

2 胡學(xué)鋼;劉曉光;;一種基于實際應(yīng)用的沖突證據(jù)合成方法[A];全國第21屆計算機技術(shù)與應(yīng)用學(xué)術(shù)會議（CACIS·2010）暨全國第2屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集[C];2010年

3 趙玉明;鞠彥兵;劉慧;;危機應(yīng)對中基于階段性證據(jù)合成方法的研究[A];全國第九屆企業(yè)信息化與工業(yè)工程學(xué)術(shù)會議論文集[C];2005年

4 肖人彬;費奇;;相關(guān)證據(jù)合成方法的研究[A];1992年中國控制與決策學(xué)術(shù)年會論文集[C];1992年

5 馬小平;汪永東;樊陽;;模糊證據(jù)理論的深入研究[A];第二十六屆中國控制會議論文集[C];2007年

6 林宗振;;證據(jù)合成與結(jié)合律[A];模糊數(shù)學(xué)和系統(tǒng)成果會論文集[C];1991年

7 林宗振;;關(guān)于證據(jù)λ-合成的一個注[A];中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

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

1 王萬請;高層信息融合中可靠證據(jù)合成方法研究[D];解放軍信息工程大學(xué);2013年

2 肖明珠;基于證據(jù)理論的不確定性處理研究及其在測試中的應(yīng)用[D];電子科技大學(xué);2008年

3 柯小路;證據(jù)理論中信任函數(shù)的合成方法研究與應(yīng)用[D];中國科學(xué)技術(shù)大學(xué);2016年

4 湯永川;關(guān)于不確定性推理理論與知識發(fā)現(xiàn)的研究[D];西南交通大學(xué);2002年

5 孫宜博;兩維遞進(jìn)框架證據(jù)推理理論與應(yīng)用研究[D];合肥工業(yè)大學(xué);2015年

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

1 陳倩倩;安全關(guān)鍵軟件可信性證據(jù)合成方法研究[D];中國工程物理研究院;2018年

2 唐小娟;證據(jù)合成及其應(yīng)用[D];江西師范大學(xué);2005年

3 盧愿;瓦斯監(jiān)測證據(jù)合成中檢測量權(quán)值研究[D];江西理工大學(xué);2015年

4 胡文華;基于權(quán)重的一種證據(jù)合成方法及在信任管理中的應(yīng)用[D];廈門大學(xué);2006年

5 劉忠華;面向服務(wù)的網(wǎng)絡(luò)態(tài)勢評估方法研究[D];哈爾濱工程大學(xué);2012年

6 童建軍;證據(jù)理論及其在決策評價中應(yīng)用研究[D];合肥工業(yè)大學(xué);2005年

7 孫青青;基于粗糙集與證據(jù)理論的測試用例集優(yōu)化研究[D];安徽大學(xué);2012年

8 楊慧;多傳感器信息融合技術(shù)的研究與應(yīng)用[D];哈爾濱工程大學(xué);2010年

9 李亞飛;基于粗糙集的證據(jù)理論方法研究[D];合肥工業(yè)大學(xué);2004年

10 胡嘉驥;基于D-S證據(jù)理論的數(shù)據(jù)融合算法的研究[D];東南大學(xué);2016年

本文編號：2714020