软件可靠性和安全性技术研究

来源 :机电信息 | 被引量 : 0次 | 上传用户:chwu9423
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在简述分析技术的基础上,提出了以系统危险为基础的软件安全性与可靠性分析策略,并结合实例对这一策略的实际应用进行了深入探讨,旨在为实际的软件分析工作提供参考,保证软件分析结果的真实性与准确性。
其他文献
【正】 本组112例患者均系1994年收治入院,其中男性103例,女性9例,最小年龄4岁,最大年龄71岁,所有患者均无血吸虫治疗史,本组病例均在5~9月份在长江或在青弋江游泳或嬉水而感
简要分析了冶金矿山企业变电站集控站自动化系统建设的必要性,详细阐述了集控站自动化系统建设要点。集控站自动化系统实现了变电站的分层、分级管理,提高了企业经济效益。
介绍造纸白泥-石膏法锅炉烟气脱硫技术设计特点,探讨我国脱硫技术的发展方向。
这对建筑工程价格管理具有十分重要的意义.建筑工程的价格稳定性在项目立项前期和建设过程中起着非常重要的作用.因此,我们需要严格控制住房建设过程的成本.我们在施工过程中
近日,外交部幼儿园举行了首次反恐演习。据韩汶梅园长介绍,除了有应对陌生人作案的方案外,该园也将“防家长作案”、“防内部人员作案”等列入了应对方案中。在演习现场,全园300
介绍了广东电网阳江供电局发生的一起110 k V变电站主变因呼吸器堵塞导致轻瓦斯保护动作的故障,以及发生故障的整个过程,通过表象和理论进行推断分析,并预想可能发生的其他情
本文主要分析了在新形势下老龄工作中常见的一些管理漏洞和存在问题,阐述了在当前形势下,加强老龄工作实施的重要性,针对目前老龄工作中存在的问题进行研究。笔者通过研究,总
教育家陶行知曾说过:“真正的教育是心心相印的活动,唯独从心里发出来的,才能达到心灵深处。”近几年的教育生涯,让我深深地感受到了这句话的真正含义。正是这种“心灵的契合,情感
硅整流多头电焊机,其焊机本身可当作一具有平持性的直流发电机,外接多头焊机的电阻箱可使其变为陡降特性,能供给12个焊工作手工焊接,电流调节范围能满足使用2—5m/m焊条。能
面向未来,GCHV也将紧抓市场脉搏,以更全面的渠道布局、更丰富的产品矩阵、更完善的售后服务,不断提升品牌影响力,为客户打造高质量、高效能的空调系统解决方案。在当前国内经