软件可靠性安全性技术

《软件可靠性安全性技术》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、软件可靠性安全性技术1几个基本术语故障(Fault)差错(Error)失效(Failure)缺陷(Defect)失误(Mistake)隐错(Bug)2软件质量的一个示例在一段VisualBasic6.0编写的程序Division中，从文本框1中输入数A#，从文本框2中输入数B#，计算C#=A#/B#从文本框3中输出，其程序如下：PublicA#,B#,C#PrivateSubDivision()A#=Val(Text1.Text)'从文本框1中输入B#=Val(Text2.Text)'从文本框2中输入C#=A#/B#Text3.Text=Str(C#

2、)‘从文本框3中输出EndSubA#=1，B#=0时结果如何？exam13软件可靠性软件可靠性：在一定条件下软件实现所要求功能的能力。关于软件可靠性的误区：软件对一组条件下的运行，如果是对的，则永远是对的，何有可靠性？对软件可靠性误区的回答：对已认为满足了功能和性能要求的软件，为何有的软件在实际的运行中会经常出错？追其原因都是对运行中异常的操作、输入、事件无防范处理措施，诸如人机交互界面软件对误操作经常死机，通讯软件对外界干扰经常瘫痪等，这能说不是软件可靠性的问题吗？4软件可靠性的一个示例前面的exam1就是一个示例。我们再给一个示例。用Visual

3、Basic编写一个读入给定数据文件的程序。用户输入的文件名存放在text1.txt中，数据文件格式是：第一个数是整型数N（表明以下存放了N个浮点数），后续以空格、逗号或换行为区分符存放N个浮点数。OpenFile()子程序完成将数据文件中的N个浮点数读出存放在变量数组A#()中。5PrivateSubOpenFile()Dimi,NOpenTrim(Text1.Text)ForInputAs#1'打开数据文件Input#1,N'读入数据个数ReDimA#(1ToN)Fori=1ToNInput#1,A#(i)'读入数据NextClose#1'关闭数据

4、文件EndSub文件不存在或数据格式错误时结果如何？exam26软件安全性软件安全性：对由于软件的缺陷造成人员伤亡、财产损失等危险事件的防范能力。关于软件安全性的误区：软件只是代码程序和相应文档，软件结果只是对与错，何有安全性？对软件安全性误区的回答：对实时嵌入式软件而言，软件的指令直接控制着硬件的动作，如果软件不对所控制硬件的指令进行安全性保护，有何信心保证系统是安全的？由于软件的错误造成重大财产损失、严重人员伤亡的实例已屡见不鲜，这能说软件没有安全性的问题吗？7软件安全性的实例转塔设备的调转控制……8软件可靠性安全性设计准则9软件可靠性和安全性设

5、计的一般性指导可参考GJB/Z102-1997软件可靠性和安全性设计准则Q/WE871-1999软件可靠性和安全性设计指南二院制定的《武器系统软件可靠性安全性设计准则》，则是结合二院以往地空导弹武器系统软件中实际暴露的典型问题，总结整理归纳出的有关软件可靠性和安全性设计的具体细则，适用于二院武器系统软件开发中可靠性和安全性的设计。104.4圈复杂度的限制11圈复杂度问题的示例圈复杂度115的控制流图圈复杂度10的控制流图124.5余量的设计应注意关键软件的余量设计，这些余量包括：存储量、IO通道吞吐量及处理时间等。在同步时间要求较高的系统中，处理时间

6、的余量应不少于20%。如，某系统9ms通讯一次，则该系统的处理时间应小于7.2ms。余量设计为我们在软件测试时使用一些在线动态测试工具，如CodeTest等，提供了必要的应用条件。134.9.1谨防实数取整的精度损失实数取整的转换函数int()在C中是截取取整的，如果需要四舍五入，则必须特殊处理。例如：floatf=1.9;intk;k=(int)(f);则k是1，而不是2。14实数四舍五入后取整的方法如果f>=0，则int(f+0.5)是四舍五入后的取整结果；如果f<0，则int(f–0.5)是四舍五入后的取整结果。154.11安全关键信息码的设计

7、安全关键的信息码应采用具有检错能力的编码。禁止对关键信息用一位的逻辑判别，如用“0”来表示“不起飞”，用“1”来表示“起飞”。对此具有检错能力的编码可以为用二位的逻辑判别，如用“01”来表示“不起飞”，用“10”来表示“起飞”。显然在有一位可能受干扰的系统假设下，用一位的逻辑判别无法检测其是否受干扰，而二位的逻辑判别则可以检测其是否受干扰，如“00”和“11”就表示信号受到了干扰。16安全关键信息码应用的实例操作杆的误信号……174.10异常计算的防范设计在数值计算中，要充分考虑计算中的异常情况，如：(1)在除法计算中，要考虑除数为0或很小时的计算溢

8、出的处理，可计算前先进行除数大小的判别检查；(2)在开平方根的计算中，要考虑被开根数是否大于等于零，可计算前