什么是可信软件
可信就是一个实体在实现给定目标时,其行为与结果总是可以预期的,如果软件服务总是与用户的预期相符,即使在运行过程中出现一些特殊情况,这样的软件就是可信软件。
特殊情况包括:
1、硬件环境发生故障;
2、低层软件出现错误;
3、其它软件对其产生影响;
4、出现有意、无意的错误操作。
保障软件可信性的几个关键点:
1、如何正向得到缺陷少的软件制品;
2、如何在不同阶段反向发现制品中的缺陷;
3、如何
0
纠错
猜你喜欢
微信昵称不能加特殊符号了?
微信昵称有些特殊符号能加,有些不能加,能加的特殊符号修改后就...超过60岁存在劳动关系吗
超过岁存在劳动关系,法律没有禁止用工单位聘用超过岁的劳动者,...小腹疼痛是什么原因
小腹疼痛的原因有泌尿系结石结肠炎盆腔炎附件炎 * 内膜炎等妇科...新家摆鱼缸运势好吗 新家摆件哪些是要注意的
新家摆鱼缸运势好吗是很多友友好奇的,毕竟自古以来小摆件在风水...宝宝吃辅食后要不要喝奶
宝宝在吃了辅食之后是不需要再进行喂奶的。但是如果宝宝吃的辅食...沈阳工业大学二本的专业有哪些
沈阳工业大学二本的专业如下机械工程学院,机械设计制造及其自动...含有销字的成语有哪些
一笔勾销把账一笔抹掉。比喻把一切全部取消。黯然销魂黯然,心怀...什么是客户机
客户机是连接服务器的计算机。客户机使用服务器共享的文件打印机...孙氏祖训是什么
孙姓祖训明明我祖,汉史流芳训及子孙,悉本义芳。仰绎斯旨,更加...动态壁纸怎么设置声音
打开手机设置,找到壁纸并点击进入,点击更多壁纸,切换至动态壁...为什么有时候不可以用流量
可能没有网络,建议可在信号强的地方使用可能账户没有话费,检查...有名的近朱者赤的正面例子
有名的近朱者赤的正面例子如下。一个名叫吕公著的年轻人在北宋著...黑白相间的词语
轻重倒置把重要的和不重要的两者的地位摆颠倒了阴晴圆缺形容月亮...hp抗体多少正常
抗体正常值是零,一般不按血液中的抗体来判断有无幽门螺旋杆菌阳...扇贝肉可以青蒸吗
扇贝洗净剖开剔肉,贝壳亦洗净待用。贝壳摆放盘中,依次将贝肉水...