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

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

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

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關會議論文 前7條

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

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

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

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

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

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

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

相關博士學位論文 前5條

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

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

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

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

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

相關碩士學位論文 前10條

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

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

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

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

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

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

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

8 楊慧;多傳感器信息融合技術的研究與應用[D];哈爾濱工程大學;2010年

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

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

本文編號：2714020