电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
安全攸关软件的可信性关乎生命安全和财产保全，因此，分析评价软件可信性是否符合用户的预期（即软件可信评估）至关重要．软件可信评估从主观和客观两个方面度量软件的质量，对软件生产和应用有着重要的意义．综述了可信评估管理中涉及到的标准、模型和工具，而非关注软件度量本身．首先分析对比了软件可信性、可信评估的定义，并在研究了与可信性密切相关的软件质量的联系与区别之后，从相关国际标准、评估涉及的模型（包括质量属性模型、证据模型、分级规范等）以及软件工具支持等方面综述了软件可信评估研究工作．并且区分了这些方面中领域相关、领域无关的不同之处．目前软件可信评估已取得了一定的理论成果，并开发了若干工具辅助进行可信评估，但仍需在通用性、可伸缩性等方面有所加强。
软件
加入交流群
扫码添加小助手
加入工程师交流群
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 开关电源医疗认证综述 21次下载
- 大功率LED正向电压与温度变化研究综述 5次下载
- 机器人操作系统EtherCAT技术研究综述 1次下载
- 导航卫星载荷自主健康管理研究综述 14次下载
- 智能农业除草机器人研究分析综述 17次下载
- 高速视觉测量系统关键技术及研究综述 15次下载
- 系统仿真模型可信度评估方法研究综述 11次下载
- 软件无线电在短波通信中的应用综述 17次下载
- 社交网络影响力最大化算法及研究综述 6次下载
- MEMS陀螺仪姿态算法研究综述 39次下载
- 软件无线电的研究现状的综述 14次下载
- 基于多媒体社会事件的分析研究综述 19次下载
- 手语识别、翻译及生成研究综述 25次下载
- 可信编译理论及其核心实现技术：研究综述 23次下载
- AUV半实物仿真系统的可信度研究
- ONELAB选型指南 | DEV开发套件 vs EVB评估板 281次阅读
- 电磁兼容分析与评估软件系统解决方案 476次阅读
- 五大电磁兼容分析与评估系统软件：复杂信号环境下的分析需求 525次阅读
- 机场保障能力评估系统软件全面解析 430次阅读
- 硅基波导集成的片上光谱仪综述 1.6k次阅读
- 如何使用DS185xEVKIT评估DS1856 1.5k次阅读
- 国内智能换相装置研究综述 1.5k次阅读
- SiC MOSFET的温度特性及结温评估研究进展 7.8k次阅读
- 综述：用于生命健康领域的模块化微流控系统 1.5k次阅读
- 基于PSIM软件的BUCK仿真研究 6.8k次阅读
- 在Vitis中调试ARM可信固件和U-boot 5.1k次阅读
- 可信增强的Flask访问控制框架的总体应用设计和实施方法 3.6k次阅读
- 锂电池SOH电池健康状态到底是什么 6.3w次阅读
- 图神经网络概述第三弹：来自IEEE Fellow的GNN综述 1.3w次阅读
- 基于RFID产品的可信计算平台的完整性、安全性研究 947次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论