本文選題：軟件可信性 + 可信評(píng)估��； 參考：《軟件學(xué)報(bào)》2016年04期

【摘要】：安全攸關(guān)軟件的可信性關(guān)乎生命安全和財(cái)產(chǎn)保全,因此,分析評(píng)價(jià)軟件可信性是否符合用戶的預(yù)期(即軟件可信評(píng)估)至關(guān)重要.軟件可信評(píng)估從主觀和客觀兩個(gè)方面度量軟件的質(zhì)量,對(duì)軟件生產(chǎn)和應(yīng)用有著重要的意義.綜述了可信評(píng)估管理中涉及到的標(biāo)準(zhǔn)、模型和工具,而非關(guān)注軟件度量本身.首先分析對(duì)比了軟件可信性、可信評(píng)估的定義,并在研究了與可信性密切相關(guān)的軟件質(zhì)量的聯(lián)系與區(qū)別之后,從相關(guān)國(guó)際標(biāo)準(zhǔn)、評(píng)估涉及的模型(包括質(zhì)量屬性模型、證據(jù)模型、分級(jí)規(guī)范等)以及軟件工具支持等方面綜述了軟件可信評(píng)估研究工作.并且區(qū)分了這些方面中領(lǐng)域相關(guān)、領(lǐng)域無(wú)關(guān)的不同之處.目前軟件可信評(píng)估已取得了一定的理論成果,并開(kāi)發(fā)了若干工具輔助進(jìn)行可信評(píng)估,但仍需在通用性、可伸縮性等方面有所加強(qiáng).
[Abstract]:The credibility of the software is vital to the safety of life and the preservation of property. Therefore, it is very important to analyze and evaluate whether the credibility of the software conforms to the expectation of the user (that is, the software trust evaluation). Software trusted evaluation measures software quality from subjective and objective aspects, which is of great significance to software production and application. This paper reviews the standards, models and tools involved in trusted evaluation management, rather than focusing on software metrics themselves. Firstly, the definition of software credibility and trusted evaluation is analyzed and compared. After studying the relationship and difference of software quality, which is closely related to credibility, the models involved (including quality attribute model) are evaluated from relevant international standards. Evidence model, hierarchical specification and software tool support are reviewed in this paper. It also distinguishes the difference between domain and domain in these aspects. At present, some theoretical achievements have been achieved in software trusted assessment, and several tools have been developed to assist in trusted evaluation, but it still needs to be strengthened in the aspects of generality, scalability and so on.
【作者單位】： 南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;北京大學(xué)計(jì)算機(jī)科學(xué)技術(shù)系;
【基金】：國(guó)家自然科學(xué)基金(61272083) 國(guó)家高技術(shù)研究發(fā)展計(jì)劃(863)(2015AA015303) 中央高�；A(chǔ)科研業(yè)務(wù)費(fèi)專項(xiàng)資金(NS2015093)~~
【分類號(hào)】：TP311.53

【相似文獻(xiàn)】

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

1 蕭澎;中國(guó)軟件怎樣打造核心競(jìng)爭(zhēng)力[J];中國(guó)計(jì)算機(jī)用戶;2002年06期

2 錢樂(lè)秋,張涌;軟件復(fù)用度量綜述[J];計(jì)算機(jī)應(yīng)用與軟件;2002年04期

3 趙薔;實(shí)施軟件復(fù)用時(shí)應(yīng)注意的幾個(gè)問(wèn)題[J];咸陽(yáng)師范學(xué)院學(xué)報(bào);2005年04期

4 王潔玉,魏志強(qiáng),李琦;軟件復(fù)用經(jīng)濟(jì)學(xué)模型比較分析[J];計(jì)算機(jī)工程與設(shè)計(jì);2005年03期

5 楊新堯;傅英亮;宮玉彬;;軟件復(fù)用的理論與技術(shù)淺析[J];科技信息(學(xué)術(shù)研究);2007年23期

6 潘紋;陳小蘭;范秋生;;軟件復(fù)用經(jīng)濟(jì)分析[J];信息技術(shù);2007年09期

7 唐潤(rùn)寰;;基于軟件復(fù)用的嵌入式數(shù)控系統(tǒng)研究[J];微計(jì)算機(jī)信息;2008年35期

8 張強(qiáng);;云計(jì)算時(shí)代的軟件復(fù)用[J];電腦知識(shí)與技術(shù);2008年35期

9 仉新剛;;淺談軟件復(fù)用的理論與技術(shù)[J];科技信息(學(xué)術(shù)研究);2008年13期

10 MARSHALL James J;DOWNS Robert R;SAMADI Shahin;GERARD Neil S;WOLFE Robert E;;支持地球科學(xué)的軟件復(fù)用(英文)[J];計(jì)算機(jī)科學(xué)與探索;2008年03期

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

