李春光，周晓红，董龙明

（1.白城师范学院，吉林 白城 137000；2.长春职业技术学院，长春 130033；3.陆军驻南京地区军事代表室，南京 210000）

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

李春光1，周晓红2，董龙明3

（1.白城师范学院，吉林 白城 137000；2.长春职业技术学院，长春 130033；3.陆军驻南京地区军事代表室，南京 210000）

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

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

0 引言

随着武器信息化程度越来越高，使用计算机作为各种武器平台的中心枢纽：收集和汇总外部和武器平台各部件数据和信息，分析这些数据并根据各种数学控制模型驱动各武器部件完成作战任务。在自行火炮武器中，火控系统扮演着这样的角色，完成各类数据（目标诸元、气象诸元、弹道诸元、武器姿态诸元）的处理计算任务，根据弹道方程或射表数学模型计算射击诸元并转换完各类控制信号驱动火控系统的掉炮和射击。……