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

摘要：

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

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

所属期刊栏目：42

分类号：TP39;TJ81+0.376(计算技术、计算机技术)

在线出版日期：2017-08-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：157-160