安全性苛求系统中关于软件安全性评价的研究

安全性苛求系统由于其行为直接关系人身和大宗财产的安全 ,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质。由于安全性苛求系统的软件在开发时规定要采取一系列可靠性和安全性措施 ,到形成产品后 ,软件内部缺陷的暴露都是一些小概率事件 ,如果仅仅依靠测试数据进行安全性定量评估 ,由于测试开销的限制 ,依据似感不足。本文提出一种多元、多模型、多阶段进行安全性评价的方法。在系统开发和运用的不同阶段 ,从不同角度 ,利用历史的和当前的数据 ,依靠客观和主观的判断 ,对系统的安全性进行评价 。

软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体、环境或大宗财产的损害 .为此 ,对软件需要进行严格的安全性测试 ,并对软件防范意外事件的能力进行评价 .然而 ,完全依靠试验统计或事故累积数据进行安全性评价 ,会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性 .需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价 ,但是 ,在这些信息中包含了某些主观的成分有待验证 .在多元、多模型、多阶段 (3M)安全性软件评价方法的框架中 ,有可能利用后续测试得到的信息不断对评价因子进行修正 ,提高评价的准确性 .讨论了后续测试对 3M模型中的复杂性、技术支持和开发水平因子的修正方法 ,着重论述对开发水平因子的修正 .提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则 .

电子设计技术在严格安全系统上的应用

随着社会的发展和科技的进步，信息技术已经深入千家万户，人们周围充斥着各种电子设备。电子设备的误操作或故障时有发生，有时这些会造成对人员的伤害或者环境的破坏，为了避免这些，人们提出了安全性苛求系统的概念。这种系统是指通过各种设计和制造手段保证在其使用寿命范围内，