搜索筛选:
搜索耗时2.8875秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：庞红彪,高小雅,李之博,
来源：计算机光盘软件与应用 年份：2014
本文主要针对动态故障树分析方法在测试用例设计中的应用问题进行了分析,初步探讨了基于软件故障信息的测试用例设计流程,对动态故障树分析方法进行了讨论,最后提出了基于动...
[期刊论文] 作者：庞红彪,李之博,高小雅,,
来源：计算机科学 年份：2013
简单介绍了远程多管火箭炮火控系统的软件组成、功能、典型任务剖面和软件安全性测试的基本内涵；然后根据火控系统的典型任务剖面分析了不同阶段的软件安全性测试，系统解决了远......
[期刊论文] 作者：庞红彪，李之博，高小雅，PANGHong-biao，LIZhi-bo，GAOXiao-ya,
来源：计算机科学 年份：2013
...
[期刊论文] 作者：王宇龙,高小雅,刘宇坤,杨荫钊,李之博,
来源：中北大学学报：自然科学版 年份：2012
针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法（k（0,1）-TPN）.该方法在时间Petri网的基础上,基于...
[期刊论文] 作者：王宇龙,高小雅,刘宇坤,杨荫钊,李之博,,
来源：中北大学学报（自然科学版） 年份：2012
针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,...
相关搜索：
