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