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

• 作者: 周晓红 李春光 董龙明
• 来源期刊: 火力与指挥控制
• 学科: 工学
• 关键词: 火控系统 诸元解算程序 符号执行 测试用例生成技术
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 工程实践
• 页码范围: 157-160
• 页数: 4页
• 分类号: TP39|TJ81+0.376
• 字数: 2596字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0640.2017.07.034

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周晓红		12	25	2.0	4.0
2	李春光		5	19	2.0	4.0
3	董龙明		8	20	3.0	4.0