国家科技期刊平台

相关度

相关度
发表时间

每页显示10条

每页显示10条
每页显示20条
每页显示30条

已找到 25 条结果

基于扩展Petri网的安全关键软件需求模型检验北大核心CSTPCD
作者：李震刘斌殷永峰李晓勋
发表期刊：沈阳工业大学学报 2011年1期
关键词：武器系统安全关键软件软件可靠性软件安全性软件工程Petri网模型检验形式化验证
摘要：Petri 网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建…查看全部>>
基于Petri网的联锁软件安全性测试的研究北大核心CSCD
作者：魏臻周霞鲍红杰韩进
发表期刊：计算机工程与应用 2005年17期
关键词：软件安全性Petri网联锁软件测试用例
摘要：安全是铁路运输生产永恒的主题.联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用.文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用.
基于故障注入的嵌入式软件安全性测试框架及实现北大核心CSCDCSTPCD
作者：王金波张涛
发表期刊：计算机应用研究 2012年8期
关键词：故障注入软件安全性安全关键软件仿真测试单粒子效应
摘要：为确保安全关键软件能够稳定工作,需要把验证其中的安全保障措施有效性纳入到测试工作范围,其关键问题和难点是如何在被测软件运行过程中动态模拟其安全保障措施针对的异常状态.为此提出一种辅以故障注入的嵌入式软件安全性测试框架,并给出了实现过程.该框架的核心组件是利用设备建模语言DML和控制脚本构建的运行态故障注入软仿真环境,实验证明可用于单粒子效应等异常环境状态的动态仿真,进而实现对软件的安全性测试.
舰载作战系统软件安全性控制研究
作者：石剑琛杨虹
发表期刊：舰船电子工程 2008年8期
关键词：舰载作战系统软件安全性软件安全控制软件生命周期
摘要：舰载作战系统软件安全性是未来信息化海战取得胜利的重要保证,在介绍舰载作战系统软件安全的重要性基础上,论述软件安全性的分析过程及软件生命周期巾的安全控制,并就舰载作战系统从技术、管理、人员各层面的安全控制提出建议.
软件安全性残留风险分级评估的实例分析北大核心CSCDCSTPCD
作者：金力江建慧楼俊钢
发表期刊：计算机应用与软件 2011年4期
关键词：软件安全性风险软件可靠性失效严重度
摘要：评估软件安全性常用的方法有风险评估和基于可靠性模型的评估.基于上述二种方法提出了残留风险分级评估方法.该方法用失效强度和失效严重度来刻画软件的风险,较好地解决了由于测试数据按失效严重度分类后数据少而难以应用可靠性模型的问题,并用实例说明了新方法的可行性.
基于构件失效建模的软件安全性分析北大核心CSCD
作者：万永超周兴社董云卫
发表期刊：计算机工程 2010年14期
关键词：软件安全性构件失效建模失效传播
摘要：提出一种基于构件失效建模的软件安全性分析方法,对失效传播与转换标记(FPTN)进行扩展,描述各个构件的失效行为和模式.在架构设计层面综合考虑软件系统的构件连接和结构特性,使用模糊数学的相关方法,确定软件的安全等级.结合实例,对构件失效传播的概率进行计算,结果证明了该方法的有效性.
基于缺陷数据的雷达软件失效模式分析与应用北大核心CSCDCSTPCD
作者：孙俊若叶波汪圣利刘畅
发表期刊：现代雷达 2018年6期
关键词：软件失效模式失效模式分析雷达软件失效数据模型软件安全性
摘要：基于雷达软件缺陷历史数据开展失效模式分析与应用研究.首先,结合雷达软件特点与失效机理,构建失效数据模型;然后,在失效数据模型基础上,阐述雷达软件失效模式分析与应用方法,以及相应的算法原理;最后,开展工程实例研究,获取适用于雷达软件的典型失效模式.实例结果表明:文中所提出的方法可有效提升雷达软件失效分析的效率和质量,避免相似问题重复发生,保障雷达软件质量满足系统要求.
基于抽象解释的迹划分技术研究CSTPCD
作者：张弛丁泽文刘林武
发表期刊：计算技术与自动化 2017年4期
关键词：抽象解释迹划分静态分析运行时错误软件安全性
摘要：确保程序中没有运行时错误,对于软件安全性的保证十分重要.基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一.然而抽象解释对于程序语义的抽象可能导致过近似问题,从而引发误报,降低了分析精度.因此提出了迹划分的技术,根据程序的迹对程序控制流图进行划分,对静态分析过程进行局部细化,减少了抽象解释过程中过近似引发的误报.迹划分技术以局部分析效率降低为代价换来了分析精度的提高.
一种基于JM模型的软件安全性测试方法研究CSTPCD
作者：李娟陈斌
发表期刊：计算机技术与发展 2012年9期
关键词：JM模型软件安全性测试软件失效
摘要：为保证和提高软件安全性水平,针对软件安全性与软件失效后果和发生可能性密切相关,提出一种有效的软件安全性测试方法.在JM模型中注入软件失效严重度参数,对软件失效后果严重度进行降级处理;根据软件失效对系统安全影响程度,推导了软件安全可靠度计算公式;以软件错误严重度和发生概率为核心,建立了软件风险计算公式,更直观地反映软件安全性能,其中所定义的含权软件缺陷严重度变化矩阵,直接反映软件安全改善力度.改进后的JM模型以降低软件风险为目的开展测试…查看全部>>
基于STAMP的导航软件研制管理安全性分析CSCDCSTPCD
作者：徐小杰钟德明陆民燕
发表期刊：测控技术 2015年2期
关键词：软件安全性软件研制管理STAMP导航软件
摘要：软件研制管理是关系软件质量的重要工作.某型飞机在飞行中导航数据频繁丢失,严重威胁飞机的飞行安全,通过对软件进行安全性分析对失效进行排除,但这并未解决深层次的管理问题.本研究基于STAMP对其研制管理过程进行安全性分析,探索存在的管理缺陷,最终给出了保证软件系统安全性水平的有效管理措施,并对国内机载软件的研制管理提出了一系列建议,而后续类似的调研数据也证明所提出的管理措施对于提高单位软件研制水平,确保安全性具有明显的作用.

12 3 >