什么是可信软件
经验1.87W
可信就是一个实体在实现给定目标时,其行为与结果总是可以预期的,如果软件服务总是与用户的预期相符,即使在运行过程中出现一些特殊情况,这样的软件就是可信软件。
特殊情况包括:
1、硬件环境发生故障;
2、低层软件出现错误;
3、其它软件对其产生影响;
4、出现有意、无意的错误操作。
保障软件可信性的几个关键点:
1、如何正向得到缺陷少的软件制品;
2、如何在不同阶段反向发现制品中的缺陷;
3、如何
-
一直开S挡对汽车有害吗
一直开S挡对汽车有害。S挡只是延迟升挡而不改变其他工作环节,势必会使短时间内变速箱负荷增大,并加剧汽车轮胎的磨损程度。...
-
山水牛什么时间出来
山水牛每年有两个出现的时间,一是夏至后的第一场雨,第二是立秋时的雨后,根据各地的不同,山水牛出现的时间与数量都不尽相同。山水牛分布于中国新乡、开封、许昌、洛宁、汝南、台前、南阳、信阳、辽宁、内蒙古、甘肃、山西、河北、陕西、山东、江西、四川、贵州。...
-
哑奴在哪个平台看
哑奴在快看漫画平台看。《哑奴》是根据羌塘所著同名小说改编的漫画作品,该作品于2020年2月9日在快看漫画平台独家连载。快看同名漫画改编视频漫剧于2021年5月15日上线,每周周二18:00更新。变态蛮霸王爷和软弱代嫁哑奴,镇北王看上沈知府家的千金,要纳她为妾。沈知府...
-
疑心生鬼指什么生肖
疑心生鬼指生肖蛇,因为有个成语是杯弓蛇影,意思是把墙上的弓映在酒杯中的影子当成蛇。比喻疑神疑鬼,妄自惊扰。所以,疑心生鬼指生肖蛇。生肖蛇的人通常很冷静,无论面对什么情况,他们都能保持镇定,并思考最好的解决方案。...