计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2011年
2期
170-178
,共9页
洪宏%黄志球%沈国华%钱巨%刘春勇
洪宏%黃誌毬%瀋國華%錢巨%劉春勇
홍굉%황지구%침국화%전거%류춘용
软件可信%可信评估%属性模型%证据模型%评估指标体系
軟件可信%可信評估%屬性模型%證據模型%評估指標體繫
연건가신%가신평고%속성모형%증거모형%평고지표체계
软件可信评估是软件可信研究的一个重要方面,但是目前已有的研究存在适用的软件形态受限、评估的可信属性不全面、未提供具体的应用实现等不足.针对上述问题,通过对已有相关工作进行改进和扩展,提出了一种通用的软件可信评估框架,阐述了应用该框架实现可信评估的具体过程,给出了详尽的案例分析,并基于该框架开发了可信评估管理系统,验证了框架实施的可行性.实验表明此项研究适用于不同形态的软件,支持可信属性、可信证据、评估指标的定制,对于软件可信评估活动的成功实施具有一定的指导作用.
軟件可信評估是軟件可信研究的一箇重要方麵,但是目前已有的研究存在適用的軟件形態受限、評估的可信屬性不全麵、未提供具體的應用實現等不足.針對上述問題,通過對已有相關工作進行改進和擴展,提齣瞭一種通用的軟件可信評估框架,闡述瞭應用該框架實現可信評估的具體過程,給齣瞭詳儘的案例分析,併基于該框架開髮瞭可信評估管理繫統,驗證瞭框架實施的可行性.實驗錶明此項研究適用于不同形態的軟件,支持可信屬性、可信證據、評估指標的定製,對于軟件可信評估活動的成功實施具有一定的指導作用.
연건가신평고시연건가신연구적일개중요방면,단시목전이유적연구존재괄용적연건형태수한、평고적가신속성불전면、미제공구체적응용실현등불족.침대상술문제,통과대이유상관공작진행개진화확전,제출료일충통용적연건가신평고광가,천술료응용해광가실현가신평고적구체과정,급출료상진적안례분석,병기우해광가개발료가신평고관리계통,험증료광가실시적가행성.실험표명차항연구괄용우불동형태적연건,지지가신속성、가신증거、평고지표적정제,대우연건가신평고활동적성공실시구유일정적지도작용.