1 陳樞思;李遠(yuǎn)清;;基于軟件復(fù)用的人力資源管理系統(tǒng)實(shí)現(xiàn)[A];中南六�。▍^(qū)）自動(dòng)化學(xué)會(huì)第24屆學(xué)術(shù)年會(huì)會(huì)議論文集[C];2006年

2 焦金丹;胡金柱;胡燕;魯志兵;;基于軟件復(fù)用的領(lǐng)域分析和建模研究[A];2006年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集（三）[C];2006年

3 沈云秋;劉雪峰;殷維剛;宋亞男;李霄;;軍用軟件質(zhì)量與可靠性控制管理方法淺析[A];2009第十三屆全國(guó)可靠性物理學(xué)術(shù)討論會(huì)論文集[C];2009年

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

1 記者　 樊哲高 特約撰稿 曹方;世界軟件主要生產(chǎn)國(guó)“硬拼”創(chuàng)新戰(zhàn)略[N];中國(guó)電子報(bào);2006年

2 ;《專項(xiàng)規(guī)劃》,引領(lǐng)軟件產(chǎn)業(yè)做大做強(qiáng)[N];中國(guó)電子報(bào);2006年

3 信息產(chǎn)業(yè)部;軟件產(chǎn)業(yè)“十一五”專項(xiàng)規(guī)劃[N];中國(guó)電子報(bào);2008年

4 侯闖;業(yè)務(wù)層復(fù)用：軟件復(fù)用的必然趨勢(shì)[N];計(jì)算機(jī)世界;2006年

5 山東浪潮齊魯軟件產(chǎn)業(yè)股份有限公司總經(jīng)理 王柏華;浪潮軟件：順應(yīng)發(fā)展大趨勢(shì)[N];電腦商報(bào);2008年

6 本報(bào)記者 張偉;863計(jì)劃“十一五”重點(diǎn)項(xiàng)目成果助力軟件創(chuàng)新[N];中國(guó)高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2010年

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

1 王闖;軟件智能進(jìn)化模型及其實(shí)現(xiàn)機(jī)制研究[D];北京郵電大學(xué);2012年

2 崔輝;我國(guó)軟件產(chǎn)業(yè)發(fā)展與對(duì)策研究[D];吉林大學(xué);2005年

3 郭軍;產(chǎn)品線架構(gòu)中支持軟件復(fù)用的若干關(guān)鍵技術(shù)的研究[D];東北大學(xué);2006年

4 高原;面向軟件重構(gòu)的推薦方法研究[D];北京理工大學(xué);2015年

5 朱建江;基于軟件構(gòu)件的軟件復(fù)用的研究[D];南京航空航天大學(xué);2002年

6 黃興平;電信軟件變化性管理機(jī)制研究[D];北京郵電大學(xué);2007年

7 賈育;基于演于構(gòu)件的軟件復(fù)用方法[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2002年

8 劉毅;軟件資本論：價(jià)值來(lái)源與制度內(nèi)涵[D];西北大學(xué);2006年

9 丁劍潔;軟件生產(chǎn)線度量技術(shù)應(yīng)用研究[D];西北大學(xué);2012年

10 彭思維;面向用戶的軟件柔性度量研究[D];燕山大學(xué);2012年

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

1 楊金波;仿生軟件模仿性研究[D];華中科技大學(xué);2012年

2 李云清;算法框架在軟件復(fù)用中的應(yīng)用研究[D];華東師范大學(xué);2009年

3 李霞;基于構(gòu)件的軟件復(fù)用技術(shù)應(yīng)用研究[D];大連海事大學(xué);2009年

4 鄭穎;高速公路車道收費(fèi)軟件的設(shè)計(jì)與實(shí)現(xiàn)[D];西安電子科技大學(xué);2010年

5 李英梅;基于構(gòu)件的軟件復(fù)用度量的研究[D];哈爾濱工程大學(xué);2007年

6 馮朝剛;基于構(gòu)件的軟件復(fù)用研究[D];重慶大學(xué);2003年

7 李杰;MIS軟件中的復(fù)用類庫(kù)研究[D];合肥工業(yè)大學(xué);2004年

8 郭鵬;我國(guó)軟件產(chǎn)業(yè)發(fā)展政策研究[D];山東師范大學(xué);2009年

9 劉宏;基于函數(shù)依賴關(guān)系的軟件復(fù)用中變化點(diǎn)問(wèn)題的研究[D];華中科技大學(xué);2005年

10 張勇;我國(guó)軟件企業(yè)產(chǎn)品營(yíng)銷策略的研究[D];吉林大學(xué);2012年

，

本文編號(hào)：1808786