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

A Symbolic Execution Based Test Case Generation for Data-calculation Programs of Fire Control System

作　　者：李春光[1] 周晓红[2] 董龙明 

机构地区：[1]白城师范学院 [2]长春职业技术学院 [3]陆军驻南京地区军事代表室

出　　处：《火力与指挥控制》2017年第7期157-160,共4页Fire Control & Command Control

摘　　要：火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。The fire control system,as the center and the brain of various weapons,controls the operation of the weapon system. Its effectiveness is directly related to the success of the fire and even the comprehensive effectiveness of the weapon system. Data-calculation programs transform a variety of input conditions into the firing data after several iterations according to the trajectory model. Because of its complexity,current software testing technology can verify only on several key points,which is difficult to cover all branches and paths of the programs and is insufficient. To solve this problem,an automatic generation of testing use case based on symbolic execution is proposed. The constraints of the solution trajectory equations and the program control branches are used to obtain all possible execution paths within the framework of symbol execution. This method is sure of the adequate testing.

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

分 类 号：TP39[自动化与计算机技术—计算机应用技术] TJ810.376[自动化与计算机技术—计算机科学与技术]