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

• 作者: 丁学雷 卢刚 王元元 王怀民
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 软件可信性 可信证据 可信度 可信评估
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 学术研究
• 页码范围: 46-53
• 页数: 8页
• 分类号: TP311
• 字数: 7399字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2010.01.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王怀民	国防科学技术大学计算机学院	119	3450	29.0	56.0
2	王元元	解放军理工大学指挥自动化学院	46	351	12.0	16.0
3	丁学雷	国防科学技术大学计算机学院	3	42	2.0	3.0
7	卢刚	国防科学技术大学计算机学院	2	50	2.0	2.0