电子对抗装备软件的静态分析方法

软件的静态分析在很大程度上是对编写软件的语法和文本进行检查,使其符合工程项目的需要.使用C Test可以帮助编程人员和测试人员完成对程序的自动静态测试.测试人员还可以自定义检查规则来完成对代码的特定需求检查.     

天基核爆探测的最佳搭载平台

论述了导航卫星的特点及其作为天基核爆探测有效载荷搭载平台所具有的优势,阐明导航卫星是天基核爆探测的最佳搭载平台。     

以大学为主研制小卫星

4月18日23时59分在西昌发射基地,由“长征”二号丙运载火箭成功发射“试验卫星一号”升空。此后,卫星运行正常并开始了太空试验。 它是由哈尔滨工业大学联合中国空间技术研究院、中国科学院长春光机所、西安测绘研究所共     

风云二号02批卫星工程合同签字仪式在京举行

8月31日,国防科工委在京组织召开了“风云二号02批卫星工程合同签字仪式”。中国气象局和中国航天科技集团公司、中国卫星发射测控系统部在仪式上签署了《风云二号02批卫星、运载火箭研制生产合同》及《风云二号02批卫星发射测控合同》。这是我国民用航天领域首次签署的业务卫星研制生产合同,标志着我国风云二号地球静止轨道气象卫星在建立连续稳定运行的对地观测体系上迈出了新的一步,是民用航天实施由“应用试验型向业务服     

国产支线客机实现出口零突破

2004年11月2日和3日,国防科工委副主任兼国家航天局局长孙来燕在京分别会见了意大利航天 局长维特维拉一行及欧洲航空防务与航天公司(EADS公司)总裁菲利浦·卡莫斯一行。 孙来燕与维特维拉分别介绍了两国在航天领域的发展及现状,就共同关心的问题充分交换了意     

中国航空工业第二集团公司副总经理史坚忠：我国直升机产业化的发展途径

世界军事变革方兴未艾,以应用卫星和卫星应用为代表的宇航高科技产品,将成为未来防务系统信息化．体系化．网络化的重要支撑和手段,起到武器系统效能倍增器的作用。     

士兵孟宁这样成长

当兵四年,孟宁一直在济空某场站工作。四年里,他入了党,立过功,还被军区空军通报表彰过,熟悉他的人都说:这个兵成长进步太快了。2007年3月,孟宁结束新兵连的生活后,被送到南京通信训练团进行光端专业学习。三个月结业后,他和部队派出学习专业的新     

2010年 世界航天运载业回顾与解析

概况 2010年,中国、美国、俄罗斯、欧空局国家、日本、印度、以色列和韩国进行了航天发射。这些国家共进行74次航天发射,其中有23次商业性发射,占总发射次数的31％。2010年的航天发射总次数比2009年少4次,降低约5％。 2010年74次航天发射有4次失败。4月15日,印度“静地卫星运载器”（GSLV）2型火箭发射“静地星”4通信与导航卫星失利;6月10日,     

海洋二号卫星工程创造五个“第一”

8月16日,我国在太原卫星发射中心,用长征四号乙遥十四运载火箭成功将海洋二号卫星发射升空。记者16日从国防科工局获悉,海洋二号卫星工程创造了五个“第一”：国内第一颗获取海洋动力环境数据的卫星;我国第一颗高精度航天器;国内第一颗定量观测的微波遥感卫星;第一次搭载进行星地激光通信试验;     

软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。