當(dāng)今世界是計(jì)算機(jī)的廣泛應(yīng)用與網(wǎng)絡(luò)迅猛發(fā)展的時(shí)代,軟件系統(tǒng)已經(jīng)成為當(dāng)今世界的關(guān)鍵部分,從軍事、經(jīng)濟(jì)、政治、文化到人們的日常生活都起到的重要作用。然而系統(tǒng)越來越復(fù)雜,系統(tǒng)有很多的不確定性、異常脆弱以及難以規(guī)避的軟件漏洞、故障、失效甚至災(zāi)難。軟件系統(tǒng)的可信性問題越來越受到人們的特別關(guān)注。軟件的可信性是反映軟件品質(zhì)以及產(chǎn)品競(jìng)爭(zhēng)力的重要指標(biāo),“軟件可信性度量”是國家自然科學(xué)基金重大研究計(jì)劃的核心科學(xué)問題之一。軟件構(gòu)件技術(shù)的快速發(fā)展,使得基于構(gòu)件的開發(fā)方法成為軟件開發(fā)的主流方法。構(gòu)件技術(shù)的使用是軟件工程化與產(chǎn)業(yè)化發(fā)展的必然經(jīng)歷的技術(shù)。軟件企業(yè)為了提高開發(fā)效率,越來越注重軟件的復(fù)用,很多以前的軟件系統(tǒng)正在逐步地被利用�；跇�(gòu)件的軟件開發(fā)（Component-Based Software Development,CBSD）是通過利用構(gòu)件進(jìn)行復(fù)用。它體現(xiàn)了“購買而不是重新構(gòu)造”的思想,從而達(dá)到降低開發(fā)費(fèi)用、縮短開發(fā)時(shí)間和提高效率的作用。目前構(gòu)件的研究工作更多地集中在軟件構(gòu)件開發(fā)以及復(fù)用技術(shù)等方面,構(gòu)件可信性的研究和實(shí)踐比較少。軟件由于其規(guī)模日趨龐大、結(jié)構(gòu)復(fù)雜而多變,想直接度量大型系統(tǒng)的可信性是很難去完成... 

【文章來源】：華東師范大學(xué)上海市211工程院校985工程院校教育部直屬院校

【文章頁數(shù)】：156 頁

【學(xué)位級(jí)別】：博士

【部分圖文】：

論文總體結(jié)構(gòu)

圖 2.1: 可信度量活動(dòng)2.2 可信指標(biāo)性可以由許多特征來描述，在本文中被稱可信屬性，在一些涉及的可信屬性有一定的差異。文獻(xiàn) [1]、文獻(xiàn) [3]、文獻(xiàn) 獻(xiàn) [57] 都給出了所涉及的可信屬性，如表 2.1 所示。針對(duì)結(jié)合參與航天部門的重大研究計(jì)劃的集成項(xiàng)目的情況，本性方面所涉及的可信屬性有正確性、可靠性、安全性、可用可信指標(biāo)及層次結(jié)構(gòu)

圖 2.2: 可信指標(biāo)層次圖其中，mijk是第 i 個(gè)可信屬性中第 j 個(gè)可信子屬性中包含的第 k 個(gè)度量元，是以相等的權(quán)重1t進(jìn)行計(jì)算的，t 是該可信子屬性中度量元的個(gè)數(shù)。(2) 可信屬性計(jì)算公式y(tǒng)i= (subi1)(wbi1)× (subi2)(wbi2)× . . . (subij)(wbij)× . . . (subix)(wbix), (2.2)其中，subij是第 i 個(gè)可信屬性中第 j 個(gè)可信子屬性，x 是該可信屬性中可信子屬性的個(gè)數(shù)，wbij是第 i 個(gè)可信屬性中第 j 個(gè)可信子屬性在可信屬性中的權(quán)重。(3) 構(gòu)件可信性計(jì)算公式T = (y1)w1× (y2)w2× . . . (yi)wi× . . . (yn)wn, (2.3)其中，T 是構(gòu)件可信性，yi是第 i 個(gè)可信屬性，n 是可信屬性的個(gè)數(shù)，wi是第 i個(gè)可信屬性對(duì)應(yīng)的權(quán)重。

