软件可信评估综述

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:q251208414
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件可信评估是近年来计算机科学的一个新的研究热点和难点,对软件可信评估的研究有助于促进软件产业的振兴与发展。首先分析了软件可信评估的必要性;然后对可信评估的研究现状进行综述,主要包括体现可信的属性特征和软件可信等级的定义、软件可信评估模型、软件可信评估实现方案四个方面;同时分析了目前可信评估中存在的不足以及造成这些不足的根本原因;最后指出了可信评估的未来发展趋势。
其他文献
设计模式是编程过程中的设计经验,在应用程序的实现过程中可以利用设计模式,用重构的观念来对待设计模式的实现。采用测试优先的单元测试技术,可以保证重构的安全。介绍了这
文章对司法实践中普遍存在的翻供、翻证现象,以涂某某受贿再审案为分析样本,总结了当前刑事再审受贿案件中言词证据审查存在的主要问题。重点对翻供、翻证问题产生的原因进行
简要回顾了人脸自动识别技术的研究背景及发展历程;重点对近年来人脸自动识别方法的研究进展进行综述,并对各种方法加以评价;总结了现在存在的研究困难并提出了解决方法及今
工程陶瓷作为21世纪的三大应用材料之一,其有效的加工方法已成为国内外专家学者探索的热点。而激光技术由于是非接触式加工,没有切削力,加工速度快,能加工一些特殊型面等优点,在陶瓷
<正> 一九八七年四月日本筑波大学教授能田伸彦博士来我校数学系讲学时谈到了采用开智法进行数学教学的问题。这一教学方法对我国数学教学方法的改革有一定的参考价值,下面对
社会的需求和法律的禁止导致我国私人侦探业在尴尬的夹缝中生存,并由此带来很多现实问题,所以有必要将私人侦探合法化。无论是从法经济学的角度,抑或是比较法、法社会学、实
坐标测量机作为一种空间柔性测量装置,在现代制造领域有着非常广泛的应用。本文在对坐标测量机的基本应用进行介绍的基础上,重点对坐标测量机的结构、接触触发式探头和坐标测
浅沼茂教授 ,日本东京学艺大学教育学部毕业 ,修习东京大学博士课程 ,获美国威斯康星大学博士学位。专攻课程研究 ,主著《后现代与课程》(1995年 )。去年年底 ,他应邀来上海
分析了目前我国节约用水面临的问题和挑战,阐述了加快发展节水产业是大力推进战略性新兴产业的需要,是促进经济发展方式转变的重大举措,是贯彻落实最严格水资源制度的重要措