軟件可信評估研究綜述:標準、模型與工具
本文選題:軟件可信性 + 可信評估 ; 參考:《軟件學報》2016年04期
【摘要】:安全攸關軟件的可信性關乎生命安全和財產(chǎn)保全,因此,分析評價軟件可信性是否符合用戶的預期(即軟件可信評估)至關重要.軟件可信評估從主觀和客觀兩個方面度量軟件的質(zhì)量,對軟件生產(chǎn)和應用有著重要的意義.綜述了可信評估管理中涉及到的標準、模型和工具,而非關注軟件度量本身.首先分析對比了軟件可信性、可信評估的定義,并在研究了與可信性密切相關的軟件質(zhì)量的聯(lián)系與區(qū)別之后,從相關國際標準、評估涉及的模型(包括質(zhì)量屬性模型、證據(jù)模型、分級規(guī)范等)以及軟件工具支持等方面綜述了軟件可信評估研究工作.并且區(qū)分了這些方面中領域相關、領域無關的不同之處.目前軟件可信評估已取得了一定的理論成果,并開發(fā)了若干工具輔助進行可信評估,但仍需在通用性、可伸縮性等方面有所加強.
[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.
【作者單位】: 南京航空航天大學計算機科學與技術學院;北京大學計算機科學技術系;
【基金】:國家自然科學基金(61272083) 國家高技術研究發(fā)展計劃(863)(2015AA015303) 中央高;A科研業(yè)務費專項資金(NS2015093)~~
【分類號】:TP311.53
【相似文獻】
相關期刊論文 前10條
1 蕭澎;中國軟件怎樣打造核心競爭力[J];中國計算機用戶;2002年06期
2 錢樂秋,張涌;軟件復用度量綜述[J];計算機應用與軟件;2002年04期
3 趙薔;實施軟件復用時應注意的幾個問題[J];咸陽師范學院學報;2005年04期
4 王潔玉,魏志強,李琦;軟件復用經(jīng)濟學模型比較分析[J];計算機工程與設計;2005年03期
5 楊新堯;傅英亮;宮玉彬;;軟件復用的理論與技術淺析[J];科技信息(學術研究);2007年23期
6 潘紋;陳小蘭;范秋生;;軟件復用經(jīng)濟分析[J];信息技術;2007年09期
7 唐潤寰;;基于軟件復用的嵌入式數(shù)控系統(tǒng)研究[J];微計算機信息;2008年35期
8 張強;;云計算時代的軟件復用[J];電腦知識與技術;2008年35期
9 仉新剛;;淺談軟件復用的理論與技術[J];科技信息(學術研究);2008年13期
10 MARSHALL James J;DOWNS Robert R;SAMADI Shahin;GERARD Neil S;WOLFE Robert E;;支持地球科學的軟件復用(英文)[J];計算機科學與探索;2008年03期
相關會議論文 前3條
1 陳樞思;李遠清;;基于軟件復用的人力資源管理系統(tǒng)實現(xiàn)[A];中南六。▍^(qū))自動化學會第24屆學術年會會議論文集[C];2006年
2 焦金丹;胡金柱;胡燕;魯志兵;;基于軟件復用的領域分析和建模研究[A];2006年全國開放式分布與并行計算機學術會議論文集(三)[C];2006年
3 沈云秋;劉雪峰;殷維剛;宋亞男;李霄;;軍用軟件質(zhì)量與可靠性控制管理方法淺析[A];2009第十三屆全國可靠性物理學術討論會論文集[C];2009年
相關重要報紙文章 前6條
1 記者 樊哲高 特約撰稿 曹方;世界軟件主要生產(chǎn)國“硬拼”創(chuàng)新戰(zhàn)略[N];中國電子報;2006年
2 ;《專項規(guī)劃》,引領軟件產(chǎn)業(yè)做大做強[N];中國電子報;2006年
3 信息產(chǎn)業(yè)部;軟件產(chǎn)業(yè)“十一五”專項規(guī)劃[N];中國電子報;2008年
4 侯闖;業(yè)務層復用:軟件復用的必然趨勢[N];計算機世界;2006年
5 山東浪潮齊魯軟件產(chǎn)業(yè)股份有限公司總經(jīng)理 王柏華;浪潮軟件:順應發(fā)展大趨勢[N];電腦商報;2008年
6 本報記者 張偉;863計劃“十一五”重點項目成果助力軟件創(chuàng)新[N];中國高新技術產(chǎn)業(yè)導報;2010年
相關博士學位論文 前10條
1 王闖;軟件智能進化模型及其實現(xiàn)機制研究[D];北京郵電大學;2012年
2 崔輝;我國軟件產(chǎn)業(yè)發(fā)展與對策研究[D];吉林大學;2005年
3 郭軍;產(chǎn)品線架構(gòu)中支持軟件復用的若干關鍵技術的研究[D];東北大學;2006年
4 高原;面向軟件重構(gòu)的推薦方法研究[D];北京理工大學;2015年
5 朱建江;基于軟件構(gòu)件的軟件復用的研究[D];南京航空航天大學;2002年
6 黃興平;電信軟件變化性管理機制研究[D];北京郵電大學;2007年
7 賈育;基于演于構(gòu)件的軟件復用方法[D];中國科學院研究生院(軟件研究所);2002年
8 劉毅;軟件資本論:價值來源與制度內(nèi)涵[D];西北大學;2006年
9 丁劍潔;軟件生產(chǎn)線度量技術應用研究[D];西北大學;2012年
10 彭思維;面向用戶的軟件柔性度量研究[D];燕山大學;2012年
相關碩士學位論文 前10條
1 楊金波;仿生軟件模仿性研究[D];華中科技大學;2012年
2 李云清;算法框架在軟件復用中的應用研究[D];華東師范大學;2009年
3 李霞;基于構(gòu)件的軟件復用技術應用研究[D];大連海事大學;2009年
4 鄭穎;高速公路車道收費軟件的設計與實現(xiàn)[D];西安電子科技大學;2010年
5 李英梅;基于構(gòu)件的軟件復用度量的研究[D];哈爾濱工程大學;2007年
6 馮朝剛;基于構(gòu)件的軟件復用研究[D];重慶大學;2003年
7 李杰;MIS軟件中的復用類庫研究[D];合肥工業(yè)大學;2004年
8 郭鵬;我國軟件產(chǎn)業(yè)發(fā)展政策研究[D];山東師范大學;2009年
9 劉宏;基于函數(shù)依賴關系的軟件復用中變化點問題的研究[D];華中科技大學;2005年
10 張勇;我國軟件企業(yè)產(chǎn)品營銷策略的研究[D];吉林大學;2012年
,本文編號:1808786
本文鏈接:http://www.sikaile.net/kejilunwen/ruanjiangongchenglunwen/1808786.html