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

摘要：

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

关键词：安全性苛求系统、软件、测试、评价

所属期刊栏目：30

分类号：TP309(计算技术、计算机技术)

资助基金：铁道部科技研究项目2001-X-005,2002-X-007

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1222-1225