【摘 要】
：
安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性。传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性。传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性。为此,基于软件失效本质及对安全性关键场景的研究,提出软件交互行为模型,给出从各软件运行条件的关系中构造交互模式依赖图的方法,设计基于软件过程行为的安全性评估模型。实例分析表明,该模型能识别出所有软件过程行为及其发生率、失效率,为每个过程行为赋予风险指数,并计算得到整体的软件风险指数。
其他文献
<正>据说毕达哥拉斯(Pythagoras)曾经教导说,"灵魂是个不朽的东西,它可以转变成别种生物;凡是存在的事物,都要在某种循环里再生,没有什么东西是绝对新的;一切生来具有生命的
在2016年初国家发布《中华人民共和国国民经济和社会发展第十三个五年规划纲要》(以下简称：《“十三五”规划纲要》)中提到，未来五年将建设高效密集轨道交通网，强化干线铁路建设
开放与创新是新课标提出的一个最鲜明的要求,它特别强调学生能力的培养,让学生学会反思,强调学生的创新能力和实践能力,要求在教学中十分关注学生的态度、情感,把教学目标定
求变力做功是高中阶段经常遇到的问题，对变力做功进行求解的方法也有不少，但面对具体的问题如何选择方法进行求解仍然是不少学生头疼的问题．本文将求解变力做功的各种方法进行了
通过大数据技术整合档案文化资源、分析用户感知需求,以及开展自主应用档案工作等方式,能够为档案文化资源的开发、整合、存储与传播带来全新机遇。大数据技术在档案文化资源
随着对自然语言处理研究的关注，基于语料库的计算语言学方法正运用到英语教学的各个方面。本文从理论和实践两方面论证了语料库在英语作文修改方面的重要作用。
大力发展中小企业贷款融资业务,既是国民经济发展的必然趋势,也是商业银行资产业务转型的内在要求。国有大型商业银行由于历史的原因,大、中型客户占比普遍偏高,在金融脱媒及
为降低复杂硬件系统自适应重构中基因组的复杂度,提高大规模电路的进化效率,提出一种可重构硬件元构件的构造及编码方案。设计可屏蔽底层硬件体差异的元构件构造方法,并利用
经过近二十年的发展,我国基金业已具有相当的规模,成为了我国资本市场上重要的参与者。基金业的健康发展对我国的资本市场具有非常重要的意义。在基金业快速发展的同时,基金