基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

基于遗传算法的嵌入式软件测试用例生成系统研究

综合考虑了嵌入式软件的特点,将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题,合理构建了嵌入式软件测试用例自动生成系统,给出了系统流程图,改进了部分算子,使搜索效果得以加强,并分析了交叉率、变异率等参数的取值范围,通过改变不同的参数值得到对比图,以确定适合该系统的最佳参数值,并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试,从理论和实践上证明了该思路的正确性和可行性。     

软件保障费用估算模型研究

分析了软件保障费用的基本构成和一般表达式,构建了软件错误更改费用估算模型、新功能保障费用估算模型和有时间限制的保障费用估算模型,并结合实例进行了分析。软件保障模型估算的研究对提高软件保障费用估算的精度和效率有重要意义。     

俄罗斯舰艇指控系统集成技术分析

首先介绍了俄罗斯正在发展的先进舰艇集成指控系统的体系结构,对舰艇集成指控系统与独立的火控系统之间的功能分配作了论述.分析了对所有类型舰栽武器系统实施集中控制的可能性.并从功能原理的角度较为详细的介绍了舰艇集成指控系统的主要控制通道及其功能.同时还简要分析了该系统的可靠性和战斗生命力保障,并对舰艇指控系统的集成效果作了结论性的分析.最后对俄罗斯舰艇指控系统的发展特点进行了概括总结.希望为我国舰艇指控系统的研究工作提供一些参考.     

一种光电瞄准系统的建模仿真方法

基于某型飞机的光电瞄准系统,给出了光电瞄准系统的工作原理,建立了光电瞄准系统接受到的热辐射强度和热辐射检测门限的算法模型.然后根据所建立的模型, 编写软件进行了仿真测试,验证了模型的合理性,形成了一个完整的光电瞄准系统的仿真软件.     

基于超导软件无线电的抗同址干扰技术

适应现代战争发展要求,军事通信装备集成度不断提高,通信系统同址干扰日益成为一个迫切需要解决的问题.详细分析了同址干扰的原理,对常用抗干扰技术进行深入讨论.研究超导软件无线电的最新发展,针对同址干扰的特点和软件无线电在抗干扰中的优势.重点介绍和分析超导软件无线电在抗同址干扰的应用原理,最后探讨其关键技术.     

基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.     

基于数据库和构件技术的通用ATS软件框架

针对当前测试软件中存在的通用性、扩展性和升级性差的问题,提出了通用ATS软件框架的设计准则,设计了基于数据库与构件技术的通用ATS软件框架,即＂框架＋数据库＋构件＂的软件体系结构,该结构降低了系统的复杂性,解决了ATS软件的通用性、灵活性、可靠性、扩展性差的问题。     

网络化多平台协同控制与决策系统总体设计框架

针对单一平台在探测能力和信息获取方面的局限性,提出构建基于空中、地面、水中平台的多平台人机协同控制与决策系统的体系结构,该系统的特点是有人参与决策,可实现有人平台和无人平台的协同。分析了地面指挥控制与决策中心及各平台应具有的功能,并对人机交互软件界面进行了总体设计。给出了一个典型的应用场景,分析了其工作原理及多平台协同跟踪与决策过程,验证了所提系统体系结构的灵活性和合理性。