【什么是可信软件】

文章插图

可信就是一个实体在实现给定目标时，其行为与结果总是可以预期的，如果软件服务总是与用户的预期相符，即使在运行过程中出现一些特殊情况，这样的软件就是可信软件 。
特殊情况包括：
1、硬件环境发生故障；
2、低层软件出现错误；
3、其它软件对其产生影响；
4、出现有意、无意的错误操作 。
保障软件可信性的几个关键点：
1、如何正向得到缺陷少的软件制品；
2、如何在不同阶段反向发现制品中的缺陷；
3、如何

• 什么是民主性
• 什么是热敏纸热敏纸的定义
• 甘蔗裂开是什么原因 怎么挑选甘蔗
• 贵宾犬来自于哪个国家 贵宾犬是哪个国家的
• 什么是默认网卡
• 纯种贵宾犬图片 贵宾犬为什么叫泰迪犬
• 贵宾犬尾巴怎么剪掉 贵宾犬为什么要断尾巴
• 标准雪纳瑞是中型犬吗 雪纳瑞是小型犬吗
• 什么是清算类科目损益类科目
• 养雪纳瑞的人都后悔了 雪纳瑞寿命是多少年