面向验证的软件可信证据与可信评估

摘要：

随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题.从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一个观点,在对传统的软件可信证据收集与分类方法进行分析的基础上,提出了基于验证的可信证据模型.该证据模型的提出在一定程度上弥补了传统的可信证据收集与分类方法的不足,便于多维性评估,有利于可信演化,符合人的认识习惯.最后,基于该可信证据模型,为探索解决可信评估问题提出了一种可行的方法.

关键词：软件可信性、可信证据、可信度、可信评估

所属期刊栏目：4

分类号：TP311(计算技术、计算机技术)

资助基金：The National High-Tech Research and Development Plan of China under Grant No.2007AA010301国家高技术研究发展计划863

在线出版日期：2010-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：46-53