国家科技期刊平台

相关度

相关度
发表时间

每页显示10条

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

已找到 25 条结果

基于Petri网的联锁软件安全性测试的研究北大核心CSCD
作者：魏臻周霞鲍红杰韩进
发表期刊：计算机工程与应用 2005年17期
关键词：软件安全性Petri网联锁软件测试用例
摘要：安全是铁路运输生产永恒的主题.联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用.文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用.
基于任务角色的雷达人机交互软件设计研究
作者：姜朝毅辛华伟毕红葵邓斌
发表期刊：空军预警学院学报 2018年1期
关键词：雷达软件人机交互任务角色软件安全性智能化辅助
摘要：为提高雷达软件安全性,提升雷达作战效能和保障效率,首先对当前地面雷达人机交互软件的现状和问题进行了分析,然后从雷达交互软件功能规划、权限管理、部署和运用、基于任务角色的交互界面设计、界面布局与风格的通用性设计准则五个方面,提出了基于任务角色的雷达交互软件架构设计,最后给出了雷达交互软件研制过程管理的一些要求.这为地面雷达人机交互软件设计规范的制订打下基础.
基于C语言的软件潜在分析工具的设计与实现北大核心CSTPCD
作者：孙炼
发表期刊：现代电子技术 2016年15期
关键词：软件潜在分析软件可靠性软件安全性故障树分析调试器
摘要：目前，在C语言软件潜在分析的过程中，往往忽略了对缺陷过程的管理，同时缺陷分析工作进展缓慢。针对上述问题，设计并开发了基于C语言的软件潜在分析工具，将C语言软件缺陷从发生源到造成事故的过程进行了分解，并采用静态分析方法查找源代码缺陷、故障模式和故障树方法分析可靠性缺陷、动态测试跟踪安全性缺陷。确定分析方法后，设计并实现了相应的工具。最后，通过实例对该工具进行了测试和验证，验证结果表明，该工具在缺陷的各个阶段均可对潜在缺陷进行有效的分析和…查看全部>>
基于缺陷数据的雷达软件失效模式分析与应用北大核心CSCDCSTPCD
作者：孙俊若叶波汪圣利刘畅
发表期刊：现代雷达 2018年6期
关键词：软件失效模式失效模式分析雷达软件失效数据模型软件安全性
摘要：基于雷达软件缺陷历史数据开展失效模式分析与应用研究.首先,结合雷达软件特点与失效机理,构建失效数据模型;然后,在失效数据模型基础上,阐述雷达软件失效模式分析与应用方法,以及相应的算法原理;最后,开展工程实例研究,获取适用于雷达软件的典型失效模式.实例结果表明:文中所提出的方法可有效提升雷达软件失效分析的效率和质量,避免相似问题重复发生,保障雷达软件质量满足系统要求.
基于抽象解释的迹划分技术研究CSTPCD
作者：张弛丁泽文刘林武
发表期刊：计算技术与自动化 2017年4期
关键词：抽象解释迹划分静态分析运行时错误软件安全性
摘要：确保程序中没有运行时错误,对于软件安全性的保证十分重要.基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一.然而抽象解释对于程序语义的抽象可能导致过近似问题,从而引发误报,降低了分析精度.因此提出了迹划分的技术,根据程序的迹对程序控制流图进行划分,对静态分析过程进行局部细化,减少了抽象解释过程中过近似引发的误报.迹划分技术以局部分析效率降低为代价换来了分析精度的提高.
基于扩展Petri网的安全关键软件需求模型检验北大核心CSTPCD
作者：李震刘斌殷永峰李晓勋
发表期刊：沈阳工业大学学报 2011年1期
关键词：武器系统安全关键软件软件可靠性软件安全性软件工程Petri网模型检验形式化验证
摘要：Petri 网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建…查看全部>>
基于故障注入的嵌入式软件安全性测试框架及实现北大核心CSCDCSTPCD
作者：王金波张涛
发表期刊：计算机应用研究 2012年8期
关键词：故障注入软件安全性安全关键软件仿真测试单粒子效应
摘要：为确保安全关键软件能够稳定工作,需要把验证其中的安全保障措施有效性纳入到测试工作范围,其关键问题和难点是如何在被测软件运行过程中动态模拟其安全保障措施针对的异常状态.为此提出一种辅以故障注入的嵌入式软件安全性测试框架,并给出了实现过程.该框架的核心组件是利用设备建模语言DML和控制脚本构建的运行态故障注入软仿真环境,实验证明可用于单粒子效应等异常环境状态的动态仿真,进而实现对软件的安全性测试.
软件安全性残留风险分级评估的实例分析北大核心CSCDCSTPCD
作者：金力江建慧楼俊钢
发表期刊：计算机应用与软件 2011年4期
关键词：软件安全性风险软件可靠性失效严重度
摘要：评估软件安全性常用的方法有风险评估和基于可靠性模型的评估.基于上述二种方法提出了残留风险分级评估方法.该方法用失效强度和失效严重度来刻画软件的风险,较好地解决了由于测试数据按失效严重度分类后数据少而难以应用可靠性模型的问题,并用实例说明了新方法的可行性.
基于构件失效建模的软件安全性分析北大核心CSCD
作者：万永超周兴社董云卫
发表期刊：计算机工程 2010年14期
关键词：软件安全性构件失效建模失效传播
摘要：提出一种基于构件失效建模的软件安全性分析方法,对失效传播与转换标记(FPTN)进行扩展,描述各个构件的失效行为和模式.在架构设计层面综合考虑软件系统的构件连接和结构特性,使用模糊数学的相关方法,确定软件的安全等级.结合实例,对构件失效传播的概率进行计算,结果证明了该方法的有效性.
基于系统架构与运行框图的机载软件故障建模与分析应用CSTPCD
作者：温晓玲姜梦岑艾笑天柳庆宇
发表期刊：航空工程进展 2023年4 期
关键词：机载软件故障建模故障原因分析软件安全性系统架构
摘要：已有技术难以规范且有效地识别机载软件故障及其原因,无法解决机载软件研制过程中应用等问题,因此提出基于系统架构与运行框图的机载软件故障建模与分析技术。首先,基于功能失效分析的机载软件故障识别方法,从数据取值、时序约束等角度识别机载软件故障;然后,基于系统静态体系架构与动态运行框图,构建故障层次组成模型以及故障逻辑关系模型,支撑机载软件故障树的规范高效建立;其次,基于标准要求和软件需求,提出软件故障原因分析与安全性需求制定策略;最后,针对…查看全部>>

12 3 >