论文部分内容阅读
针对现有的安全关键软件可靠性验证方案与可靠性验证测试加速过程进行分析和总结,提炼出每一种方案和加速过程的内容与适用范围,从而帮助软件可靠性测试人员能有效地选择最为合适的可靠性验证测试方案与加速过程。从而提升软件可靠性验证测试的工程应用能力,确保安全关键软件的可靠性水平。
安全关键软件可靠性验证测试研究
【摘 要】
：
针对现有的安全关键软件可靠性验证方案与可靠性验证测试加速过程进行分析和总结,提炼出每一种方案和加速过程的内容与适用范围,从而帮助软件可靠性测试人员能有效地选择最为
【机 构】
：
中航工业综合技术研究所;
【出 处】
：
航空标准化与质量
【发表日期】
：
2013年03期
其他文献
城市土地资源的日益稀缺及轨道的建设使人们对已开发地区地下空间开发的利用热情高涨,但当前高度城市化地区地下空间规划及其实施存在诸多问题。研究在存量开发地区应结合存
评课的意义在于授课，评课模式的价值在于能为教师开辟一条提升学生素养的路径。作为突围传统的“4C评课模式”，重在考量学生的问题意识（problemConsciousness）、课堂的逻辑建构（10
首先根据滴谱假设分析了层状云降水回波强度、径向速度和速度谱宽与降水微物理参数的关系,检验了云雷达探测数据的可用性;然后在忽略空气上升速度和湍流对雷达观测的速度谱宽
综观欧洲50年一体化发展历程,和解和合作构成了欧洲政治、经济一体化的基本前提。欧洲和解是欧洲国家超越历史的选择,是欧洲一体化的基石。本文从欧洲和解的基本历史条件出发
评课是教研活动中的常规工作，合理的评课标准对于改进教学具有重要意义。反之。也会带来负面影响。本文结合职业院校的实际情况，分析了职业院校评英语课的几个主要方面及需要注
磷是动物和植物生长所必要的元素,但随着工农业的迅猛发展,每年均有数以万吨的含磷废水排入水体,造成江河、湖泊等富营养化日益严重。目前处理含磷废水的方法有许多,主要有物
物资采购管理是企业管理的一个重要组成部分,对企业发展具有很大的影响。煤矿企业在日常运营中需要采购大量的物资及设备零件。本文分析了煤矿企业物资采购中存在的问题,探讨