|
|||||
|
|
| 面向验证的软件可信证据与可信评估 | |
| 引用本文： | 丁学雷,王怀民,王元元,卢刚. 面向验证的软件可信证据与可信评估[J]. 计算机科学与探索, 2010, 4(1): 46-53. DOI: 10.3778/j.issn.1673-9418.2010.01.005 |
| 作者姓名： | 丁学雷 王怀民 王元元 卢刚 |
| 作者单位： | 1. 国防科学技术大学计算机学院,长沙410073;解放军理工大学指挥自动化学院,南京210007 2. 国防科学技术大学计算机学院,长沙,410073 3. 解放军理工大学指挥自动化学院,南京,210007 |
| 基金项目： | 国家高技术研究发展计划(863)No.2007AA010301~~ |
| 摘 要： | 随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题。从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一个观点,在对传统的软件可信证据收集与分类方法进行分析的基础上,提出了基于验证的可信证据模型。该证据模型的提出在一定程度上弥补了传统的可信证据收集与分类方法的不足,便于多维性评估,有利于可信演化,符合人的认识习惯。最后,基于该可信证据模型,为探索解决可信评估问题提出了一种可行的方法。 |
| 关 键 词： | 软件可信性 可信证据 可信度 可信评估 |
| 修稿时间： | |
Verification Oriented Trustworthiness Evidence and Trustworthiness Evaluation of Software |
|
| DING Xuelei,WANG Huaimin,WANG Yuanyuan,LU Gang. Verification Oriented Trustworthiness Evidence and Trustworthiness Evaluation of Software[J]. Journal of Frontier of Computer Science and Technology, 2010, 4(1): 46-53. DOI: 10.3778/j.issn.1673-9418.2010.01.005 | |
| Authors: | DING Xuelei WANG Huaimin WANG Yuanyuan LU Gang |
| Affiliation: | 1. Computer School， National University of Defense Technology， Changsha 410073， China 2. School of Command Automation， PLA University of Science and Technology， Nanjing 210007， China |
| Abstract: | Due to the outstanding of the problems related to software trustworthiness,people are researching it from different points of view in recent years.From the viewpoint of comprehending software,the more deeply one software is comprehended,the more trustworthy the software is.Based on this,a verification oriented evidence model of software trustworthiness is advanced after analyzing the traditional method of collecting and sorting trustworthiness evidence.Compared with the traditional method,the verification b... |
| Keywords: | software trustworthiness trustworthiness evidence trustworthiness level trustworthiness evaluation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 | |
| 点击此处可从《计算机科学与探索》下载免费的PDF全文 | |