符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

北戴河气韵甲天下

北戴河，美在绿树，美在蓝天，美在清风，美在金沙，美在碧海……。这里。气候宜人——地处东部沿海季风环流区。暑期日平均气温24．5℃；这里，海天万里双明镜——海水碧蓝清澈，富含对人体有益的多种微量元素。海水透明度达十米以上，海水质量常年达国家海水一类标准。这里有名副其实的“黄金海岸”。     

北方车辆公司圆满完成奥运会闭幕式烟火发射任务

8月24日晚，北京第二十九届奥林匹克运动会闭幕式在国家体育场“鸟巢”隆重举行。中国兵器工业集团北方车辆公司加工生产的特型焰火发射装置圆满完成了倒计时数字、奥运五环、句号等三种特型焰火的发射任务。