【參考文獻(xiàn)】：
期刊論文
[1]面向Web服務(wù)的動(dòng)態(tài)可信性評(píng)估模型[J]. 王鵬,李克文.  計(jì)算機(jī)系統(tǒng)應(yīng)用. 2019(03)
[2]高沖突性證據(jù)的軟件可信性評(píng)估方法[J]. 陳倩倩,許麗星,龔彬.  兵工自動(dòng)化. 2019(02)
[3]網(wǎng)絡(luò)化軟件交互式行為可信性監(jiān)測(cè)分析仿真[J]. 楊柳.  計(jì)算機(jī)仿真. 2018(06)
[4]基于構(gòu)件的軟件系統(tǒng)信任鏈模型和信任關(guān)系分析[J]. 郁湧,陳長(zhǎng)賡,劉強(qiáng),劉嘉熹.  信息網(wǎng)絡(luò)安全. 2018(03)
[5]航天嵌入式軟件可信性度量方法及應(yīng)用研究[J]. 王婧,陳儀香,顧斌,郭向英,王保華,金晟毅,徐建,張居陽.  中國科學(xué):技術(shù)科學(xué). 2015(02)
[6]構(gòu)件化軟件演化信息及演化相似性度量技術(shù)研究[J]. 鐘林輝,侯長(zhǎng)源,宗洪雁,葉茂盛.  計(jì)算機(jī)應(yīng)用研究. 2015(05)
[7]構(gòu)件化軟件演化信息建模和獲取方法研究[J]. 鐘林輝,謝冰.  計(jì)算機(jī)應(yīng)用研究. 2014(02)
[8]一個(gè)網(wǎng)構(gòu)軟件可信實(shí)體模型及基于評(píng)估的信任度量[J]. 許靜,司冠南,楊巨峰,文碩,張彪.  中國科學(xué):信息科學(xué). 2013(01)
[9]基于貝葉斯網(wǎng)絡(luò)的網(wǎng)構(gòu)軟件可信性評(píng)估模型[J]. 司冠南,任宇涵,許靜,楊巨峰.  計(jì)算機(jī)研究與發(fā)展. 2012(05)
[10]基于缺陷分析與測(cè)試評(píng)審的軟件可信性評(píng)價(jià)方法[J]. 李曉紅,王翔宇,張濤,易錦,馮志勇.  清華大學(xué)學(xué)報(bào)(自然科學(xué)版). 2011(10)

博士論文
[1]基于行為的軟件可信性度量理論與關(guān)鍵技術(shù)研究[D]. 韓強(qiáng).北京郵電大學(xué) 2013
[2]網(wǎng)構(gòu)軟件可信性保證關(guān)鍵技術(shù)研究[D]. 司冠南.南開大學(xué) 2012
[3]基于語言的軟件可信性度量理論及其應(yīng)用[D]. 吳新星.華東師范大學(xué) 2011
[4]基于屬性的軟件可信性度量模型研究[D]. 陶紅偉.華東師范大學(xué) 2011
[5]網(wǎng)構(gòu)軟件信任演化模型研究[D]. 董宇欣.哈爾濱工程大學(xué) 2011
[6]軟件的近似正確性及與環(huán)境交互度量模型研究[D]. 馬艷芳.華東師范大學(xué) 2010

碩士論文
[1]可信性評(píng)估在網(wǎng)構(gòu)軟件選擇中的研究與應(yīng)用[D]. 孫國利.江蘇科技大學(xué) 2015
[2]基于構(gòu)件關(guān)系的可信軟件設(shè)計(jì)與評(píng)價(jià)方法[D]. 董利國.河北大學(xué) 2012
[3]軟件構(gòu)件的可信性研究[D]. 于偉.東華大學(xué) 2011
[4]BPM領(lǐng)域構(gòu)件可信評(píng)估系統(tǒng)的研究與實(shí)現(xiàn)[D]. 賀久松.西北大學(xué) 2010
[5]業(yè)務(wù)構(gòu)件可信性的保證機(jī)制及其度量的研究初探[D]. 尹健良.華中科技大學(xué) 2008



本文編號(hào)：3624321