【摘 要】
：
安全性苛求系统(safety critical systems)由于它们的行为直接关系人身和大宗财产的安全,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质.由于安全性苛求系统
论文部分内容阅读
安全性苛求系统(safety critical systems)由于它们的行为直接关系人身和大宗财产的安全,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质.由于安全性苛求系统的软件在开发时规定要采取一系列可靠性和安全性措施.到形成产品时,软件内部缺陷的暴露都是一些小概率的事件,仅仅依告测试数据进行安全性定量评估,由于测试开销的限制,依据似感不足.本文提出一种多元、多模型、多阶段进行安全性评价的方法.在系统开发和运用的不同阶段,从不同的角度,利用历史的和当前的数据、依靠客观和主观的判断,对系统的安全性进行评价,希望较完整地反映系统的安全性.
其他文献
Internet边界网关协议(border gateway protocol 简称BGP)是基于策略的路由协议,它为路由选择提供了灵活恬.然而,实践表明BGP路由会产生振荡,其原因是路由策略配置冲突.本文
1997年实达集团以1200万元人民币入主朗新公司;1998年2月,实达软件集成公司成立,注册资本金8000万元;1998年5月,1200万元人民币控股实达铭泰,随后又控股东方龙马;1999年先后
本文介绍的系统是在winNT系统上针对大型的MPI并行应用程序,进行并行检查点设置及卷回恢复的管理系统.系统在单进程检查点设置基础上,采用全新的方法处理并行程序——为用户
目前,边界扫描技术已成为电路板及器件的主要测试性设计技术之一.基于边界扫描的电路板测试性设计中,近切需要解决“测试性改善程度一定时,如何权衡设计使得设计复杂性最小”
建筑行业的发展随之增长，其中尤以智能化建筑发展最为突出。在世界经济一体化发展的当下，全球环境也在逐渐恶化，环保可持续化目标成为了行业发展的重要内容，因此，在电气发展方面，智
随着经济发展，新农村的大力建设，农村的生活水平也有了大幅度地提高，各式各样的电器也走进了千千万万弄农户家中，生活中，人们对电力的需求量也越来越大。本文对当前农村配电网规划
从环境的角度提出了物质具有蓄价值、正价值、负价值三种价值状态,并着重分析了物质的污染负价值的组成、量化方法框架,在此基础上进一步探讨了物质污染负价值最小化三种理论
随着我国经济的飞速发展，公路建设的规模也越来越大，施工水平也越来越高。科技水平的提高以及新型建筑材料的出现，对于公路施工的技术要求也不断提高。混凝土施工技术就在公路建
安全软件的失效可能带来灾难性的后果或重大经济损失,因此,科学地评估安全软件的安全性十分必要.本文介绍了软件分级安全性的基本概念和贝叶斯模型,重点讨论了如何应用测试结
当前随着城市化进程的不断发展，城市人口的逐渐增多，对城市的生态空间环境有着很大的影响，原有的城镇系统整体性也被打乱。随着人们生活水平的不断提升，对于城市生态环境的要求越