期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
动态故障树分析方法在测试用例设计中的应用探讨 被引量：1
1
作者 庞红彪 高小雅 李之博 《计算机光盘软件与应用》 2014年第14期98-98,100,共2页
本文主要针对动态故障树分析方法在测试用例设计中的应用问题进行了分析,初步探讨了基于软件故障信息的测试用例设计流程,对动态故障树分析方法进行了讨论,最后提出了基于动态故障树的测试用例设计步骤,希望对于今后的软件测试工作具有... 本文主要针对动态故障树分析方法在测试用例设计中的应用问题进行了分析,初步探讨了基于软件故障信息的测试用例设计流程,对动态故障树分析方法进行了讨论,最后提出了基于动态故障树的测试用例设计步骤,希望对于今后的软件测试工作具有一定帮助。 展开更多
关键词 软件测试 动态故障树 测试用例 设计步骤
下载PDF
远程多管火箭炮火控系统的软件安全性测试分析 被引量：1
2
作者 庞红彪 李之博 高小雅 《计算机科学》 CSCD 北大核心 2013年第06A期361-364,共4页
简单介绍了远程多管火箭炮火控系统的软件组成、功能、典型任务剖面和软件安全性测试的基本内涵;然后根据火控系统的典型任务剖面分析了不同阶段的软件安全性测试,系统解决了远程多管火箭炮火控系统软件安全性测试"难""... 简单介绍了远程多管火箭炮火控系统的软件组成、功能、典型任务剖面和软件安全性测试的基本内涵;然后根据火控系统的典型任务剖面分析了不同阶段的软件安全性测试,系统解决了远程多管火箭炮火控系统软件安全性测试"难""杂""多"问题,有效提高了测试效率和质量,进一步确保了远程多管火箭炮火控系统的安全性。 展开更多
关键词 远程多管火箭炮 火控系统 典型任务剖面 软件安全性测试 软件质量
下载PDF
基于k(0,1)-TPN的三防控制系统软件安全性分析模型研究
3
作者 王宇龙 高小雅 +2 位作者 刘宇坤 杨荫钊 李之博 《中北大学学报（自然科学版）》 CAS 北大核心 2012年第6期681-686,698,共7页
针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,基于动态运行规则,采用同步合成和共享合成技术建立起软件安全... 针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,基于动态运行规则,采用同步合成和共享合成技术建立起软件安全分析模型,通过对运行时序、状态转移等的分析,可得出软件系统潜在的危险状态.利用该方法建立的模型对三防系统软件进行了安全性分析,结果表明:相比其它分析方法,应用该模型可发现多处潜在的软件致命错误,是一种简单实用的有效方法. 展开更多
关键词 坦克装甲车辆 时间PETRI网 软件安全性
下载PDF
基于模糊的网络化软件可靠性指标分配方法
4
作者 王栓奇 李之博 +2 位作者 盛珂 武秀华 武伟 《兵器装备工程学报》 CSCD 北大核心 2021年第S01期244-247,共4页
为了解决现有可靠性分配方法难于有效应用于网络化软件的问题,提出了基于模糊综合评判的网络化软件可靠性指标分配方法,给出了网络化软件可靠性指标分配过程,以某指挥软件系统为对象应用,所提出方法能够实现软件系统可靠性指标的合理分... 为了解决现有可靠性分配方法难于有效应用于网络化软件的问题,提出了基于模糊综合评判的网络化软件可靠性指标分配方法,给出了网络化软件可靠性指标分配过程,以某指挥软件系统为对象应用,所提出方法能够实现软件系统可靠性指标的合理分配,检验了其可行性和有效性。 展开更多
关键词 网络化软件 软件可靠性 可靠性指标分配 模糊综合评判 指挥系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部